Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLDI 2003: San Diego, California, USA
- Ron Cytron, Rajiv Gupta:
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. ACM 2003, ISBN 1-58113-662-5
Embedded systems
- David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer
, David E. Culler:
The nesC language: A holistic approach to networked embedded systems. 1-11 - Andrew A. Lamb, William Thies, Saman P. Amarasinghe:
Linear analysis and optimization of stream programs. 12-25 - Lal George, Matthias Blume:
Taming the IXP network processor. 26-37
Power-aware compilation
- Chung-Hsing Hsu, Ulrich Kremer:
The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. 38-48 - Fen Xie, Margaret Martonosi, Sharad Malik:
Compile-time dynamic voltage scaling settings: opportunities and limits. 49-62
Code optimization I
- Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibulskis, Gerald DeJong, María Jesús Garzarán, David A. Padua, Keshav Pingali, Paul Stodghill, Peng Wu:
A comparison of empirical and model-driven optimization. 63-76 - Mark Stephenson, Saman P. Amarasinghe, Martin C. Martin, Una-May O'Reilly:
Meta optimization: improving compiler heuristics with machine learning. 77-90 - Michelle Mills Strout, Larry Carter, Jeanne Ferrante:
Compile-time composition of run-time data and iteration reorderings. 91-102
Program analysis
- Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee:
Points-to analysis using BDDs. 103-114 - Christoph von Praun, Thomas R. Gross:
Static conflict analysis for multi-threaded object-oriented programs. 115-128 - Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi:
Checking and inferring local non-aliasing. 129-140
Error detection and debugging I
- Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan:
Bug isolation via remote program sampling. 141-154 - Nurit Dor, Michael Rodeh, Shmuel Sagiv:
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. 155-167 - David L. Heine, Monica S. Lam:
A practical flow-sensitive and context-sensitive C and C++ memory leak detector. 168-181
Error detection and debugging II
- Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus:
Debugging temporal specifications with concept analysis. 182-195 - Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A static analyzer for large safety-critical software. 196-207
Validation
- Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang:
A provably sound TAL for back-end optimization. 208-219 - Sorin Lerner, Todd D. Millstein, Craig Chambers:
Automatically proving the correctness of compiler optimizations. 220-231 - Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer:
CCured in the real world. 232-244
Code optimization II
- Chen Ding, Yutao Zhong:
Predicting whole-program locality through reuse distance analysis. 245-257 - Pramod G. Joisha, Prithviraj Banerjee:
Static array storage optimization in MATLAB. 258-268 - Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani:
Stride prefetching by dynamically inspecting objects. 269-277 - M. Anton Ertl, David Gregg:
Optimizing indirect branch prediction accuracy in virtual machine interpreters. 278-288
Code optimization III
- Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, Roy Dz-Ching Ju, Tin-Fook Ngai, Sun Chan:
A compiler framework for speculative analysis and optimizations. 289-299 - Michael L. Chu, Kevin Fan, Scott A. Mahlke:
Region-based hierarchical operation partitioning for multicluster processors. 300-311 - Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani:
A region-based compilation technique for a Java just-in-time compiler. 312-323
Type systems
- Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard:
Ownership types for safe region-based memory management in real-time Java. 324-337 - Cormac Flanagan, Shaz Qadeer:
A type and effect system for atomicity. 338-349
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
