BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
Collaborated with:
D.Grossman S.Pernsteiner E.Torlak B.M.Ren T.S.Strickland J.S.Foster
Talks about:
configur (2) updat (2) dynam (2) interpret (1) framework (1) staccato (1) concerto (1) abstract (1) concret (1) checker (1)

Person: John Toman

DBLP DBLP: Toman:John

Contributed to:

SAC 20132013
ASE 20152015
ECOOP 20162016
ECOOP 20182018
POPL 20192019

Wrote 5 papers:

SAC-2013-RenTSF #ruby
The ruby type checker (BMR, JT, TSS, JSF), pp. 1565–1572.
ASE-2015-TomanPT #bound #named #rust #verification
Crust: A Bounded Verifier for Rust (N) (JT, SP, ET), pp. 75–80.
ECOOP-2016-TomanG #debugging #named
Staccato: A Bug Finder for Dynamic Configuration Updates (JT, DG), p. 25.
ECOOP-2018-TomanG #analysis #named
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (JT, DG), p. 32.
POPL-2019-TomanG #abstract interpretation #framework #named
Concerto: a framework for combined concrete and abstract interpretation (JT, DG), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.