Martin Nordio , Nadia Polikarpova , Julian Tschannen , Carlo A. Furia
tools and algorithms for construction and analysis of systems 19 ( 6) 566 -580
Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer , Yi Wei
international conference on software engineering 262 -271
Nadia Polikarpova , Ranjit Jhala , Ziteng Wang , Jiaxiao Zhou
arXiv: Programming Languages
Nadia Polikarpova , Hila Peleg
european conference on object-oriented programming 30
Nadia Polikarpova , Michał Moskal
verified software theories tools experiments 50 -65
Nadia Polikarpova , Carlo A. Furia , Scott West
runtime verification 251 -268
Nadia Polikarpova , Julian Tschannen , Carlo A. Furia
Formal Aspects of Computing 30 ( 5) 495 -523
Kasra Ferdowsifard , Allen Ordookhanians , Hila Peleg , Sorin Lerner
user interface software and technology 614 -626
Vladimir Klebanov , Claude Marché , Rosemary Monahan , Wojciech Mostowski
Formal Verification of Object-Oriented Software 7421 3 -21
Jeevana Priya Inala , Nadia Polikarpova , Xiaokang Qiu , Benjamin S. Lerner
tools and algorithms for construction and analysis of systems 10205 247 -263
Andreea Costea , Amy Zhu , Nadia Polikarpova , Ilya Sergey
european symposium on programming 141 -168
Tristan Knoth , Di Wang , Adam Reynolds , Jan Hoffmann
Proceedings of the ACM on Programming Languages 4 1 -29
Nadia Polikarpova , Deian Stefan , Jean Yang , Shachar Itzhaky
Proceedings of the ACM on Programming Languages 4 1 -30
Shraddha Barke , Rose Kunkel , Nadia Polikarpova , Eric Meinhardt
empirical methods in natural language processing 6175 -6185
Sourav Anand , Nadia Polikarpova
formal methods in computer-aided design 1 -9
Nadia Polikarpova , Ilinca Ciupa , Bertrand Meyer
Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 93 -104
Michael B. James , Zheng Guo , Ziteng Wang , Shivani Doshi
Proceedings of the ACM on Programming Languages 4 1 -27
Shraddha Barke , Hila Peleg , Nadia Polikarpova
Proceedings of the ACM on Programming Languages 4 1 -29
Tristan Knoth , Di Wang , Nadia Polikarpova , Jan Hoffmann
programming language design and implementation 253 -268
Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer
verified software: theories, tools, experiments 127 -141