Herman Venter
PRINCIPAL RSDE
.
Publications
- Benjamin S. Lerner, Brian Burg, Wolfram Schulte, and H Venter, C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications, in 2nd USENIX Conference on Web Application Development, USENIX, 15 June 2011
- Mike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Mueller, Wolfram Schulte, and Herman Venter, Specification and Verification: The Spec# Experience, in Communications of the ACM, vol. 54, no. 6, pp. 81--91, Association for Computing Machinery, Inc., June 2011
- Benjamin S. Lerner, Herman Venter, and Dan Grossman, Supporting Dynamic, Third-Party Code Customizations in JavaScript Using Aspects, in OOPSLA 2010, Association for Computing Machinery, Inc., 17 October 2010
- Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, and Manuel Fahndrich, The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers, 24 May 2010
- Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: A Trace-Based JIT Compiler for CIL, no. MSR-TR-2010-27, 25 March 2010
- Francesco Logozzo and Herman Venter, Rapid Atomic Type Analysis by Abstract Interpretation. Application to JavaScript optimization, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, March 2010
- Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: a trace-based JIT compiler for CIL, in Proceedings of the ACM international conference on Object oriented programming systems languages and applications, ACM, New York, NY, USA, 2010
- Helen J. Wang, Chris Grier, Alexander Moshchuk, Sam King, Piali Choudhury, and Herman Venter, The Multi-Principal OS Construction of the Gazelle Web Browser, no. MSR-TR-2009-16, 19 February 2009
- Mike Barnett, Robert DeLine, Bart Jacobs, Manuel Fahndrich, Rustan Leino, Wolfram Schulte, and Herman Venter, The Spec# programming system: Challenges and directions., in Verified Software: Theories, Tools, Experiments (LNCS4171, ISSN 0302-9743), Springer Verlag, 10 October 2005
