Michael M. Vitousek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DLS | Optimizing and evaluating transient gradual typing. | Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri |
| 2017 | POPL | Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. | Michael M. Vitousek, Cameron Swords, Jeremy G. Siek |
| 2015 | ESOP | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2014 | DLS | Design and evaluation of gradual typing for python. | Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker |