Jan Midtgaard

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 8

Top Topics

Regular Expressions

Symbolic Execution

Top Venues

Softw. Test. Verification Reliab.

Publications

Árpád Perényi, Jan Midtgaard
Stack-Driven Program Generation of WebAssembly. APLAS (2020)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Process-Local Static Analysis of Synchronous Processes. SAS (2018)
Jan Midtgaard
Developments in property-based testing (invited talk). PEPM (2018)
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Jan Midtgaard, Anders Møller
QuickChecking static analysis properties. Softw. Test. Verification Reliab. 27 (6) (2017)
Jan Midtgaard
QuickChecking Patricia Trees. TFP (2017)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Iterated process analysis over lattice-valued regular expressions. PPDP (2016)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS (2016)
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Systematic derivation of correct variability-aware program analyses. Sci. Comput. Program. 105 (2015)
Jan Midtgaard, Anders Møller
QuickChecking Static Analysis Properties. ICST (2015)
Jan Midtgaard, Claus Brabrand, Andrzej Wasowski
Systematic derivation of static analyses for software product lines. MODULARITY (2014)
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
Monadic abstract interpreters. PLDI (2013)
Jan Midtgaard, Norman Ramsey, Bradford Larsen
Engineering definitional interpreters. PPDP (2013)
Ilya Sergey, Jan Midtgaard, Dave Clarke
Calculating Graph Algorithms for Dominance and Shortest Path. MPC (2012)
Jan Midtgaard
Control-flow analysis of functional programs. ACM Comput. Surv. 44 (3) (2012)
Jan Midtgaard, Matthew Might
Preface. Electron. Notes Theor. Comput. Sci. 287 (2012)
Jan Midtgaard, Michael D. Adams, Matthew Might
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. SAS (2012)
Jan Midtgaard, Thomas P. Jensen
Control-flow analysis of function calls and returns by abstract interpretation. Inf. Comput. 211 (2012)
Olivier Danvy, Jan Midtgaard
Abstracting abstract machines: technical perspective. Commun. ACM 54 (9) (2011)
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
Flow-sensitive type recovery in linear-log time. OOPSLA (2011)
Jan Midtgaard, Thomas P. Jensen
Control-flow analysis of function calls and returns by abstract interpretation. ICFP (2009)
Jan Midtgaard, Thomas P. Jensen
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS (2008)
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theor. Comput. Sci. 342 (1) (2005)
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90 (5) (2004)
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
A functional correspondence between evaluators and abstract machines. PPDP (2003)