| 2021 | PLDI | Padding in the mathematics of arrays. | Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Jrvi, Lenore Mullin |
| 2019 | PLDI | Finite difference methods fengshui: alignment through a mathematics of arrays. | Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Jrvi, Sandra Maci |
| 2018 | PLDI | An array API for finite difference methods. | Eva Burrows, Helmer Andr Friis, Magne Haveraaen |
| 2018 | PLDI | Proving a core code for FDM correct by 2 + dw tests. | Magne Haveraaen |
| 2014 | GPCE | Specializing planners for hierarchical multi-way dataflow constraint systems. | Jaakko Jrvi, Gabriel Foust, Magne Haveraaen |
| 2013 | SC | High-performance design patterns for modern Fortran. | Magne Haveraaen, Karla Morris, Damian W. I. Rouson |
| 2012 | ICFP | Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. | Jaakko Jrvi, Magne Haveraaen, John Freeman, Mat Marcus |
| 2012 | POPL | Programmable data dependencies and placements. | Eva Burrows, Magne Haveraaen |
| 2009 | GPCE | The axioms strike back: testing with concepts and axioms in C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2009 | SCAM | Concepts as Syntactic Sugar. | Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | Axiom-based testing for C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | Testing with concepts and axioms in C++. | Anya Helene Bagge, Valentin David, Magne Haveraaen |
| 2008 | OOPSLA | JAxT and JDI: the simplicity of junit applied to axioms and data invariants. | Magne Haveraaen, Karl Trygve Kalleberg |
| 2006 | GPCE | Stayin' alert: : moulding failure and exceptions to your needs. | Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg |
| 2003 | SCAM | Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. | Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser |
| 2000 | EuroPar | Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). | Magne Haveraaen |
| 1990 | ICPP | Distributing Programs on Different Parallel Architectures. | Magne Haveraaen |