Jan Midtgaard

27 papers A* 1A 3B 6C 4Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.
TACAS (3)
Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard
2020 B conf
Stack-Driven Program Generation of WebAssembly.
APLAS
Árpád Perényi, Jan Midtgaard
2018 C conf
Developments in property-based testing (invited talk).
PEPM
Jan Midtgaard
2018 B conf
Process-Local Static Analysis of Synchronous Processes.
SAS
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2017 J jnl
Effect-driven QuickChecking of compilers.
Proc. ACM Program. Lang.
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
2017 — conf
QuickChecking Patricia Trees.
TFP
Jan Midtgaard
2017 J jnl
QuickChecking static analysis properties.
Softw. Test. Verification Reliab.
Jan Midtgaard, Anders Møller
2016 B conf
A Parametric Abstract Domain for Lattice-Valued Regular Expressions.
SAS
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2016 C conf
Iterated process analysis over lattice-valued regular expressions.
PPDP
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
2015 A conf
QuickChecking Static Analysis Properties.
ICST
Jan Midtgaard, Anders Møller
2015 J jnl
Systematic derivation of correct variability-aware program analyses.
Sci. Comput. Program.
Jan Midtgaard, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
2014 — conf
Systematic derivation of static analyses for software product lines.
MODULARITY
Jan Midtgaard, Claus Brabrand, Andrzej Wasowski
2013 C conf
Engineering definitional interpreters.
PPDP
Jan Midtgaard, Norman Ramsey, Bradford Larsen
2013 A* conf
Monadic abstract interpreters.
PLDI
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2012 B conf
A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.
SAS
Jan Midtgaard, Michael D. Adams, Matthew Might
2012 B conf
Calculating Graph Algorithms for Dominance and Shortest Path.
MPC
Ilya Sergey, Jan Midtgaard, Dave Clarke
2012 J jnl
Control-flow analysis of function calls and returns by abstract interpretation.
Inf. Comput.
Jan Midtgaard, Thomas P. Jensen
2012 J jnl
Control-flow analysis of functional programs.
ACM Comput. Surv.
Jan Midtgaard
2012 — conf
Preface.
NSAD@SAS
Jan Midtgaard, Matthew Might
2012 — ed.
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012
NSAD@SAS
Jan Midtgaard, Matthew Might
2011 J jnl
Abstracting abstract machines: technical perspective.
Commun. ACM
Olivier Danvy, Jan Midtgaard
2011 A conf
Flow-sensitive type recovery in linear-log time.
OOPSLA
Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig
2009 A conf
Control-flow analysis of function calls and returns by abstract interpretation.
ICFP
Jan Midtgaard, Thomas P. Jensen
2008 B conf
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.
SAS
Jan Midtgaard, Thomas P. Jensen
2005 J jnl
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Theor. Comput. Sci.
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
2004 J jnl
A functional correspondence between call-by-need evaluators and lazy abstract machines.
Inf. Process. Lett.
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
2003 C conf
A functional correspondence between evaluators and abstract machines.
PPDP
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard