Jan Hoffmann

Cited by

	All	Since 2019
Citations	2594	1744
h-index	26	23
i10-index	39	37

340

170

255

200920102011201220132014201520162017201820192020202120222023202412 13 48 68 40 87 97 98 180 185 279 268 325 265 280 326

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
David M KahnPhD Student, Carnegie Mellon UniversityVerified email at denison.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
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Tristan KnothUC San DiegoVerified email at ucsd.edu
Stephanie BalzerCarnegie Mellon UniversityVerified email at cs.cmu.edu
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
Ezgi ÇiçekFacebook LondonVerified email at fb.com
Tahina RamananandroMicrosoft ResearchVerified email at ramananandro.org
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Stefan K. MullerIllinois Institute of TechnologyVerified email at iit.edu

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	345	2012
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	175	2017
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	175	2010
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	151	2015
Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018	140	2018
Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012	129	2012
Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017	98	2017
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
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	88	2017
Resource-aware session types for digital contracts A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021	76	2021
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann	67	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	64	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
Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	62	2019
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
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011	55	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	51	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	50	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	48	2013

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