Æȷοì
Samuel Z. Guyer
Samuel Z. Guyer
cs.tufts.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
The DaCapo benchmarks: Java benchmarking development and analysis
SM Blackburn, R Garner, C Hoffmann, AM Khang, KS McKinley, ...
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented ¡¦, 2006
19412006
The DaCapo benchmarks: Java benchmarking development and analysis
SM Blackburn, R Garner, C Hoffmann, AM Khang, KS McKinley, ...
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented ¡¦, 2006
19412006
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
3152015
An annotation language for optimizing software libraries
SZ Guyer, C Lin
Proceedings of the 2nd conference on Domain-Specific Languages, 39-52, 1999
1561999
Wake up and smell the coffee: Evaluation methodology for the 21st century
SM Blackburn, KS McKinley, R Garner, C Hoffmann, AM Khan, R Bentzur, ...
Communications of the ACM 51 (8), 83-89, 2008
1442008
Client-driven pointer analysis
SZ Guyer, C Lin
International Static Analysis Symposium, 214-236, 2003
1342003
Tracking bad apples: reporting the origin of null and undefined value errors
MD Bond, N Nethercote, SW Kent, SZ Guyer, KS McKinley
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented ¡¦, 2007
962007
Free-me: a static analysis for automatic individual object reclamation
SZ Guyer, KS McKinley, D Frampton
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language ¡¦, 2006
932006
Broadway: A compiler for exploiting the domain-specific semantics of software libraries
SZ Guyer, C Lin
Proceedings of the IEEE 93 (2), 342-357, 2005
912005
Broadway: A compiler for exploiting the domain-specific semantics of software libraries
SZ Guyer, C Lin
Proceedings of the IEEE 93 (2), 342-357, 2005
912005
Heapviz: interactive heap visualization for program understanding and debugging
EE Aftandilian, S Kelley, C Gramazio, N Ricci, SL Su, SZ Guyer
Proceedings of the 5th international symposium on Software visualization, 53-62, 2010
822010
Error checking with client-driven pointer analysis
SZ Guyer, C Lin
Science of Computer Programming 58 (1-2), 83-114, 2005
672005
Elephant tracks: Portable production of complete and precise gc traces
NP Ricci, SZ Guyer, JEB Moss
ACM Sigplan Notices 48 (11), 109-118, 2013
642013
Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers
TB Tok, SZ Guyer, C Lin
Compiler Construction: 15th International Conference, CC 2006, Held as Part ¡¦, 2006
642006
Finding your cronies: static analysis for dynamic object colocation
SZ Guyer, KS McKinley
ACM SIGPLAN Notices 39 (10), 237-250, 2004
542004
Metaphors we teach by
JP Sanford, A Tietz, S Farooq, S Guyer, RB Shapiro
Proceedings of the 45th ACM technical symposium on Computer science ¡¦, 2014
502014
Juniper: a functional reactive programming language for the Arduino
C Helbling, SZ Guyer
Proceedings of the 4th International Workshop on Functional Art, Music ¡¦, 2016
442016
GC assertions: Using the garbage collector to check heap properties
EE Aftandilian, SZ Guyer
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language ¡¦, 2009
432009
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses
MD Bond, GZ Baker, SZ Guyer
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language ¡¦, 2010
422010
Optimizing the use of high performance software libraries
SZ Guyer, C Lin
International Workshop on Languages and Compilers for Parallel Computing ¡¦, 2000
342000
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20