The Spec# Programming System: Challenges and Directions. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; Bart Jacobs 002; K. Rustan M. Leino; Wolfram Schulte; Herman Venter (VSTTE, 2005)

The Multi-Principal OS Construction of the Gazelle Web Browser. - Helen J. Wang; Chris Grier; Alexander Moshchuk; Samuel T. King; Piali Choudhury; Herman Venter (USENIX Security Symposium, 2009)

RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. - Francesco Logozzo; Herman Venter (CC, 2010)

SPUR: a trace-based JIT compiler for CIL. - Michael Bebenita; Florian Brandner; Manuel Fähndrich; Francesco Logozzo; Wolfram Schulte; Nikolai Tillmann; Herman Venter (OOPSLA, 2010)

Supporting dynamic, third-party code customizations in JavaScript using aspects. - Benjamin S. Lerner; Herman Venter; Dan Grossman (OOPSLA, 2010)

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. - Benjamin S. Lerner; Brian Burg; Herman Venter; Wolfram Schulte (WebApps, 2011)

Specification and verification: the Spec# experience. - Mike Barnett 001; Manuel Fähndrich; K. Rustan M. Leino; Peter Müller 001; Wolfram Schulte; Herman Venter (Commun. ACM, 2011)