Filter by type:

. Static Analysis of Data Science Software. To appear in SAS, 2019.


. Permission Inference for Array Programs. In CAV, 2018.

PDF BibTeX Springer

. MaxSMT-Based Type Inference for Python 3. In CAV, 2018.

PDF Code Project BibTeX Springer

. Abstract Interpretation as Automated Deduction. In JAR, 2017.

PDF BibTeX Springer

. Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol. In SOFSEM Student Research Forum, 2011.

PDF Poster Slides