| Jan Midtgaard |
|
Post-doc in computer science at Aarhus University, PhD
|
|
| About |
I am currently a post-doc with Anders Møller at CASA (Center for Advanced Software Analysis) in the Programming Languages group.
Here's my Google Scholar profile, and my DBLP entry.
My primary research interests are programming languages and their implementation: program transformations, program analysis and programming language semantics. I have a particular passion for functional programming languages and program analyses based on abstract interpretation.
I hold a PhD degree from BRICS, Department of Computer Science, University of Aarhus. My supervisor was Olivier Danvy. During my education I visited Patrick Cousot's group at the Département d'Informatique at Ecole Normale Supérieure in Paris in the spring of 2006. In the spring of 2005 I visited professor Norman Ramsey and the Triforce Group at the Division of Engineering and Applied Sciences at Harvard University. After graduating I moved to Rennes in France for a post-doc at IRISA / INRIA Rennes - Bretagne Atlantique with Thomas P. Jensen in the Lande (now: Celtique) project. In 2009 I was supported by the Carlsberg Foundation as a post-doc initially with John P. Gallagher in the PLIS group at CBIT, Roskilde University and later back at Aarhus U with Michael I. Schwartzbach.
In Rennes I tried the local Andouillette. I'm sure it's very healthy. I prefer a Galette saucisse or a Calvados. I recently discovered some quite prominent ancestors in my academic family tree. I've also discovered some rather cool anagrams, like 'Adding Jam Rat' or 'Dad Taming Jar' based on the letters of my name. My Erdős number is (at most) 5.
I'm married to practicing psychologist Vibeke Bie and we have two children.
| Activities |
2013: POPL (ERC-member) DANSAS (co-organizer)
2012: NSAD (PC co-chair), ICFP (PC-member), DANSAS (co-organizer)
2011: DSL (PC-member), Scheme (PC-member), DANSAS (co-organizer), NII Shonan Meeting
2010: PEPM (PC-member), DANSAS (co-organizer)
2009: DANSAS (co-organizer), Mini Workshop on CFA
| Teaching and Supervision |
I have taught and co-taught the following courses:
Furthermore I have (co-)supervised the following MSc thesis students:
| Publications |
Engineering Definitional Interpreters
Jan Midtgaard,
Norman Ramsey,
Bradford Larsen
Submitted, Mar 2013.
Monadic Abstract Interpreters
Ilya Sergey, Dominique Devriese,
Matthew Might, Jan Midtgaard, David
Darais, Dave
Clarke, Frank Piessens
Accepted to the 34th ACM
SIGPLAN International Conference on Programming Language Design
and Implementation (PLDI 2013)
Handling Overflow in MLton
Alexander Bjerremand Hansen, Jan Midtgaard
In ACM SIGPLAN Workshop on ML, Sep. 2012, [pdf]
A Structural Soundness Proof for Shivers's Escape Technique:
A Case for Galois Connections
Jan Midtgaard, Michael D. Adams, Matthew Might
In Static
Analysis, 19th International Symposium (SAS 2012),
Lecture Notes in Computer Science, vol. 7460, 352-369,
© Springer-Verlag 2012, [DOI link], [pdf]
Calculating Graph Algorithms for Dominance and Shortest Path
Ilya Sergey, Jan
Midtgaard, Dave Clarke
In Mathematics of
Program Construction (MPC 2012),
Lecture Notes in Computer Science, vol. 7342, pp 132-156,
© Springer-Verlag 2012, [DOI link]
Dominance Analysis via Ownership Types and Abstract Interpretation
Ilya Sergey, Jan
Midtgaard, Dave Clarke
Technical
report, CW615,
Katholieke Universiteit Leuven, December 2011.
Control-Flow Analysis of Function Calls and Returns
by Abstract Interpretation
Jan Midtgaard, Thomas P.
Jensen
In Information and Computation, volume 211, pp. 49-76, ©
Elsevier 2012, [DOI link]
Extended version of our ICFP'09-paper.
Flow-Sensitive Sub-Zero Control-Flow Analysis in Linear-Log Time
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
In Proceedings of the 26th ACM SIGPLAN Conference on
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011)
pp 483-498, © ACM Press
2011,
[free ACM link]
Technical Perspective: Abstracting Abstract Machines
Olivier Danvy, Jan Midtgaard
In Communications of the ACM, volume 54, number 9, pp. 100,
© ACM Press 2011,
[free ACM link]
Subcubic Control Flow Analysis Algorithms
Jan Midtgaard, David Van Horn
Accepted for publication in
Higher-Order and Symbolic Computation
Older version available as Roskilde University computer science research report
#125, May 2009.
Control-Flow Analysis of Function Calls and Returns
by Abstract Interpretation
Jan Midtgaard, Thomas P.
Jensen
In Proceedings of the 14th ACM
SIGPLAN International Conference on Functional Programming (ICFP'09),
pp 287-298, © ACM Press 2009,
[free ACM link],
[video]
Extended version available as INRIA research report RR-6681
A Calculational Approach to Control-flow Analysis by Abstract
Interpretation
Jan Midtgaard, Thomas P.
Jensen
In Static Analysis, 15th
International Symposium (SAS 2008),
Lecture Notes in Computer Science, vol. 5079, pp 347-362,
© Springer-Verlag 2008, [DOI link], [pdf]
Control-flow Analysis of Functional Programs
Jan Midtgaard
In ACM Computing Surveys, volume 44, issue 3, pp. 10:1-10:33, June 2012.
© ACM,
2010,
[free ACM link]
[Additional material available
here]. Older version available as BRICS technical report RS-07-18
Transformation, Analysis, and Interpretation of Higher-Order
Procedural Programs
Jan Midtgaard
PhD Dissertation, Department of Computer Science, University of
Aarhus, 2007
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
In Theoretical Computer Science, volume 342, issue 1, pp
149-172, © Elsevier 2005, [DOI link]
Extended version available as BRICS technical report
RS-04-28
Earlier version presented at the APPSEM II workshop,
Talinn, Estonia, 2004
From Implicit to Explicit Contexts in Operational Semantics
Jan Midtgaard
PhD progress report, Department of Computer Science, University of
Aarhus, 2004
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
In Information Processing Letters, volume 90, number 5,
pp. 223-232, © Elsevier 2004, [DOI link]
Extended version available as BRICS technical report RS-04-3
From Interpreter to Compiler and Virtual Machine: a Functional Derivation
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
BRICS technical report RS-03-14
A Functional Correspondence between Evaluators and Abstract Machines
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
In Proceedings of the Fifth ACM-SIGPLAN
International Conference on Principles and Practice of Declarative
Programming (PPDP 2003),
pp 8-19, © ACM Press 2003,
[free ACM link]
Also available as BRICS technical report RS-03-13
