| 2015 | PEPM | Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. | L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra |
| 2015 | PEPM | Incremental Evaluation of Higher Order Attributes. | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2015 | TACAS | Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. | Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra |
| 2014 | PEPM | Lazy stateless incremental evaluation machinery for attribute grammars. | Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra |
| 2012 | PADL | The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2010 | GPCE | Iterative type inference with attribute grammars. | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
| 2010 | HASKELL | A generic deriving mechanism for Haskell. | Jos Pedro Magalhes, Atze Dijkstra, Johan Jeuring, Andres Lh |
| 2009 | HASKELL | The architecture of the Utrecht Haskell compiler. | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
| 2006 | FLOPS | Ruler: Programming Type Rules. | Atze Dijkstra, S. Doaitse Swierstra |