Jan Midtgaard

Cited by

	All	Since 2018
Citations	960	317
h-index	14	11
i10-index	19	13

20032004200520062007200820092010201120122013201420152016201720182019202020212022202312 17 34 31 34 41 35 27 44 49 70 64 62 42 62 51 67 54 60 60 25

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Olivier DanvyYale-NUS College and School of Computing, National University of SingaporeVerified email at yale-nus.edu.sg
Mads Sig AgerGoogleVerified email at google.com
Dariusz BiernackiUniversity of WroclawVerified email at cs.uni.wroc.pl
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceVerified email at imm.dtu.dk
Hanne Riis Nielsonprofessor at DTU Applied Mathematics and Computer ScienceVerified email at imm.dtu.dk
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkVerified email at itu.dk
Claus BrabrandFull Professor, Head of Center for Computing Education Research, IT University of CopenhagenVerified email at itu.dk
Michael D. AdamsUniversity of UtahVerified email at utah.edu
Dave ClarkeIndependentVerified email at storytel.com
Aleksandar S. DimovskiMother Teresa University, SkopjeVerified email at unt.edu.mk
Dominique DevrieseKU LeuvenVerified email at kuleuven.be
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
David DaraisGalois, Inc.Verified email at galois.com
Anders MøllerProfessor, Aarhus UniversityVerified email at cs.au.dk
Arun ChauhanProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Norman RamseyProfessor of Computer Science, Tufts UniversityVerified email at cs.tufts.edu
Bradford LarsenIndependentVerified email at bradfordlarsen.com

Jan Midtgaard

Tarides

Verified email at janmidtgaard.dk - Homepage

Programming Languages Functional Programming Abstract Interpretation Semantics Property-Based Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A functional correspondence between evaluators and abstract machines MS Ager, D Biernacki, O Danvy, J Midtgaard Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	213	2003
Control-flow analysis of functional programs J Midtgaard ACM Computing Surveys (CSUR) 44 (3), 10, 2012	121*	2012
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects MS Ager, O Danvy, J Midtgaard Theoretical Computer Science 342 (1), 149-172, 2005	87	2005
A functional correspondence between call-by-need evaluators and lazy abstract machines MS Ager, O Danvy, J Midtgaard Information Processing Letters 90 (5), 223-232, 2004	79	2004
From interpreter to compiler and virtual machine: a functional derivation MS Ager, D Biernacki, O Danvy, J Midtgaard BRICS, Dept. of Computer Science, Univ., 2003	75	2003
A calculational approach to control-flow analysis by abstract interpretation J Midtgaard, T Jensen Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008	52	2008
Systematic derivation of correct variability-aware program analyses J Midtgaard, AS Dimovski, C Brabrand, A Wąsowski Science of Computer Programming 105, 145-170, 2015	46	2015
Monadic abstract interpreters I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	44	2013
Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009	42	2009
Quickchecking static analysis properties J Midtgaard, A Møller Software Testing, Verification and Reliability 27 (6), e1640, 2017	31	2017
Effect-driven QuickChecking of compilers J Midtgaard, MN Justesen, P Kasting, F Nielson, HR Nielson Proceedings of the ACM on Programming Languages 1 (ICFP), 1-23, 2017	27	2017
Systematic derivation of static analyses for software product lines J Midtgaard, C Brabrand, A Wasowski Proceedings of the 13th international conference on Modularity, 181-192, 2014	22	2014
Subcubic control flow analysis algorithms J Midtgaard, D Van Horn Computer Science, Roskilde University, 2009	16	2009
Transformation, analysis, and interpretation of higher-order procedural programs J Midtgaard PhD thesis, BRICS PhD School, University of Aarhus, Aarhus, Denmark, 2007	15	2007
Process-local static analysis of synchronous processes J Midtgaard, F Nielson, HR Nielson Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018	13	2018
A structural soundness proof for Shivers’s escape technique: A case for Galois connections J Midtgaard, MD Adams, M Might Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012	12	2012
Flow-sensitive type recovery in linear-log time MD Adams, AW Keep, J Midtgaard, M Might, A Chauhan, RK Dybvig Proceedings of the 2011 ACM international conference on Object oriented …, 2011	12	2011
A parametric abstract domain for lattice-valued regular expressions J Midtgaard, F Nielson, HR Nielson Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016	11	2016
Calculating Graph Algorithms for Dominance and Shortest Path. I Sergey, J Midtgaard, D Clarke MPC 12, 132-156, 2012	10	2012
Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Information and Computation 211, 49-76, 2012	8	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors