Herman Venter

According to our database, Herman Venter authored at least 7 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Specification and verification: the Spec# experience.

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter

Commun. ACM, 2011

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications.

Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte

Proceedings of the 2nd USENIX Conference on Web Application Development, 2011

2010

Supporting dynamic, third-party code customizations in JavaScript using aspects.

Benjamin S. Lerner, Herman Venter, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

SPUR: a trace-based JIT compiler for CIL.

Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization.

Francesco Logozzo, Herman Venter

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

The Multi-Principal OS Construction of the Gazelle Web Browser.

Helen J. Wang, Chris Grier, Alexander Moshchuk, Samuel T. King, Piali Choudhury, Herman Venter

Proceedings of the 18th USENIX Security Symposium, 2009

2005

The Spec# Programming System: Challenges and Directions.

Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter

Proceedings of the Verified Software: Theories, 2005