Relational queries over program traces. - Simon Goldsmith; Robert O'Callahan; Alex Aiken (OOPSLA, 2005)

Measuring empirical computational complexity. - Simon Goldsmith; Alex Aiken; Daniel Shawcross Wilkerson (ESEC/SIGSOFT FSE, 2007)

Measuring Empirical Computational Complexity. - Simon Goldsmith (2008)

Distributed Transactions for Google App Engine: Optimistic Distributed Transactions built upon Local Multi-Version Concurrency Control - Daniel Shawcross Wilkerson; Simon Fredrick Vicente Goldsmith; Ryan Barrett; Erick Armbrust; Robert Johnson; Alfred Fuller (CoRR, 2011)

Adventures in commercial-grade static analysis (keynote). - Simon Goldsmith (SOAP@PLDI, 2019)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)