Conference paperThe Pensieve project: A compiler infrastructure for memory modelsChi-Leung Wong, Zehra Sura, et al.I-SPAN 2002
Conference paperAn analysis of the effects of miss clustering on the cost of a cache missThomas R. Puzak, A. Hartstein, et al.CF 2007
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperNon-gaussian statistical timing analysis using second-order polynomial fittingLerong Cheng, Jinjun Xiong, et al.ASP-DAC 2008
