Follow
Matthew A. Hammer
Matthew A. Hammer
None
No verified email - Homepage
Title
Cited by
Cited by
Year
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
1552014
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
1362010
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
1362010
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
1192008
Adapton: Composable, demand-driven incremental computation
MA Hammer, KY Phang, M Hicks, JS Foster
ACM SIGPLAN Notices 49 (6), 156-166, 2014
992014
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
982009
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
922011
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
602019
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
552015
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
542017
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
422006
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
372007
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
292013
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
ACM SIGPLAN Notices 46 (9), 129-141, 2011
292011
Memory management for self-adjusting computation
MA Hammer, UA Acar
Proceedings of the 7th international symposium on Memory management, 51-60, 2008
282008
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
262017
Self-adjusting stack machines
MA Hammer, G Neis, Y Chen, UA Acar
ACM SIGPLAN Notices 46 (10), 753-772, 2011
192011
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
182014
ILC: a calculus for composable, computational cryptography
K Liao, MA Hammer, A Miller
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
162019
Languages of play: towards semantic foundations for game interfaces
C Martens, MA Hammer
Proceedings of the 12th International Conference on the Foundations of …, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20