John Toman

According to our database, John Toman authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2021

Counterexample generation for program verification based on ownership refinement types.

Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

2020

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs.

John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems, 2020

2019

Learning to Adapt: Analyses for Configurable Software.

John Toman

PhD thesis, 2019

Concerto: a framework for combined concrete and abstract interpretation.

John Toman, Dan Grossman

Proc. ACM Program. Lang., 2019

2018

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).

John Toman, Dan Grossman

Dagstuhl Artifacts Ser., 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, Eric Zeng, Bill Zorn, Franziska Roesner

CoRR, 2018

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates.

John Toman, Dan Grossman

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Taming the Static Analysis Beast.

John Toman, Dan Grossman

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact).

John Toman, Dan Grossman

Dagstuhl Artifacts Ser., 2016

Staccato: A Bug Finder for Dynamic Configuration Updates.

John Toman, Dan Grossman

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Crust: A Bounded Verifier for Rust (N).

John Toman, Stuart Pernsteiner, Emina Torlak

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2013

The ruby type checker.

Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013