​
Login / Signup
Hannes Mehnert
Publication Activity (10 Years)
Years Active: 2007-2019
Publications (10 Years): 2
Top Topics
Java Virtual Machine
Object Position
Unordered Trees
Protocol Specification
Top Venues
VSTTE
CoRR
TOOLS (50)
USENIX Security Symposium
</>
Publications
</>
Steve Bishop
,
Matthew Fairbairn
,
Hannes Mehnert
,
Michael Norrish
,
Tom Ridge
,
Peter Sewell
,
Michael Smith
,
Keith Wansbrough
Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.
J. ACM
66 (1) (2019)
Gabriel Radanne
,
Thomas Gazagnaire
,
Anil Madhavapeddy
,
Jeremy Yallop
,
Richard Mortier
,
Hannes Mehnert
,
Mindy Preston
,
David J. Scott
Programming Unikernels in the Large via Functor Driven Development.
CoRR
(2019)
David Kaloper-Mersinjak
,
Hannes Mehnert
,
Anil Madhavapeddy
,
Peter Sewell
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
USENIX Security Symposium
(2015)
Ligia Nistor
,
Jonathan Aldrich
,
Stephanie Balzer
,
Hannes Mehnert
Object Propositions.
FM
(2014)
Hannes Mehnert
,
Jonathan Aldrich
Verification of Snapshotable Trees Using Access Permissions and Typestate.
TOOLS (50)
(2012)
Julian Mackay
,
Hannes Mehnert
,
Alex Potanin
,
Lindsay Groves
,
Nicholas Cameron
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.
FTfJP@ECOOP
(2012)
Hannes Mehnert
,
Filip Sieczkowski
,
Lars Birkedal
,
Peter Sestoft
Formalized Verification of Snapshotable Trees: Separation and Sharing.
VSTTE
(2012)
Hannes Mehnert
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code.
NASA Formal Methods
(2011)
Hannes Mehnert
Extending Dylan's type system for better type inference and error detection.
ILC
(2010)
Hannes Mehnert
,
Andreas Bogk
A domain-specific language for manipulation of binary data in Dylan.
ILC
(2007)