BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0002:Ralf_Jung

Contributed to:

ESOP 20172017
OOPSLA 20182018
POPL 20182018
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.