Herman Venter

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
Specification and verification: the Spec# experience. Commun. ACM 54 (6) (2011)
Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. WebApps (2011)
Francesco Logozzo, Herman Venter
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. CC (2010)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Benjamin S. Lerner, Herman Venter, Dan Grossman
Supporting dynamic, third-party code customizations in JavaScript using aspects. OOPSLA (2010)
Helen J. Wang, Chris Grier, Alexander Moshchuk, Samuel T. King, Piali Choudhury, Herman Venter
The Multi-Principal OS Construction of the Gazelle Web Browser. USENIX Security Symposium (2009)
Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
The Spec# Programming System: Challenges and Directions. VSTTE (2005)