X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/ea228ae6efd409fb22899cc95f710399416ffaf6..032688e5cf147ccfc85c892eb9c34a4fae488a1f:/research/index.html?ds=sidebyside
diff --git a/research/index.html b/research/index.html
index af9a103..fbbc7b3 100644
--- a/research/index.html
+++ b/research/index.html
@@ -1,7 +1,5 @@
---
-title: Research
-absolute_urls: true
-hide: true
+title: Ralf Jung
---
@@ -16,47 +14,3 @@ hide: true
This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world.
See my personal website for more information.
-Thesis, Publications, Workshop Submissions
-
-2015
-
--
- Unifying Worlds and Resources
- Ralf Jung, Derek Dreyer
- In HOPE 2015: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- [talk] [talk (slides)]
-
-
--
- Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
- Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
- In POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- [website] [paper] [appendix] [coq] [talk (slides)]
-
-
-2013
--
- An Intermediate Language To Formally Justify Memory Access Reordering (Bachelor's Thesis)
- Ralf Jung, Supervisor: Sebastian Hack, Advisor: Sigurd Schneider
- [pdf] [slides] [coq]
-
-
-
-Contact
-
-E-Mail Address
-
-jung AT mpi-sws DOT org
-
-Phone Number
-
-+49 (681) 9303 8717
-
-Work Address
-
-
-Room 438
-MPI-SWS (Campus E1.5)
-66123 Saarbrücken
-Germany
-