| 2020 | ESOP | Higher-Ranked Annotation Polymorphic Dependency Analysis. | Fabian Thorand, Jurriaan Hage |
| 2018 | ISSRE | Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. | Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage |
| 2018 | PLDI | Guarded impredicative polymorphism. | Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
| 2018 | SCAM | [Research Paper] Fine-Grained Model Slicing for Rebel. | Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman |
| 2017 | PEPM | Cost versus precision for approximate typing for Python. | Levin Fritz, Jurriaan Hage |
| 2017 | PEPM | Predicting resource consumption of higher-order workflows. | Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer |
| 2017 | PEPM | Lightweight soundness for towers of language extensions. | Alejandro Serrano, Jurriaan Hage |
| 2017 | PEPM | Refining types using type guards in TypeScript. | Ivo Gabe de Wolff, Jurriaan Hage |
| 2016 | ESOP | Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. | Alejandro Serrano, Jurriaan Hage |
| 2016 | PADL | Generic Matching of Tree Regular Expressions over Haskell Data Types. | Alejandro Serrano, Jurriaan Hage |
| 2015 | APSEC | Exploiting Annotations to Test Break-off Branches. | I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov |
| 2015 | HASKELL | Type families with class, type classes with family. | Alejandro Serrano, Jurriaan Hage, Patrick Bahr |
| 2015 | ICWE | A Quantitative Comparison of Semantic Web Page Segmentation Approaches. | Robert Kreuzer, Jurriaan Hage, Ad Feelders |
| 2015 | PEPM | Object-sensitive Type Analysis of PHP. | Henk Erik Van der Hoek, Jurriaan Hage |
| 2015 | PEPM | Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. | Ruud Koot, Jurriaan Hage |
| 2015 | PEPM | Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. | Hidde Verstoep, Jurriaan Hage |
| 2015 | SAC | AB=ᗺA: execution equivalence as a new type of testing oracle. | Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernndez |
| 2015 | VISSOFT | Stable Voronoi-based visualizations for software quality monitoring. | Rinse van Hees, Jurriaan Hage |
| 2014 | ICSE | Reduce first, debug later. | Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas |
| 2014 | ICSE | How do professionals perceive legacy systems and software modernization? | Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage |
| 2013 | PEPM | Security type error diagnosis for higher-order, polymorphic languages. | Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
| 2011 | SCAM | A Comparative Study of Code Query Technologies. | Tiago L. Alves, Jurriaan Hage, Peter Rademaker |
| 2010 | ICFP | Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. | Stefan Holdermans, Jurriaan Hage |
| 2010 | PEPM | Corrective hints for type incorrect generic Java programs. | Nabil El Boustani, Jurriaan Hage |
| 2010 | PEPM | Making "stricterness" more relevant. | Stefan Holdermans, Jurriaan Hage |
| 2009 | PEPM | Improving type error messages for generic java. | Nabil El Boustani, Jurriaan Hage |
| 2008 | ICFP | Report on the tenth ICFP programming contest. | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Lh, Clara Lh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2008 | PEPM | Heap recycling for lazy languages. | Jurriaan Hage, Stefan Holdermans |
| 2008 | SLE | Neon: A Library for Language Usage Analysis. | Jurriaan Hage, Peter van Keeken |
| 2007 | ICFP | A generic usage analysis with subeffect qualifiers. | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
| 2005 | PADL | Type Class Directives. | Bastiaan Heeren, Jurriaan Hage |
| 2003 | ICFP | Scripting the type inference process. | Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra |