Publications

Filter by type:

. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.

PDF Code Project BibTeX arXiv

. 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