Æȷοì
Matthew A. Hammer
Matthew A. Hammer
None
È®ÀÎµÈ À̸ÞÀÏ ¾øÀ½ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
2102010
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
2102010
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
1822014
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
1452008
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
1152011
Adapton: Composable, demand-driven incremental computation
MA Hammer, KY Phang, M Hicks, JS Foster
ACM SIGPLAN Notices 49 (6), 156-166, 2014
1112014
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
1022009
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
822019
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
692017
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
612015
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
432006
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
382007
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
322017
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
302013
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
ACM SIGPLAN Notices 46 (9), 129-141, 2011
302011
Memory management for self-adjusting computation
MA Hammer, UA Acar
Proceedings of the 7th international symposium on Memory management, 51-60, 2008
282008
ILC: a calculus for composable, computational cryptography
K Liao, MA Hammer, A Miller
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language ¡¦, 2019
232019
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
212014
Self-adjusting stack machines
MA Hammer, G Neis, Y Chen, UA Acar
ACM SIGPLAN Notices 46 (10), 753-772, 2011
202011
Languages of play: towards semantic foundations for game interfaces
C Martens, MA Hammer
Proceedings of the 12th International Conference on the Foundations of ¡¦, 2017
152017
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20