Alisa J. Maas

According to our database, Alisa J. Maas authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Array length inference for C library bindings.

Alisa J. Maas, Henrique Nazaré, Ben Liblit

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Automatic array property detection via static analysis.

Alisa J. Maas

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015