I agree that this site is using cookies. You can find further informations here.
X
Jung, Ralf
2000  results:
Search for persons X
?
1

RefinedRust: A Type System for High-Assurance Verification ..:

Gäher, Lennard ; Sammler, Michael ; Jung, Ralf..
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1115-1139 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Grove: a Separation-Logic Library for Verifying Distributed..:

, In: Proceedings of the 29th Symposium on Operating Systems Principles,
Sharma, Upamanyu ; Jung, Ralf ; Tassarotti, Joseph.. - p. 113-129 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Later credits: resourceful reasoning for the later modality:

Spies, Simon ; Gäher, Lennard ; Tassarotti, Joseph...
Proceedings of the ACM on Programming Languages.  6 (2022)  ICFP - p. 283-311 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Simuliris: a separation logic framework for verifying concu..:

Gäher, Lennard ; Sammler, Michael ; Spies, Simon...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Simuliris: a separation logic framework for verifying concu..:

Gäher, Lennard ; Sammler, Michael ; Spies, Simon...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-31 , 2022
Link: https://doi.org/10.1145/..
 
?
6

GhostCell: separating permissions from data in Rust:

Yanovski, Joshua ; Dang, Hoang-Hai ; Jung, Ralf.
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
7

Safe systems programming in Rust:

Jung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert.
Communications of the ACM.  64 (2021)  4 - p. 144-152 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Safe systems programming in Rust:

Jung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert.
Communications of the ACM.  64 (2021)  4 - p. 144-152 , 2021
Link: https://doi.org/10.1145/..
 
?
9

GhostCell: separating permissions from data in Rust:

Yanovski, Joshua ; Dang, Hoang-Hai ; Jung, Ralf.
Proceedings of the ACM on Programming Languages.  5 (2021)  ICFP - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Understanding and evolving the Rust programming language:

Jung, Ralf , August 2020
Link: https://nbn-resolving.de..
 
?
11

The future is ours: prophecy variables in separation logic:

Jung, Ralf ; Lepigre, Rodolphe ; Parthasarathy, Gaurav...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://doi.org/10.1145/..
 
?
12

The future is ours: prophecy variables in separation logic:

Jung, Ralf ; Lepigre, Rodolphe ; Parthasarathy, Gaurav...
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Stacked borrows: an aliasing model for Rust:

Jung, Ralf ; Dang, Hoang-Hai ; Kang, Jeehoon.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Stacked borrows: an aliasing model for Rust:

Jung, Ralf ; Dang, Hoang-Hai ; Kang, Jeehoon.
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://doi.org/10.1145/..
 
?
15

MoSeL: a general, extensible modal framework for interactiv..:

Krebbers, Robbert ; Jourdan, Jacques-Henri ; Jung, Ralf...
Proceedings of the ACM on Programming Languages.  2 (2018)  ICFP - p. 1-30 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15