Jan Hoffmann

Cited by

	All	Since 2019
Citations	2529	1680
h-index	27	24
i10-index	40	38

340

170

255

200920102011201220132014201520162017201820192020202120222023202412 13 48 68 40 87 97 98 180 184 279 268 321 267 279 266

Public access

View all

34 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Zhong ShaoYale UniversityVerified email at yale.edu
Ankush DasAssistant Professor, Boston UniversityVerified email at bu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Marco GaboardiBoston UniversityVerified email at bu.edu
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
Xinyu FengNanjing UniversityVerified email at nju.edu.cn
Hongjin LiangNanjing UniversityVerified email at nju.edu.cn
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Felix BrandtProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
Felix FischerQueen Mary University of LondonVerified email at qmul.ac.uk
Van Chan NgoHyperlexiaVerified email at nio.io
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Ezgi ÇiçekFacebook LondonVerified email at fb.com
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Matt FredriksonCarnegie Mellon UniversityVerified email at cs.cmu.edu
Markus BrillUniversity of WarwickVerified email at warwick.ac.uk
Jörg RotheProfessor of Computer Science, Heinrich-Heine-Universität DüsseldorfVerified email at cs.uni-duesseldorf.de

Jan Hoffmann

Carnegie Mellon University

Verified email at cmu.edu - Homepage

Programming Languages Formal Methods Software Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Multivariate amortized resource analysis J Hoffmann, K Aehlig, M Hofmann ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 1-62, 2012	344	2012
Amortized resource analysis with polynomial potential: A static inference of polynomial bounds for functional programs J Hoffmann, M Hofmann Programming Languages and Systems: 19th European Symposium on Programming …, 2010	173	2010
Towards automatic resource bound analysis for OCaml J Hoffmann, A Das, SC Weng Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	172	2017
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	148	2015
Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018	133	2018
Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012	125	2012
End-to-end verification of stack-space bounds for C programs Q Carbonneaux, J Hoffmann, T Ramananandro, Z Shao ACM SIGPLAN Notices 49 (6), 270-281, 2014	98	2014
Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017	94	2017
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao Programming Languages and Systems: 24th European Symposium on Programming …, 2015	94	2015
A linear differential transimpedance amplifier for 100-Gb/s integrated coherent optical fiber receivers A Awny, R Nagulapalli, M Kroh, J Hoffmann, P Runge, D Micusik, ... IEEE Transactions on Microwave Theory and Techniques 66 (2), 973-986, 2017	85	2017
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann	65	2012
Verifying and synthesizing constant-resource implementations with types M Dehesa-Azuara, M Fredrikson, J Hoffmann 2017 IEEE Symposium on Security and Privacy (SP), 710-728, 2017	63	2017
Resolution trees with lemmas: Resolution refinements that characterize DLL algorithms with clause learning SR Buss, J Hoffmann, J Johannsen Arxiv preprint arXiv:0811.1075, 2008	63	2008
Automated resource analysis with Coq proof objects Q Carbonneaux, J Hoffmann, T Reps, Z Shao International Conference on Computer Aided Verification, 64-85, 2017	59	2017
Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	58	2019
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011	53	2011
Work analysis with resource-aware session types A Das, J Hoffmann, F Pfenning Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	50	2018
PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018	49	2018
Characterizing progress properties of concurrent objects via contextual refinements H Liang, J Hoffmann, X Feng, Z Shao International Conference on Concurrency Theory, 227-241, 2013	47	2013
Amortized resource analysis with polymorphic recursion and partial big-step operational semantics J Hoffmann, M Hofmann Asian Symposium on Programming Languages and Systems, 172-187, 2010	44	2010

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