Quicklinks

Portrait of Person: Ralf Jung

Ralf Jung (Staff)
 
 +49 681 302 71948
 Stuhlsatzenhaus 5 | 66123 Saarbrücken | 1.03

Publications:

Title Date Date
 2016
ICFP
2016
 Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016
 2015
POPL
2015
 Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
 Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15)
 2018
2018
 Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
 PACMPL
 2017
2017
 Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal
 Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
 2011
2011
 Markus Löchtefeld, Sven Gehring, Ralf Jung, Antonio Krüger
 Smart Graphics - 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings
 2011
CHI
2011
 Markus Löchtefeld, Sven Gehring, Ralf Jung, Antonio Krüger
 Proceedings of the International Conference on Human Factors in Computing Systems, CHI 2011, Extended Abstracts Volume, Vancouver, BC, Canada, May 7-12, 2011