BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Guyer:Samuel_Z=

Facilitated 1 volumes:

ISMM 2014Ed

Contributed to:

ISMM 20132013
VISSOFT 20132013
ISMM 20122012
OOPSLA 20112011
OOPSLA 20102010
PLDI 20102010
SOFTVIS 20102010
PLDI 20092009
OOPSLA 20072007
CC 20062006
OOPSLA 20062006
PLDI 20062006
OOPSLA 20042004
SAS 20032003
GPCE 20192019
OOPSLA 20162016
Onward! 20172017

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.