Abstract is missing.
- The nesC language: A holistic approach to networked embedded systemsDavid Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler. 1-11 [doi]
- Linear analysis and optimization of stream programsAndrew A. Lamb, William Thies, Saman P. Amarasinghe. 12-25 [doi]
- Taming the IXP network processorLal George, Matthias Blume. 26-37 [doi]
- The design, implementation, and evaluation of a compiler algorithm for CPU energy reductionChung-Hsing Hsu, Ulrich Kremer. 38-48 [doi]
- Compile-time dynamic voltage scaling settings: opportunities and limitsFen Xie, Margaret Martonosi, Sharad Malik. 49-62 [doi]
- A comparison of empirical and model-driven optimizationKamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu. 63-76 [doi]
- Meta optimization: improving compiler heuristics with machine learningMark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O Reilly. 77-90 [doi]
- Compile-time composition of run-time data and iteration reorderingsMichelle Mills Strout, Larry Carter, Jeanne Ferrante. 91-102 [doi]
- Points-to analysis using BDDsMarc Berndl, Ondřej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee. 103-114 [doi]
- Static conflict analysis for multi-threaded object-oriented programsChristoph von Praun, Thomas R. Gross. 115-128 [doi]
- Checking and inferring local non-aliasingAlexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi. 129-140 [doi]
- Bug isolation via remote program samplingBen Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan. 141-154 [doi]
- CSSV: towards a realistic tool for statically detecting all buffer overflows in CNurit Dor, Michael Rodeh, Shmuel Sagiv. 155-167 [doi]
- A practical flow-sensitive and context-sensitive C and C++ memory leak detectorDavid L. Heine, Monica S. Lam. 168-181 [doi]
- Debugging temporal specifications with concept analysisGlenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus. 182-195 [doi]
- A static analyzer for large safety-critical softwareBruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival. 196-207 [doi]
- A provably sound TAL for back-end optimizationJuan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang. 208-219 [doi]
- Automatically proving the correctness of compiler optimizationsSorin Lerner, Todd D. Millstein, Craig Chambers. 220-231 [doi]
- CCured in the real worldJeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer. 232-244 [doi]
- Predicting whole-program locality through reuse distance analysisChen Ding, Yutao Zhong. 245-257 [doi]
- Static array storage optimization in MATLABPramod G. Joisha, Prithviraj Banerjee. 258-268 [doi]
- Stride prefetching by dynamically inspecting objectsTatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani. 269-277 [doi]
- Optimizing indirect branch prediction accuracy in virtual machine interpretersM. Anton Ertl, David Gregg. 278-288 [doi]
- A compiler framework for speculative analysis and optimizationsJin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan. 289-299 [doi]
- Region-based hierarchical operation partitioning for multicluster processorsMichael L. Chu, Kevin Fan, Scott A. Mahlke. 300-311 [doi]
- A region-based compilation technique for a Java just-in-time compilerToshio Suganuma, Toshiaki Yasue, Toshio Nakatani. 312-323 [doi]
- Ownership types for safe region-based memory management in real-time JavaChandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard. 324-337 [doi]
- A type and effect system for atomicityCormac Flanagan, Shaz Qadeer. 338-349 [doi]