Publications by Jan Hoffmann

2026 • Proceedings of the ACM on Programming Languages • 10(POPL):2204-2232
Kahn DM, Hoffmann J, Li 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

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

2020 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12077:359-380
Kahn DM, Hoffmann J

2020 • Proceedings of the ACM on Programming Languages • 4:
Knoth T, Wang D, Reynolds A, Hoffmann J, Polikarpova N

2020
Knoth T, Wang D, Reynolds A, Hoffmann J, Polikarpova N

2020 • Proceedings of the ACM on Programming Languages • 4:
Wang D, Kahn DM, Hoffmann J

2019 • Electronic Notes in Theoretical Computer Science • 347:303-324
Wang D, Hoffmann J, Reps T