Magne Haveraaen

55 papers B 4C 2Journal 23Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Algebraic reasoning for timeliness-guided system design. J. Log. Algebraic Methods Program. Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs
2023	—	`conf`	Algebraic Reasoning About Timeliness. ICE Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
2023	J	`jnl`	Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. Art Sci. Eng. Program. Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen
2022	J	`jnl`	P3 problem and Magnolia language: Specializing array computations for emerging architectures. Frontiers Comput. Sci. Benjamin Chetioui, Marius Kleppe Larnøy, Jaakko Järvi, Magne Haveraaen, Lenore Mullin
2022	J	`jnl`	Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal. CoRR Benjamin Chetioui, Jaakko Järvi, Magne Haveraaen
2021	—	`conf`	Padding in the mathematics of arrays. ARRAY@PLDI Benjamin Chetioui, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Lenore Mullin
2021	J	`jnl`	Semantics of multiway dataflow constraint systems. J. Log. Algebraic Methods Program. Magne Haveraaen, Jaakko Järvi
2020	J	`jnl`	Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper. CoRR Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Koerner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
2020	J	`jnl`	Specifying with syntactic theory functors. J. Log. Algebraic Methods Program. Magne Haveraaen, Markus Roggenbach
2019	—	`conf`	Axiom Based Testing for Fun and Pedagogy. FMFun Magne Haveraaen
2019	—	`conf`	Finite difference methods fengshui: alignment through a mathematics of arrays. ARRAY@PLDI Benjamin Chetioui, Lenore Mullin, Ole Abusdal, Magne Haveraaen, Jaakko Järvi, Sandra Macià
2019	—	`conf`	Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -. FMFun Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov
2018	—	`conf`	An array API for finite difference methods. ARRAY@PLDI Eva Burrows, Helmer André Friis, Magne Haveraaen
2018	—	`conf`	Proving a core code for FDM correct by 2 + dw tests. ARRAY@PLDI Magne Haveraaen
2017	—	`conf`	Domain Engineering the Magnolia Way. Ershov Informatics Conference Magne Haveraaen
2016	—	`conf`	Errors as Data Values. NIK Tero Hasu, Magne Haveraaen
2015	J	`jnl`	High-Performance Design Patterns for Modern Fortran. Sci. Program. Magne Haveraaen, Karla Morris, Damian W. I. Rouson, Hari Radhakrishnan, Clayton Carson
2014	B	`conf`	Specializing planners for hierarchical multi-way dataflow constraint systems. GPCE Jaakko Järvi, Gabriel Foust, Magne Haveraaen
2014	—	`conf`	Specification of generic APIs, or: why algebraic may be better than pre/post. HILT Anya Helene Bagge, Magne Haveraaen
2013	—	`conf`	High-performance design patterns for modern Fortran. SE-HPCCSE@SC Magne Haveraaen, Karla Morris, Damian W. I. Rouson
2013	—	`conf`	Inferring Required Permissions for Statically Composed Programs. NordSec Tero Hasu, Anya Helene Bagge, Magne Haveraaen
2012	—	`conf`	Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. WGP@ICFP Jaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus
2012	—	`conf`	Programmable data dependencies and placements. DAMP Eva Burrows, Magne Haveraaen
2011	J	`jnl`	Testing with Axioms in C++ 2011. J. Object Technol. Anya Helene Bagge, Valentin David, Magne Haveraaen
2009	J	`jnl`	A Hardware Independent Parallel Programming Model. J. Log. Algebraic Methods Program. Eva Burrows, Magne Haveraaen
2009	C	`conf`	Concepts as Syntactic Sugar. SCAM Valentin David, Magne Haveraaen
2009	J	`jnl`	Coordinate-free numerics: all your variation points for free? Int. J. Comput. Sci. Eng. Magne Haveraaen, Helmer André Friis
2009	—	`conf`	Interfacing Concepts: Why Declaration Style Shouldn't Matter. LDTA Anya Helene Bagge, Magne Haveraaen
2009	B	`conf`	The axioms strike back: testing with concepts and axioms in C++. GPCE Anya Helene Bagge, Valentin David, Magne Haveraaen
2008	—	`conf`	Axiom-Based Transformations: Optimisation and Testing. LDTA Anya Helene Bagge, Magne Haveraaen
2008	—	`conf`	Axiom-based testing for C++. OOPSLA Companion Anya Helene Bagge, Valentin David, Magne Haveraaen
2008	—	`conf`	JAxT and JDI: the simplicity of junit applied to axioms and data invariants. OOPSLA Companion Magne Haveraaen, Karl Trygve Kalleberg
2008	—	`conf`	Testing with concepts and axioms in C++. OOPSLA Companion Anya Helene Bagge, Valentin David, Magne Haveraaen
2007	B	`ed.`	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings CALCO Till Mossakowski, Ugo Montanari, Magne Haveraaen
2006	B	`conf`	Stayin' alert: : moulding failure and exceptions to your needs. GPCE Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg
2005	J	`jnl`	Computable scalar fields: A basis for PDE software. J. Log. Algebraic Methods Program. Magne Haveraaen, Helmer André Friis, Hans Z. Munthe-Kaas
2003	C	`conf`	Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs. SCAM Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser
2003	—	`conf`	Domain-Specific Optimisation with User-Defined Rules in CodeBoost. RULE@RDP Otto Skrove Bagge, Magne Haveraaen
2003	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Magne Haveraaen, Jüri Vain
2002	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Magne Haveraaen, Michael R. Hansen
2002	J	`jnl`	On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs. Eng. Comput. Magne Haveraaen, Hans Z. Munthe-Kaas, Krister Åhlander
2001	J	`jnl`	Computation Algebras. Math. Struct. Comput. Sci. Michal Walicki, Magne Haveraaen, Sigurd Meldal
2001	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Magne Haveraaen, Olaf Owe
2000	J	`jnl`	An algebraic programming style for numerical software and its optimization. Sci. Program. T. B. Dinesh, Magne Haveraaen, Jan Heering
2000	J	`jnl`	Case study on algebraic software methodologies for scientific computing. Sci. Program. Magne Haveraaen
2000	J	`jnl`	Coordinate free programming of computational fluid dynamics problems. Sci. Program. Philip W. Grant, Magne Haveraaen, Michael F. Webster
2000	—	`conf`	Efficient Parallelisation of Recursive Problems Using Constructive Recursion (Research Note). Euro-Par Magne Haveraaen
2000	J	`jnl`	Machine and collection abstractions for user-implemented data-parallel programming. Sci. Program. Magne Haveraaen
2000	—	`conf`	On the Role of Mathematical Abstractions for Scientific Computing. The Architecture of Scientific Software Krister Åhlander, Magne Haveraaen, Hans Z. Munthe-Kaas
1999	J	`jnl`	An Algebraic Programming Style for Numerical Software and its Optimization CoRR T. B. Dinesh, Magne Haveraaen, Jan Heering
1999	J	`jnl`	Formal Software Engineering for Computational Modelling. Nord. J. Comput. Magne Haveraaen, Helmer André Friis, Tor Arne Johansen
1999	—	`conf`	Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. WADT Magne Haveraaen, Eric G. Wagner
1996	—	`ed.`	Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers COMPASS/ADT Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
1990	—	`conf`	Distributing Programs on Different Parallel Architectures. ICPP (2) Magne Haveraaen
1988	—	`conf`	The PAL Module Concept. ADT Magne Haveraaen