Collaborated with:D.Dreyer R.Krebbers J.Jourdan J.Tassarotti R.H.0001 Hoang-Hai Dang J.Kang A.Bizjak L.Birkedal J.Lee C.Hur Zhengyang Liu J.Regehr N.P.Lopes R.Lepigre Gaurav Parthasarathy M.Rapoport Amin Timany B.J.0002
Talks about:logic (3) rust (3) concurr (2) higher (2) separ (2) order (2) level (2) reconcil (1) propheci (1) variabl (1)
Person: Ralf Jung 0002
DBLP: 0002:Ralf_Jung
Contributed to:
2017
2018
20182020Wrote 6 papers:
- ESOP-2017-Krebbers0BJDB #concurrent #higher-order #logic
- The Essence of Higher-Order Concurrent Separation Logic (RK, RJ0, AB, JHJ, DD, LB), pp. 696–723.
- ESOP-2017-TassarottiJ0 #concurrent #higher-order #logic #refinement
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (JT, RJ0, RH0), pp. 909–936.
- OOPSLA-2018-LeeHJLRL #low level #optimisation
- Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.
- POPL-2018-0002JKD #named #programming language #rust
- RustBelt: securing the foundations of the rust programming language (RJ0, JHJ, RK, DD), p. 34.
- POPL-2020-JungDKD #alias #rust
- Stacked borrows: an aliasing model for Rust (RJ0, HHD, JK, DD), p. 32.
- POPL-2020-JungLPRTDJ #logic
- The future is ours: prophecy variables in separation logic (RJ0, RL, GP, MR, AT, DD, BJ0), p. 32.