John Toman

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 11

Top Topics

Static Analysis

Insertions And Deletions

Symbolic Execution

Imperative Programs

Top Venues

Dagstuhl Artifacts Ser.

Proc. ACM Program. Lang.

Publications

Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada
Counterexample generation for program verification based on ownership refinement types. PEPM@POPL (2021)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP (2020)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR (2020)
John Toman, Dan Grossman
Concerto: a framework for combined concrete and abstract interpretation. Proc. ACM Program. Lang. 3 (POPL) (2019)
John Akers, Gagan Bansal, Gabriel Cadamuro, Christine Chen, Quanze Chen, Lucy Lin, Phoebe Mulcaire, Rajalakshmi Nandakumar, Matthew Rockett, Lucy Simko, John Toman, Tongshuang Wu, Eric Zeng, Bill Zorn, Franziska Roesner
Technology-Enabled Disinformation: Summary, Lessons, and Recommendations. CoRR (2018)
John Toman, Dan Grossman
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. ECOOP (2018)
John Toman, Dan Grossman
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
John Toman, Dan Grossman
Taming the Static Analysis Beast. SNAPL (2017)
John Toman, Dan Grossman
Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
John Toman, Dan Grossman
Staccato: A Bug Finder for Dynamic Configuration Updates. ECOOP (2016)
John Toman, Stuart Pernsteiner, Emina Torlak
Crust: A Bounded Verifier for Rust (N). ASE (2015)
Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster
The ruby type checker. SAC (2013)