Magne Haveraaen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Magne Haveraaen' as author, editor, or advisor:

Revisiting Language Support for Generic Programming: When Genericity Is a Core Design GoalBenjamin Chetioui, Jaakko Järvi, Magne Haveraaen. Programming, 7(2), 2023. [doi]
Domain Engineering the Magnolia WayMagne Haveraaen. ershov 2018: 196-210 [doi]
Axiom Based Testing for Fun and PedagogyMagne Haveraaen. fmfun 2021: 27-57 [doi]
Interfacing Concepts: Why Declaration Style Shouldn t MatterAnya Helene Bagge, Magne Haveraaen. ENTCS, 253(7):37-50, 2010. [doi]
Testing with Axioms in C++ 2011Anya Helene Bagge, Valentin David, Magne Haveraaen. jot, 10, 2011. [doi]
Concepts as Syntactic SugarValentin David, Magne Haveraaen. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]
Inferring Required Permissions for Statically Composed ProgramsTero Hasu, Anya Helene Bagge, Magne Haveraaen. nordsec 2013: 51-66 [doi]
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov 0002, Rustam Zhumagambetov. fmfun 2021: 1-26 [doi]
Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obviousJaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus. ICFP 2012: 25-32 [doi]
P3 problem and Magnolia language: Specializing array computations for emerging architecturesBenjamin Chetioui, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin. fcomp, 4, 2022. [doi]
Proving a core code for FDM correct by 2 + dw testsMagne Haveraaen. PLDI 2018: 42-49 [doi]
High-performance design patterns for modern FortranMagne Haveraaen, Karla Morris, Damian W. I. Rouson. sc 2013: 1-8 [doi]
Axiom-Based Transformations: Optimisation and TestingAnya Helene Bagge, Magne Haveraaen. ENTCS, 238(5):17-33, 2009. [doi]
High-Performance Design Patterns for Modern FortranMagne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson. sp, 2015, 2015. [doi]
Padding in the mathematics of arraysBenjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin. PLDI 2021: 15-26 [doi]
Concepts as Syntactic SugarValentin David, Magne Haveraaen. SCAM 2009: 147-156 [doi]
Specification of generic APIs, or: why algebraic may be better than pre/postAnya Helene Bagge, Magne Haveraaen. sigada 2014: 71-80 [doi]
An array API for finite difference methodsEva Burrows, Helmer André Friis, Magne Haveraaen. PLDI 2018: 59-66 [doi]
Errors as Data ValuesTero Hasu, Magne Haveraaen. nik 2016: [doi]
Semantics of multiway dataflow constraint systemsMagne Haveraaen, Jaakko Järvi. jlap, 121:100634, 2021. [doi]
Specifying with syntactic theory functorsMagne Haveraaen, Markus Roggenbach. jlap, 113:100543, 2020. [doi]
Finite difference methods fengshui: alignment through a mathematics of arraysBenjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià. PLDI 2019: 2-13 [doi]
Specializing planners for hierarchical multi-way dataflow constraint systemsJaakko Järvi, Gabriel Foust, Magne Haveraaen. GPCE 2014: 1-10 [doi]
The axioms strike back: testing with concepts and axioms in C++Anya Helene Bagge, Valentin David, Magne Haveraaen. GPCE 2009: 15-24 [doi]
Programmable data dependencies and placementsEva Burrows, Magne Haveraaen. POPL 2012: 31-40 [doi]
Coordinate-free numerics: all your variation points for free?Magne Haveraaen, Helmer André Friis. ijcse, 4(4):223-230, 2009. [doi]
Home PageMagne Haveraaen.

runs on WebDSL