Mads Rosendahl

21 papers B 2Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
Static Analysis for Hardware Design.
Languages, Compilers, Analysis
Mads Rosendahl, Maja H. Kirkeby
2025 J jnl
Energy-efficiency of software and hardware algorithms.
Comput. Sci. Inf. Syst.
Maja H. Kirkeby, Thomas Krabben, Maria Bendix Mikkelsen, Mads Rosendahl, Mathias Marquar Arhipenko Larsen, Martin Sundman, Tjark Petersen, Martin Schoeberl
2025 — conf
Static Communication Analysis for Hardware Design.
PLACES@ETAPS
Mads Rosendahl, Maja H. Kirkeby
2022 J jnl
Energy Consumption and Performance of Heapsort in Hardware and Software.
CoRR
Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2016 J jnl
Probabilistic Resource Analysis by Program Transformation.
CoRR
Maja H. Kirkeby, Mads Rosendahl
2015 — conf
Probabilistic Output Analysis by Program Manipulation.
QAPL
Mads Rosendahl, Maja H. Kirkeby
2015 — conf
Probabilistic Resource Analysis by Program Transformation.
FOPARA
Maja H. Kirkeby, Mads Rosendahl
2013 — conf
Abstract Interpretation as a Programming Language.
Festschrift for Dave Schmidt
Mads Rosendahl
2008 B conf
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.
LPAR
John P. Gallagher, Mads Rosendahl
2002 — conf
Simple Driving Techniques.
The Essence of Computation
Mads Rosendahl
1997 J jnl
Higher-Order Minimal Function Graphs.
J. Funct. Log. Program.
Neil D. Jones, Mads Rosendahl
1994 B conf
Efficient Strictness Analysis of Haskell.
SAS
Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl
1994 — conf
Higher-Order Minimal Functional Graphs.
ALP
Neil D. Jones, Mads Rosendahl
1993 — conf
Higher-Order Chaotic Iteration Sequences.
PLILP
Mads Rosendahl
1992 — conf
Minimal Function Graphs are not Instrumented.
WSA
Alan Mycroft, Mads Rosendahl
1992 — conf
Strictness Analysis for Attribute Grammars.
PLILP
Mads Rosendahl
1991 — —
Abstract interpretation and attribute grammars.
Mads Rosendahl
1990 — conf
Abstract Interpretation Using Attribute Grammar.
WAGA
Mads Rosendahl
1989 — conf
Automatic Complexity Analysis.
FPCA
Mads Rosendahl