Publications by Jan Hoffmann

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
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
Kahn DM, Hoffmann J

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

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

2020
Das A, Wang D, Hoffmann J

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

2020
Pham L, Hoffmann J

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

2019
Das A, Balzer S, Hoffmann J, Pfenning F, Santurkar I

2019
Knoth T, Wang D, Polikarpova N, Hoffmann J

2019 • PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19) • 253-268
Knoth T, Wang D, Polikarpova N, Hoffmann J

2019 • Proceedings of the ACM on Programming Languages • 3:
Wang D, Hoffmann J

2018 • EPiC series in computing • 57:543-521
Niu Y, Hoffmann J

2018 • ACM Sigplan Notices • 496-512
Ngo VC, Carbonneaux Q, Hoffmann J

2018 • ACM Sigplan Notices • 53(4):496-512
Ngo VC, Carbonneaux Q, Hoffmann J

2018 • Proceedings of the ACM on Programming Languages • 2:
Das A, Hoffmann J, Pfenning F

2018
Das A, Hoffmann J, Pfenning F

2018 • ACM Sigplan Notices • 513-528
Wang D, Hoffmann J, Reps T

2018 • ACM Sigplan Notices • 53(4):513-528
Wang D, Hoffmann J, Reps T

2018
Ngo VC, Dehesa-Azuara M, Fredrikson M, Hoffmann J

2018
Das A, Hoffmann J, Pfenning F