Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(20)
Wolfram Schulte
4
Manuel Fahndrich
4
Francesco Logozzo
3
Dan Grossman
2
Nikolai Tillmann
2
Conferences
(4)
OOPSLA
2
USENIX Security Symposium
1
CC
1
VSTTE
1
Keywords
(24)
Embed
Subscribe
Academic
Authors
Herman Venter
Edit
Herman Venter
Publications: 8
|
Citations: 61
|
G-Index: 7
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Security & Privacy
View FAQ about top research area and research interests
Collaborated with
20 co-authors
from 2005 to 2010
; Cited by
150 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(8)
BibTeX
|
RIS
|
RefWorks
Download
SPUR: a trace-based JIT compiler for CIL
(
Citations: 5
)
Michael Bebenita
,
Florian Brandner
,
Manuel Fähndrich
,
Francesco Logozzo
,
Wolfram Schulte
,
Nikolai Tillmann
,
Herman Venter
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 708-725, 2010
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization
(
Citations: 4
)
Francesco Logozzo
,
Herman Venter
Conference:
Compiler Construction - CC
, pp. 66-83, 2010
Specification and Verification: The Spec# Experience
Mike Barnett
,
Manuel Fähndrich
,
Rustan Leino
,
Peter Müller
,
ETH Zurich
,
Wolfram Schulte
,
Herman Venter
Published in 2010.
SPUR: a trace-based JIT compiler for CIL
Michael Bebenita
,
Florian Brandner
,
Manuel Fahndrich
,
Francesco Logozzo
,
Wolfram Schulte
,
Nikolai Tillmann
,
Herman Venter
Published in 2010.
Supporting dynamic, third-party code customizations in JavaScript using aspects
Benjamin S. Lerner
,
Herman Venter
,
Dan Grossman
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 361-376, 2010
Order by:
Citations
(61 times by 61 publications)
Improving the performance of trace-based systems by false loop filtering
(
Citations: 2
)
Hiroshige Hayashizaki
,
Peng Wu
,
Hiroshi Inoue
,
Mauricio J. Serrano
,
Toshio Nakatani
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 405-418, 2011
The essence of compiling with traces
(
Citations: 1
)
Shu-yu Guo
,
Jens Palsberg
Published in 2011.
A trace-based Java JIT compiler retrofitted from a method-based compiler
(
Citations: 1
)
Hiroshi Inoue
,
Hiroshige Hayashizaki
,
Peng Wu
,
Toshio Nakatani
Conference:
Symposium on Code Generation and Optimization - CGO
, pp. 246-256, 2011
Verified Security for Browser Extensions
(
Citations: 1
)
Arjun Guha
,
Matthew Fredrikson
,
Benjamin Livshits
,
Nikhil Swamy
Conference:
IEEE Symposium on Security and Privacy - S&P
, pp. 115-130, 2011
Quire: Lightweight Provenance for Smart Phone Operating Systems
Michael Dietz
,
Shashi Shekhar
,
Yuliy Pisetsky
,
Anhei Shu
,
Dan S. Wallach
Journal:
Computing Research Repository - CORR
, vol. abs/1102.2, 2011
Comments