Matthew A. Hammer

Citée par

	Toutes	Depuis 2020
Citations	1588	887
indice h	18	12
indice i10	19	13

240

120

180

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

Accès public

Tout afficher

6 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDAdresse e-mail validée de umd.edu
Cyrus OmarAssistant Professor, Computer Science and Engineering, University of MichiganAdresse e-mail validée de umich.edu
Jeffrey S. FosterComputer Science, Tufts UniversityAdresse e-mail validée de tufts.edu
Aseem RastogiResearcher, Microsoft ResearchAdresse e-mail validée de microsoft.com
Jana DunfieldQueen's UniversityAdresse e-mail validée de queensu.ca
Kyle HeadleyUniversity of Alabama at BirminghamAdresse e-mail validée de uab.edu
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Michael HiltonCarnegie Mellon UniversityAdresse e-mail validée de cmu.edu
Yit Phang KhooThe MathWorks, Inc.Adresse e-mail validée de mathworks.com
David Van HornUniversity of MarylandAdresse e-mail validée de cs.umd.edu
Piotr MardzielRealmLabs.AIAdresse e-mail validée de cmu.edu
Mohan RajagopalanAdresse e-mail validée de yaap-up.com
Joshua SunshineAssistant Professor, Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Claire Le GouesCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamAdresse e-mail validée de uab.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityAdresse e-mail validée de cs.brown.edu
Sebastian ErdwegProfessor of Computer Science, JGU MainzAdresse e-mail validée de uni-mainz.de
Camil DemetrescuProfessor of Computer Science, Sapienza University of RomeAdresse e-mail validée de diag.uniroma1.it
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderAdresse e-mail validée de cs.colorado.edu
Yan ChenDFINITY

Suivre

Matthew A. Hammer

None

Aucune adresse e-mail validée - Page d'accueil


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs