I am assistant professor at ETH Zürich, leading the Programming Language Foundations Lab. We are part of the Institute for Programming Languages and Systems in the Department of Computer Science. Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany; my advisor was Derek Dreyer.

Assistant Professor at the Department of Computer Science.

15th USENIX Symposium on Operating Systems Design and Implementation (OSDI …

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer In Journal of Functional Programming (JFP), Volume 28, e20, November 2018 [ paper ] [ project website ]

Ralf Jung RalfJung Follow. I am not looking for a new job, please do not contact me for recruiting. 1k followers · 0 following https://www.ralfj.de; Achievements. x4 x3 x4. Achievements. x4 x3 x4. Organizations. Block or Report. Block or report RalfJung Block user.

2024年11月25日 · Ralf Jung on GhostCell and Working as a PL Researcher. Have fun, and I am sorry for talking so fast. ;) Read more...

Ralf Jung is a PhD student at the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University under the supervision of Derek Dreyer, head of the Foundations of Programming group. He is currently working on giving a formal model to Rust 's type system as part of the RustBelt project to develop formal foundations for the Rust ...

[Podcast] Ralf Jung on GhostCell and Working as a PL Researcher. Building with Rust, June 2021. My research blog serves as an opportunity to describe my research to a wider audience and engage in discussions beyond the research community. URL: https://ralfj.de/blog/categories/research.html. github.com/RalfJung.

2021年7月15日 · Jung 是马克斯普朗克软件系统研究所的博士后研究员，也是 MIT 并行和分布式操作系统组的研究员。 他的研究兴趣包括编程语言、验证、语义和类型系统。

Ralf Jung ETH Zurich, Zürich, Switzerland September 2024 ICOOOLPS 2024: Proceedings of the 19th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems https://doi.org/10.1145/3679005.3695733