Graduate student Alisa Maas (pictured), Associate Professor Ben Liblit, and their collaborator Henrique Nazaré (a graduate student from Universidade Federal de Minas Gerais in Brazil) have won an ACM SIGSOFT Distinguished Paper Award.
Their paper, "Array Length Inference for C Library Bindings," will appear at the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) in Singapore this coming September. Maas is first author--and it's her first conference paper overall. An abstract and preprint are available online. Congrats to the team!