Travelled to:1 × Austria
1 × France
1 × Sweden
1 × United Kingdom
2 × Spain
2 × USA
Collaborated with:T.P.Jensen M.Might A.Møller M.D.Adams ∅ N.Ramsey B.Larsen F.Nielson H.R.Nielson M.S.Ager D.Biernacki O.Danvy A.W.Keep A.Chauhan R.K.Dybvig I.Sergey D.Devriese D.Darais D.Clarke F.Piessens
Talks about:interpret (4) abstract (4) analysi (4) flow (3) properti (2) function (2) control (2) correspond (1) techniqu (1) structur (1)
Person: Jan Midtgaard
DBLP: Midtgaard:Jan
Contributed to:
2015
2013
2013
2012
2011
2009200820032016
2018Wrote 10 papers:
- ICST-2015-MidtgaardM #static analysis
- QuickChecking Static Analysis Properties (JM, AM), pp. 1–10.
- PLDI-2013-SergeyDMMDCP #monad
- Monadic abstract interpreters (IS, DD, MM, JM, DD, DC, FP), pp. 399–410.
- PPDP-2013-MidtgaardRL
- Engineering definitional interpreters (JM, NR, BL), pp. 121–132.
- SAS-2012-Midtgaard0M #proving
- A Structural Soundness Proof for Shivers’s Escape Technique — A Case for Galois Connections (JM, MDA, MM), pp. 352–369.
- OOPSLA-2011-AdamsKMMCD #polynomial
- Flow-sensitive type recovery in linear-log time (MDA, AWK, JM, MM, AC, RKD), pp. 483–498.
- ICFP-2009-MidtgaardJ #abstract interpretation #analysis #control flow
- Control-flow analysis of function calls and returns by abstract interpretation (JM, TPJ), pp. 287–298.
- SAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.
- PPDP-2003-AgerBDM #automaton #functional
- A functional correspondence between evaluators and abstract machines (MSA, DB, OD, JM), pp. 8–19.
- PPDP-2016-MidtgaardNN #analysis #process #regular expression
- Iterated process analysis over lattice-valued regular expressions (JM, FN, HRN), pp. 132–145.
- PEPM-2018-Midtgaard #testing
- Developments in property-based testing (invited talk) (JM), p. 1.