 |
Michael M. Vitousek
CV
|
Hi, I'm PhD student at University of Colorado at Boulder. I'm studying programming languages with my adviser Jeremy Siek, and I'm currently working as an intern at Adobe Systems with Avik Chaudhuri. I studied computer science and history at Willamette University as an undergrad, and my interests include programming languages, type systems, gradual typing, and the pedagogy of computer science. I am currently working on enhancing Jython with a gradual type system and developing methods to decrease the overhead of gradual function and object casts. As you can see, I am not a web designer.
Work
- Gradual Typing with Efficient Object Casts
June 12, 2012. Michael M. Vitousek. To be displayed at the PLDI '12 Student Research Competition.
- Towards Gradual Typing in Jython
June 11, 2012. Michael M. Vitousek, Shashank Bharadwaj, Jeremy G. Siek. To be presented at STOP '12.
- Effects for Funargs
December 29, 2011. Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner.
arXiv
- Design and Implementation of Gnarly, a Hybrid-Typed Programming Language
December 17, 2010. Michael M. Vitousek. Senior thesis completed at Willamette University, adviser Fritz Ruehr.
Paper / Google Code / Slides / TeX
- Tendencies and Transformations within the Czechoslovak Workers' Movement, 1945–1948
December 10, 2010. Michael M. Vitousek. Senior thesis completed at Willamette University, adviser William Smaldone.
Paper / Slides
People
© 2012, Michael M. Vitousek.