Publications by Jan Hoffmann

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
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 • 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

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 • Proceedings - Symposium on Logic in Computer Science • 305-314
Das A, Hoffmann J, Pfenning F

2018
Das A, Hoffmann J, Pfenning F

2017 • Leibniz International Proceedings in Informatics • 84:
Lichtman B, Hoffmann J

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10427:64-85
Carbonneaux Q, Hoffmann J, Reps T, Shao Z

2017
Ngo VC, Carbonneaux Q, Hoffmann J

2017 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 10205:190-207
Das A, Hoffmann J

2017 • Journal of Automated Reasoning • 59(1):1-2
Giesl J, Hoffmann J

2017 • ACM Sigplan Notices • 52(1):316-329
Cicek E, Barthe G, Gaboardi M, Garg D, Hoffmann J