The ruby type checker. - Brianna M. Ren; John Toman; T. Stephen Strickland; Jeffrey S. Foster (SAC, 2013)

Crust: A Bounded Verifier for Rust (N). - John Toman; Stuart Pernsteiner; Emina Torlak (ASE, 2015)

Staccato: A Bug Finder for Dynamic Configuration Updates. - John Toman; Dan Grossman (ECOOP, 2016)

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact). - John Toman; Dan Grossman (Dagstuhl Artifacts Ser., 2016)

Taming the Static Analysis Beast. - John Toman; Dan Grossman (SNAPL, 2017)

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. - John Toman; Dan Grossman (ECOOP, 2018)

Technology-Enabled Disinformation: Summary, Lessons, and Recommendations. - John Akers; Gagan Bansal; Gabriel Cadamuro; Christine Chen; Quanze Chen; Lucy H. Lin; Phoebe Mulcaire; Rajalakshmi Nandakumar; Matthew Rockett; Lucy Simko; John Toman; Tongshuang Wu; et al. (CoRR, 2018)

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact). - John Toman; Dan Grossman (Dagstuhl Artifacts Ser., 2018)

Concerto: a framework for combined concrete and abstract interpretation. - John Toman; Dan Grossman (Proc. ACM Program. Lang., 2019)

Learning to Adapt: Analyses for Configurable Software. - John Toman (2019)

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. - John Toman; Ren Siqi; Kohei Suenaga; Atsushi Igarashi; Naoki Kobayashi 001 (ESOP, 2020)

Counterexample generation for program verification based on ownership refinement types. - Hideto Ueno; John Toman; Naoki Kobayashi 001; Takeshi Tsukada (PEPM@POPL, 2021)

Practical Verification of Smart Contracts using Memory Splitting. - Shelly Grossman; John Toman; Alexander Bakst; Sameer Arora; Mooly Sagiv; Chandrakana Nandi (Proc. ACM Program. Lang., 2024)