Ralf Jung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | OSDI | Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. | Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | SOSP | Grove: a Separation-Logic Library for Verifying Distributed Systems. | Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2021 | OSDI | GoJournal: a verified, concurrent, crash-safe journaling system. | Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | ESOP | The Essence of Higher-Order Concurrent Separation Logic. | Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal |
| 2017 | ESOP | A Higher-Order Logic for Concurrent Termination-Preserving Refinement. | Joseph Tassarotti, Ralf Jung, Robert Harper |
| 2016 | ICFP | Higher-order ghost state. | Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer |
| 2015 | POPL | 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 |
| 2011 | CHI | guitAR: supporting guitar learning through mobile projection. | Markus Lchtefeld, Sven Gehring, Ralf Jung, Antonio Krger |
| 2007 | HCI | A Location-Adaptive Human-Centered Audio Email Notification Service for Multi-user Environments. | Ralf Jung, Tim Schwartz |
| 2005 | IUI | Seamless user notification in ambient soundscapes. | Andreas Butz, Ralf Jung |