Matthew A. Hammer

Cited by

	All	Since 2020
Citations	1588	887
h-index	18	12
i10-index	19	13

240

120

180

20072008200920102011201220132014201520162017201820192020202120222023202420254 13 19 12 27 24 37 61 57 94 82 96 160 136 164 165 168 223 31

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDVerified email at umd.edu
Cyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Aseem RastogiResearcher, Microsoft ResearchVerified email at microsoft.com
Jana DunfieldQueen's UniversityVerified email at queensu.ca
Kyle HeadleyUniversity of Alabama at BirminghamVerified email at uab.edu
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Michael HiltonCarnegie Mellon UniversityVerified email at cmu.edu
Yit Phang KhooThe MathWorks, Inc.Verified email at mathworks.com
David Van HornUniversity of MarylandVerified email at cs.umd.edu
Piotr MardzielRealmLabs.AIVerified email at cmu.edu
Mohan RajagopalanVerified email at yaap-up.com
Joshua SunshineAssistant Professor, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Sebastian ErdwegProfessor of Computer Science, JGU MainzVerified email at uni-mainz.de
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomeVerified email at diag.uniroma1.it
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Yan ChenDFINITY

Matthew A. Hammer

None

No verified email - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Distributing and geographically load balancing location aware communication device client-proxy applications V Berstis, JDS Bethencourt, KB Damm, RG Deen, M Hammer, ... US Patent 7,702,784, 2010	288	2010
Wysteria: A programming language for generic, mixed-mode multiparty computations A Rastogi, MA Hammer, M Hicks 2014 IEEE Symposium on Security and Privacy, 655-670, 2014	197	2014
Method for distributing and geographically load balancing location aware communication device client-proxy applications V Berstis, JDS Bethencourt, KB Damm, RG Deen, M Hammer, ... US Patent 7,428,588, 2008	167	2008
Handling of players and objects in massive multi-player on-line games V Berstis, JDS Bethencourt, KB Damm, RG Deen, MA Hammer, ... US Patent 8,057,307, 2011	136	2011
Adapton: Composable, demand-driven incremental computation MA Hammer, KY Phang, M Hicks, JS Foster ACM SIGPLAN Notices 49 (6), 156-166, 2014	118	2014
Live functional programming with typed holes C Omar, I Voysey, R Chugh, MA Hammer Proceedings of the ACM on Programming Languages 3 (POPL), 1-32, 2019	105	2019
CEAL: a C-based language for self-adjusting computation MA Hammer, UA Acar, Y Chen Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	101	2009
Hazelnut: a bidirectionally typed structure editor calculus C Omar, I Voysey, M Hilton, J Aldrich, MA Hammer ACM SIGPLAN Notices 52 (1), 86-99, 2017	90	2017
Incremental computation with names MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015	67	2015
Running Quake II on a grid G Deen, M Hammer, J Bethencourt, I Eiron, J Thomas, JH Kaufman IBM systems journal 45 (1), 21-44, 2006	44	2006
A proposal for parallel self-adjusting computation M Hammer, UA Acar, M Rajagopalan, A Ghuloum Proceedings of the 2007 workshop on Declarative aspects of multicore …, 2007	38	2007
Knowledge inference for optimizing secure multi-party computation A Rastogi, P Mardziel, M Hicks, MA Hammer Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013	37	2013
Toward semantic foundations for program editors C Omar, I Voysey, M Hilton, J Sunshine, CL Goues, J Aldrich, MA Hammer arXiv preprint arXiv:1703.08694, 2017	36	2017
Implicit self-adjusting computation for purely functional programs Y Chen, J Dunfield, MA Hammer, UA Acar ACM SIGPLAN Notices 46 (9), 129-141, 2011	30	2011
Memory management for self-adjusting computation MA Hammer, UA Acar Proceedings of the 7th international symposium on Memory management, 51-60, 2008	28	2008
ILC: a calculus for composable, computational cryptography K Liao, MA Hammer, A Miller Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019	25	2019
Implicit self-adjusting computation for purely functional programs Y Chen, J Dunfield, MA Hammer, UA Acar Journal of Functional Programming 24 (1), 56-112, 2014	21	2014
Self-adjusting stack machines MA Hammer, G Neis, Y Chen, UA Acar ACM SIGPLAN Notices 46 (10), 753-772, 2011	20	2011
Languages of play: towards semantic foundations for game interfaces C Martens, MA Hammer Proceedings of the 12th International Conference on the Foundations of …, 2017	16	2017
Knowledge inference for optimizing and enforcing secure computations P Mardziel, M Hicks, J Katz, M Hammer, A Rastogi, M Srivatsa Proceedings of the Annual Meeting of the US/UK International Technology Alliance, 2013	5	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