John Toman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2021
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PEPM | Counterexample generation for program verification based on ownership refinement types. | Hideto Ueno, John Toman, Naoki Kobayashi, Takeshi Tsukada |
| 2020 | ESOP | ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. | John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi |
| 2018 | ECOOP | Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. | John Toman, Dan Grossman |
| 2016 | ECOOP | Staccato: A Bug Finder for Dynamic Configuration Updates. | John Toman, Dan Grossman |
| 2013 | SAC | The ruby type checker. | Brianna M. Ren, John Toman, T. Stephen Strickland, Jeffrey S. Foster |