Jonas Wagner
Jonas Wagner
Bestätigte E-Mail-Adresse bei google.com - Startseite
TitelZitiert vonJahr
High system-code security with low overhead
J Wagner, V Kuznetsov, G Candea, J Kinder
2015 IEEE Symposium on Security and Privacy, 866-879, 2015
352015
-overify: Optimizing programs for fast verification
J Wagner, V Kuznetsov, G Candea
14th Workshop on Hot Topics in Operating Systems (HotOS XIV), 2013
232013
Elastic Program Transformations: Automatically Optimizing the Reliability/Performance Trade-off in Systems Software
J Wagner
EPFL, 2017
22017
Elastic Program Transformations
JB Wagner
EPFL, 2017
2017
11th USENIX Symposium on Operating Systems Design and Implementation
S IX
2016
-OVERIFY: Optimizing Programs for Fast Verification
J Wagner, V Kuznetsov, G Candea
Presented as part of the 14th Workshop on Hot Topics in Operating Systems, 2013
2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6