Jan Hoffmann

Cited by

	All	Since 2018
Citations	2095	1434
h-index	25	21
i10-index	33	32

320

160

240

20092010201120122013201420152016201720182019202020212022202310 16 45 66 40 85 99 100 181 184 274 269 303 271 133

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Zhong ShaoYale UniversityVerified email at yale.edu
Ankush DasApplied Scientist at Amazon AWSVerified email at amazon.com
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. 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
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
Jan JohannsenInstitut für Informatik, LMU MünchenVerified email at ifi.lmu.de
Van Chan NgoLambdaMLVerified email at nio.io
Ezgi ÇiçekFacebook LondonVerified email at fb.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
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	319	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	156	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	141	2017
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	121	2015
Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012	106	2012
Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018	96	2018
Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017	83	2017
End-to-end verification of stack-space bounds for C programs Q Carbonneaux, J Hoffmann, T Ramananandro, Z Shao Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014	83	2014
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao Programming Languages and Systems: 24th European Symposium on Programming …, 2015	82	2015
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann	60	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	59	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	58	2008
Automated resource analysis with Coq proof objects Q Carbonneaux, J Hoffmann, T Reps, Z Shao Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	53	2017
Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	49	2019
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011	47	2011
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	46	2017
Characterizing progress properties of concurrent objects via contextual refinements H Liang, J Hoffmann, X Feng, Z Shao CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	42	2013
Amortized resource analysis with polymorphic recursion and partial big-step operational semantics J Hoffmann, M Hofmann Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010	42	2010
PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018	41	2018
Type-based amortized resource analysis with integers and arrays J Hoffmann, Z Shao Journal of Functional Programming 25, e17, 2015	40	2015

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