| Jan Midtgaard |
|
Post-doc
at DAIMI, Aarhus University,
|
|
| About |
I am currently a post-doc with Michael I. Schwartzbach in the Programming Languages group.
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. Until August 1st, 2009 I was a post-doc with John P. Gallagher in the PLIS group at CBIT, Roskilde University.
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.
| Activities |
Compilation (dOvs), Q1+Q2 2010, Aarhus University, lecturer
DANSAS'10 - the Danish Static Analysis Symposium 2010, co-organizer
AbsInt, an abstract interpretation course in Q4 2010, Aarhus University
PEPM'10, PC-member
Compilation (dOvs), Q1+Q2 2009, Aarhus University, lecturer
ICFP'09 - a video of my talk in Edinburgh
DANSAS'09 - the Danish Static Analysis Symposium 2009, co-organizer
Crash course in programming, Spring 2009, HumTek, Roskilde University, lecturer
Mini Workshop on Control Flow Analysis, 2009, Roskilde University
PAS, Program Analysis for Software Security, 2008/2009, University of Rennes 1, co-lecturer
| Publications |
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
Submitted for publication, July 2010.
A Galois Connection for Control-Flow Analysis
Thomas
Jensen, Jan Midtgaard
Revised version of our ICFP'09-paper. Submitted for journal
publication, May 2010.
Subcubic Control Flow Analysis Algorithms
Jan Midtgaard, David Van Horn
Roskilde University computer science research report
#125, May 2009.
Accepted, subject to revision, for
publication in
Higher-Order and Symbolic Computation.
Control-Flow Analysis of Function Calls and Returns
by Abstract Interpretation
Jan Midtgaard, Thomas
Jensen
Accepted for the International
Conference on Functional Programming (ICFP 2009)
Extended version available as INRIA research report RR-6681
A Calculational Approach to Control-flow Analysis by Abstract
Interpretation
Jan Midtgaard, Thomas
Jensen
In M. Alpuente and G. Vidal, editors, Static Analysis, 15th
International Symposium (SAS 2008),
Lecture Notes in Computer Science, vol. 5079, pp 347-362,
© Springer-Verlag 2008
Available from Springer and
as pdf.
Control-flow Analysis of Functional Programs
Jan Midtgaard
ACM Computing Surveys 2010, forthcoming
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
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
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 Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN
International Conference on Principles and Practice of Declarative
Programming (PPDP 2003), pp 8-19, © ACM Press 2003
Available as BRICS technical report RS-03-13
