Jan Hoffmann

Cited by

	All	Since 2015
Citations	1324	1053
h-index	20	19
i10-index	24	23

280

140

210

20092010201120122013201420152016201720182019202011 12 47 65 46 80 94 98 183 177 265 233

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
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Di WangCarnegie Mellon UniversityVerified email at cs.cmu.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
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
Marco GaboardiBoston UniversityVerified email at bu.edu
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	251	2012
Amortized resource analysis with polynomial potential J Hoffmann, M Hofmann European Symposium on Programming, 287-306, 2010	121	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	98	2017
Compositional certified resource bounds Q Carbonneaux, J Hoffmann, Z Shao Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	85	2015
Resource aware ML J Hoffmann, K Aehlig, M Hofmann Computer Aided Verification, 781-786, 2012	61	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	56	2014
Automatic static cost analysis for parallel programs J Hoffmann, Z Shao European Symposium on Programming Languages and Systems, 132-157, 2015	54	2015
Higher-Order Functional Reactive Programming in Bounded Space NR Krishnaswami, N Benton, J Hoffmann	53	2012
Relational cost analysis E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann ACM SIGPLAN Notices 52 (1), 316-329, 2017	51	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	46	2008
Bounded expectations: resource analysis for probabilistic programs VC Ngo, Q Carbonneaux, J Hoffmann ACM SIGPLAN Notices 53 (4), 496-512, 2018	45	2018
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	36	2010
Type-based amortized resource analysis with integers and arrays J Hoffmann, Z Shao Journal of Functional Programming 25, 2015	35	2015
Automated resource analysis with Coq proof objects Q Carbonneaux, J Hoffmann, T Reps, Z Shao International Conference on Computer Aided Verification, 64-85, 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
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis J Hoffmann epubli, 2011	31	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	30	2017
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
PMAF: an algebraic framework for static analysis of probabilistic programs D Wang, J Hoffmann, T Reps ACM SIGPLAN Notices 53 (4), 513-528, 2018	24	2018
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	22	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