Jan Midtgaard

Cited by

	All	Since 2019
Citations	1065	372
h-index	15	11
i10-index	21	13

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 18 32 29 34 47 27 28 44 56 63 71 62 42 51 50 69 54 62 60 64 63

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
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
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
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
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
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu
Michael D. AdamsUniversity of UtahVerified email at utah.edu
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
Aleksandar S. DimovskiMother Teresa University, SkopjeVerified email at unt.edu.mk
Dave ClarkeIndependentVerified email at storytel.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	232	2003
Control-flow analysis of functional programs J Midtgaard ACM Computing Surveys (CSUR) 44 (3), 10, 2012	139	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	88	2005
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	82	2003
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	81	2004
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	54	2013
A calculational approach to control-flow analysis by abstract interpretation J Midtgaard, T Jensen International Static Analysis Symposium, 347-362, 2008	54	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	53	2015
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	38	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	31	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
Process-local static analysis of synchronous processes J Midtgaard, F Nielson, HR Nielson Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018	19	2018
Transformation, analysis, and interpretation of higher-order procedural programs J Midtgaard	17	2007
Subcubic control flow analysis algorithms J Midtgaard, D Van Horn Computer Science Research Report, 1-35, 2009	16	2009
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	14	2016
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	14	2011
Stack-driven program generation of WebAssembly Á Perényi, J Midtgaard Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020	13	2020
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
Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Information and Computation 211, 49-76, 2012	11	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