Mads Rosendahl

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 6

Top Venues

CoRR

Festschrift for Dave Schmidt

QAPL

FOPARA

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
Energy Consumption and Performance of Heapsort in Hardware and Software. CoRR (2022)
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
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
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
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Maja H. Kirkeby, Mads Rosendahl
Probabilistic Resource Analysis by Program Transformation. CoRR (2016)
Mads Rosendahl, Maja H. Kirkeby
Probabilistic Output Analysis by Program Manipulation. QAPL (2015)
Maja H. Kirkeby, Mads Rosendahl
Probabilistic Resource Analysis by Program Transformation. FOPARA (2015)
Mads Rosendahl
Abstract Interpretation as a Programming Language. Festschrift for Dave Schmidt (2013)
John P. Gallagher, Mads Rosendahl
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. LPAR (2008)
Mads Rosendahl
Simple Driving Techniques. The Essence of Computation (2002)
Neil D. Jones, Mads Rosendahl
Higher-Order Minimal Function Graphs. J. Funct. Log. Program. 1997 (2) (1997)
Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl
Efficient Strictness Analysis of Haskell. SAS (1994)
Neil D. Jones, Mads Rosendahl
Higher-Order Minimal Functional Graphs. ALP (1994)
Mads Rosendahl
Higher-Order Chaotic Iteration Sequences. PLILP (1993)
Alan Mycroft, Mads Rosendahl
Minimal Function Graphs are not Instrumented. WSA (1992)
Mads Rosendahl
Strictness Analysis for Attribute Grammars. PLILP (1992)
Mads Rosendahl
Abstract Interpretation Using Attribute Grammar. WAGA (1990)
Mads Rosendahl
Automatic Complexity Analysis. FPCA (1989)

Mads Rosendahl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mads Rosendahl