Travelled to:1 × Austria
1 × China
1 × Ireland
1 × The Netherlands
4 × Canada
6 × USA
Collaborated with:E.Aftandilian K.S.McKinley N.P.Ricci R.L.Veroy C.Lin M.D.Bond K.Cronburg J.E.B.Moss D.Frampton G.Z.Baker T.B.Tok D.Nunez E.D.Berger M.T.Vechev E.Yahav C.Reichenbach N.Immerman Y.Smaragdakis N.Nethercote S.W.Kent S.Kelley C.Gramazio S.L.Su A.Sewe M.Mezini A.Sarimbekov D.Ansaloni W.Binder S.M.Blackburn R.Garner C.Hoffmann A.M.Khan R.Bentzur A.Diwan D.Feinberg M.Hirzel A.L.Hosking M.Jump H.B.Lee A.Phansalkar D.Stefanovic T.VanDrunen D.v.Dincklage B.Wiedermann
Talks about:analysi (5) object (4) java (4) effici (3) assert (3) heap (3) benchmark (2) program (2) pointer (2) visual (2)
Person: Samuel Z. Guyer
DBLP: Guyer:Samuel_Z=
Facilitated 1 volumes:
EdContributed to:
2013
20132012
20112010
2010
201020092007
2006200620062004
2003
20192016
2017Wrote 17 papers:
- ISMM-2013-RicciGM #garbage collection #precise
- Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.
- VISSOFT-2013-VeroyRG #visualisation
- Visualizing the allocation and death of objects (RLV, NPR, SZG), pp. 1–4.
- ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #scala #source code
- new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
- OOPSLA-2011-AftandilianGVY
- Asynchronous assertions (EA, SZG, MTV, EY), pp. 275–288.
- OOPSLA-2010-ReichenbachISAG #garbage collection #what
- What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
- PLDI-2010-BondBG #analysis #context-sensitive grammar #debugging #detection #named #performance
- Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.
- SOFTVIS-2010-AftandilianKGRSG #comprehension #debugging #interactive #named #visualisation
- Heapviz: interactive heap visualization for program understanding and debugging (EA, SK, CG, NPR, SLS, SZG), pp. 53–62.
- PLDI-2009-AftandilianG #garbage collection #using
- GC assertions: using the garbage collector to check heap properties (EA, SZG), pp. 235–244.
- OOPSLA-2007-BondNKGM #fault #null
- Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.
- CC-2006-TokGL #analysis #data flow #interprocedural #performance #pointer
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.
- OOPSLA-2006-BlackburnGHKMBDFFGHHJLMPSVDW #analysis #benchmark #development #java #metric
- The DaCapo benchmarks: java benchmarking development and analysis (SMB, RG, CH, AMK, KSM, RB, AD, DF, DF, SZG, MH, ALH, MJ, HBL, JEBM, AP, DS, TV, DvD, BW), pp. 169–190.
- PLDI-2006-GuyerMF #automation #named #static analysis
- Free-Me: a static analysis for automatic individual object reclamation (SZG, KSM, DF), pp. 364–375.
- OOPSLA-2004-GuyerM #static analysis
- Finding your cronies: static analysis for dynamic object colocation (SZG, KSM), pp. 237–250.
- SAS-2003-GuyerL #analysis #pointer
- Client-Driven Pointer Analysis (SZG, CL), pp. 214–236.
- GPCE-2019-CronburgG #in memory #layout #memory management #named
- Floorplan: spatial layout in memory management systems (KC, SZG), pp. 81–93.
- OOPSLA-2016-NunezGB #garbage collection
- Prioritized garbage collection: explicit GC support for software caches (DN, SZG, EDB), pp. 695–710.
- Onward-2017-VeroyG #case study #how #java #named
- Garbology: a study of how Java objects die (RLV, SZG), pp. 168–179.