Publications by Jan Hoffmann

2026 • Proceedings of the ACM on Programming Languages • 10(POPL):
Kahn DM, Hoffmann J, Li R

2026
Chu E, Guo Y, Hoffmann J

2026 • Proceedings of the ACM on Programming Languages • 10(OOPSLA1):
Chu E, Guo Y, Hoffmann J

2026 • Leibniz International Proceedings in Informatics • 380:
Glover N, Hoffmann J

2026
Grodin H, Chu E, Li R, Hoffmann J, Harper R

2025
Kahn DM, Hoffmann J, Reps T, Grosen J

2025 • Proceedings of the ACM on Programming Languages • 9(OOPSLA2):
Pham L, Niu Y, Glover N, Saad F, Hoffmann J

2024 • ACM Transactions on Parallel Computing • 11(1):
Muller SK, Hoffmann J

2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA):
Pham L, Wang D, Saad FA, Hoffmann J

2024 • Proceedings of the ACM on Programming Languages • 8(PLDI):
Pham L, Saad FA, Hoffmann J

2024 • Logical Methods in Computer Science • 20(4):
Pham L, Hoffmann J

2024
Pham L, Hoffmann J

2023
Grosen J, Kahn DM, Hoffmann J

2023 • Proceedings - Symposium on Logic in Computer Science
Grosen J, Kahn DM, Hoffmann J

2023 • Proceedings of the ACM on Programming Languages • 7(POPL):
Das A, Wang D, Hoffmann J

2022 • Mathematical Structures in Computer Science • 32(6):682-684
Hoffmann J, Sannella D, Schoepp U

2022 • Mathematical Structures in Computer Science • 32(6):729-759
Hoffmann J, Jost S

2021 • Proceedings of the ACM on Programming Languages • 5:
Rajani V, Gaboardi M, Garg D, Hoffmann J

2021 • Proceedings of the ACM on Programming Languages • 5:
Kahn DM, Hoffmann J

2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 559-573
Wang D, Hoffmann J, Reps T

2021 • Proceedings of the ACM on Programming Languages • 5:
Muller SK, Hoffmann J

2021 • Mathematical Structures in Computer Science • 31(9):950-952
Hoffmann J, Sannella D, Schoepp U

2021 • Proceedings - IEEE Computer Security Foundations Symposium • 109-124
Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I

2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 788-803
Wang D, Hoffmann J, Reps T

2021 • Leibniz International Proceedings in Informatics • 183:
Pham L, Hoffmann J