John Toman
According to our database1,
John Toman
authored at least 12 papers
between 2013 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Counterexample generation for program verification based on ownership refinement types.
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.
Proceedings of the Programming Languages and Systems, 2020
2019
Proc. ACM Program. Lang., 2019
2018
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact).
Dagstuhl Artifacts Ser., 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
2016
Dagstuhl Artifacts Ser., 2016
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013