Ralf Jung

Ralf Jung

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 4436351
Max Planck Institute for Software Systems
person_outline Ralf Jung's MOST POPULAR ARTICLES
1-) RustBelt: Securing the foundations of the Rust programming languageR Jung, JH Jourdan, R Krebbers, D DreyerProceedings of the ACM on Programming Languages 2 (POPL), 1-34, 20174902017
2-) Iris from the ground up: A modular foundation for higher-order concurrent separation logicR Jung, R Krebbers, JH Jourdan, A Bizjak, L Birkedal, D DreyerJournal of Functional Programming 28, e20, 20184882018
3-) Iris: Monoids and invariants as an orthogonal basis for concurrent reasoningR Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...ACM SIGPLAN Notices 50 (1), 637-650, 20153782015
4-) The essence of higher-order concurrent separation logicR Krebbers, R Jung, A Bizjak, JH Jourdan, D Dreyer, L BirkedalProgramming Languages and Systems: 26th European Symposium on Programming …, 20171732017
5-) Higher-order ghost stateR Jung, R Krebbers, L Birkedal, D DreyerProceedings of the 21st ACM SIGPLAN International Conference on Functional …, 20161592016