BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × France
1 × Mexico
3 × Canada
7 × USA
Collaborated with:
B.Hardekopf I.Hur I.Dillig S.Z.Guyer O.Olivo D.A.Jiménez R.Cardone T.B.Tok E.C.Lewis L.Snyder K.Wang Don Fussell Y.Feng X.Wang K.K.Agaram S.W.Keckler K.S.McKinley J.Chen
Talks about:
pointer (7) analysi (6) flow (5) sensit (3) interprocedur (2) asymptot (2) perform (2) million (2) static (2) memori (2)

Person: Calvin Lin

DBLP DBLP: Lin:Calvin

Contributed to:

OOPSLA 20152015
PLDI 20152015
CGO 20112011
HPCA 20092009
POPL 20092009
HPCA 20082008
PLDI 20072007
SAS 20072007
CC 20062006
ISMM 20062006
SAS 20032003
HPCA 20012001
ICSE 20012001
PLDI 19981998
ASE 20172017
ASPLOS 20192019

Wrote 16 papers:

OOPSLA-2015-FengWDL #control flow #interprocedural
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties (YF, XW, ID, CL), pp. 520–534.
PLDI-2015-OlivoDL #debugging #detection #performance #static analysis #traversal
Static detection of asymptotic performance bugs in collection traversals (OO, ID, CL), pp. 369–378.
CGO-2011-HardekopfL #analysis #pointer
Flow-sensitive pointer analysis for millions of lines of code (BH, CL), pp. 289–298.
HPCA-2009-HurL #feedback #memory management #probability
Feedback mechanisms for improving probabilistic memory prefetching (IH, CL), pp. 443–454.
POPL-2009-HardekopfL #analysis #pointer
Semi-sparse flow-sensitive pointer analysis (BH, CL), pp. 226–238.
HPCA-2008-HurL #approach #power management
A comprehensive approach to DRAM power management (IH, CL), pp. 305–316.
PLDI-2007-HardekopfL #analysis #performance #pointer
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code (BH, CL), pp. 290–299.
SAS-2007-HardekopfL #analysis #equivalence #pointer
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis (BH, CL), pp. 265–280.
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.
ISMM-2006-AgaramKLM #data type #memory management #performance
Decomposing memory performance: data structures and phases (KKA, SWK, CL, KSM), pp. 95–103.
SAS-2003-GuyerL #analysis #pointer
Client-Driven Pointer Analysis (SZG, CL), pp. 214–236.
HPCA-2001-JimenezL #branch #predict
Dynamic Branch Prediction with Perceptrons (DAJ, CL), pp. 197–206.
ICSE-2001-CardoneL #framework #refinement
Comparing Frameworks and Layered Refinement (RC, CL), pp. 285–294.
PLDI-1998-LewisLS #array #evaluation #implementation
The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.
ASE-2017-ChenODL #detection #static analysis #web
Static detection of asymptotic resource side-channel vulnerabilities in web applications (JC, OO, ID, CL), pp. 229–239.
ASPLOS-2019-WangFL #fine-grained #performance
Fast Fine-Grained Global Synchronization on GPUs (KW, DF, CL), pp. 793–806.

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.