John Toman

14 papers A* 1A 3Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Practical Verification of Smart Contracts using Memory Splitting.
Proc. ACM Program. Lang.
Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi
2021 — conf
Counterexample generation for program verification based on ownership refinement types.
PEPM@POPL
Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada
2020 A conf
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
ESOP
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
2020 J jnl
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.
CoRR
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
2019 J jnl
Concerto: a framework for combined concrete and abstract interpretation.
Proc. ACM Program. Lang.
John Toman, Dan Grossman
2019 — —
Learning to Adapt: Analyses for Configurable Software.
John Toman
2018 J jnl
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).
Dagstuhl Artifacts Ser.
John Toman, Dan Grossman
2018 A conf
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates.
ECOOP
John Toman, Dan Grossman
2018 J jnl
Technology-Enabled Disinformation: Summary, Lessons, and Recommendations.
CoRR
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, Eric Zeng, Bill Zorn, Franziska Roesner
2017 — conf
Taming the Static Analysis Beast.
SNAPL
John Toman, Dan Grossman
2016 J jnl
Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact).
Dagstuhl Artifacts Ser.
John Toman, Dan Grossman
2016 A conf
Staccato: A Bug Finder for Dynamic Configuration Updates.
ECOOP
John Toman, Dan Grossman
2015 A* conf
Crust: A Bounded Verifier for Rust (N).
ASE
John Toman, Stuart Pernsteiner, Emina Torlak
2013 Misc conf
The ruby type checker.
SAC
Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster