Mads Rosendahl

According to our database, Mads Rosendahl authored at least 16 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Energy Consumption and Performance of Heapsort in Hardware and Software.

Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman

CoRR, 2022

2016

ENTRA: Whole-systems energy transparency.

Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl

Microprocess. Microsystems, 2016

2015

Probabilistic Output Analysis by Program Manipulation.

Mads Rosendahl, Maja H. Kirkeby

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Probabilistic Resource Analysis by Program Transformation.

Maja H. Kirkeby, Mads Rosendahl

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2013

Abstract Interpretation as a Programming Language.

Mads Rosendahl

Proceedings of the Semantics, 2013

2008

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.

John P. Gallagher, Mads Rosendahl

Proceedings of the Logic for Programming, 2008

2002

Simple Driving Techniques.

Mads Rosendahl

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

1997

Higher-Order Minimal Function Graphs.

Neil D. Jones, Mads Rosendahl

J. Funct. Log. Program., 1997

1994

Efficient Strictness Analysis of Haskell.

Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Higher-Order Minimal Functional Graphs.

Neil D. Jones, Mads Rosendahl

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

Higher-Order Chaotic Iteration Sequences.

Mads Rosendahl

Proceedings of the Programming Language Implementation and Logic Programming, 1993

1992

Minimal Function Graphs are not Instrumented.

Alan Mycroft, Mads Rosendahl

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Strictness Analysis for Attribute Grammars.

Mads Rosendahl

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Abstract interpretation and attribute grammars.

Mads Rosendahl

PhD thesis, 1991

1990

Abstract Interpretation Using Attribute Grammar.

Mads Rosendahl

Proceedings of the Attribute Grammars and their Applications, 1990

1989

Automatic Complexity Analysis.

Mads Rosendahl

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989