Peter M. Pawlowski

EXE

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · 2006 · 784 citations

Engineering, Verification, Software Engineering +18

EXE

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · ACM Transactions on Information and System Security · 2008 · 330 citations

Engineering, Software Systems, Verification +20

SQL/MapReduce

Eric Friedman, Peter M. Pawlowski, John Cieslewicz · Proceedings of the VLDB Endowment · 2009 · 127 citations

Engineering, Computer Architecture, Map-reduce +16

EXE: A system for automatically generating inputs of death using symbolic execution

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski et al. · Computer and Communications Security · 2006 · 61 citations

Structure and Stability of Sulfur Trioxide−Ammonia Clusters with Water:  Implications on Atmospheric Nucleation and Condensation

Peter M. Pawlowski, Steven R. Okimoto, Fu‐Ming Tao · The Journal of Physical Chemistry A · 2003 · 32 citations

Engineering, Chemistry, Water Molecules +17