BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Midtgaard:Jan

Contributed to:

ICST 20152015
PLDI 20132013
PPDP 20132013
SAS 20122012
OOPSLA 20112011
ICFP 20092009
SAS 20082008
PPDP 20032003
PPDP 20162016
PEPM 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.