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: Lin:Calvin
Contributed to:
2015
2015
2011
2009
200920082007
2007
2006
200620032001
20011998
2017
2019Wrote 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.