Jan Hoffmann

Cited by

	All	Since 2016
Citations	1430	1057
h-index	21	20
i10-index	25	24

320

160

240

200920102011201220132014201520162017201820192020202111 12 47 65 46 84 94 98 183 178 262 315 21

Co-authors

Zhong ShaoYale UniversityVerified email at yale.edu
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
Ankush DasPhD student of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Di WangCarnegie 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
Marco GaboardiBoston UniversityVerified email at bu.edu
Sam BussProfessor of Mathematics and Computer ScienceVerified email at ucsd.edu
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
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
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
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Ezgi ÇiçekMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Van Chan NgoComputer Science Department, Carnegie Mellon UniversityVerified email at cmu.edu
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	259	2012
Amortized resource analysis with polynomial potential J Hoffmann, M Hofmann European Symposium on Programming, 287-306, 2010	128	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	106	2017
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	90	2015
Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012	66	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	61	2014
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao European Symposium on Programming Languages and Systems, 132-157, 2015	58	2015
Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018	56	2018
Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017	56	2017
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann	56	2012
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	48	2008
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	37	2010
Automated resource analysis with Coq proof objects Q Carbonneaux, J Hoffmann, T Reps, Z Shao International Conference on Computer Aided Verification, 64-85, 2017	34	2017
Type-based amortized resource analysis with integers and arrays J Hoffmann, Z Shao Journal of Functional Programming 25, 2015	34	2015
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011	34	2011
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	33	2017
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	33	2013
PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018	30	2018
Quantitative reasoning for proving lock-freedom J Hoffmann, M Marmar, Z Shao 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 124-133, 2013	30	2013
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	24	2017

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

Upload PDF

Follow this author

Cited by

Co-authors