Simon Goldsmith

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 2

Top Topics

Static Analysis

Top Venues

ACM SIGSOFT Softw. Eng. Notes

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Simon Goldsmith
Adventures in commercial-grade static analysis (keynote). SOAP@PLDI (2019)
Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson
Measuring empirical computational complexity. ESEC/SIGSOFT FSE (2007)
Simon Goldsmith, Robert O'Callahan, Alexander Aiken
Relational queries over program traces. OOPSLA (2005)