Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLDI 2008: Tucson, AZ, USA
- Rajiv Gupta, Saman P. Amarasinghe:
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. ACM 2008, ISBN 978-1-59593-860-2
Session I
- Tachio Terauchi
:
Checking race freedom via linear programming. 1-10 - Koushik Sen:
Race directed random testing of concurrent programs. 11-21
Session II
- Stephen M. Blackburn, Kathryn S. McKinley:
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. 22-32 - Filip Pizlo, Erez Petrank, Bjarne Steensgaard:
A study of concurrent real-time garbage collectors. 33-44 - Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang:
Conditional correlation analysis for safe region-based memory management. 45-55
Session III
- Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson:
Automatic volume management for programmable microfluidics. 56-67 - Hans-Juergen Boehm, Sarita V. Adve:
Foundations of the C++ concurrency memory model. 68-78 - Shan Shan Huang, Yannis Smaragdakis:
Expressive and safe static reflection with MorphJ. 79-89
Session IV
- Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos:
Iterative optimization in the polyhedral model: part ii, multidimensional time. 90-100 - Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan:
A practical automatic polyhedral parallelizer and locality optimizer. 101-113 - Manjunath Kudlur, Scott A. Mahlke:
Orchestrating the execution of stream programs on multicore platforms. 114-124
Session V
- Martin T. Vechev, Eran Yahav:
Deriving linearizable fine-grained concurrent objects. 125-135 - Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík:
Sketching concurrent data structures. 136-148 - Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C. 149-158
Session VI
- Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala:
Liquid types. 159-169 - Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads. 170-182 - Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikakis:
Type-preserving compilation for large-scale optimizing object-oriented compilers. 183-192
Session VII
- Stephen McCamant, Michael D. Ernst:
Quantitative information flow as network flow capacity. 193-205 - Patrice Godefroid, Adam Kiezun, Michael Y. Levin:
Grammar-based whitebox fuzzing. 206-215
Session VIII
- Fernando Magno Quintão Pereira, Jens Palsberg:
Register allocation by puzzle solving. 216-226 - Sebastian Hack, Gerhard Goos:
Copy coalescing by graph recoloring. 227-237 - Bin Xin, William N. Sumner, Xiangyu Zhang:
Efficient program execution indexing. 238-248
Session IX
- Vineet Kahlon:
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. 249-259 - Daniel von Dincklage, Amer Diwan:
Explaining failures of program analyses. 260-269 - Isil Dillig, Thomas Dillig, Alex Aiken:
Sound, complete and scalable path-sensitive analysis. 270-280 - Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Program analysis as constraint solving. 281-292
Session X
- Cormac Flanagan, Stephen N. Freund, Jaeheon Yi:
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. 293-303 - Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani:
Inferring locks for atomic sections. 304-315 - Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner:
Dataflow analysis for concurrent programs using datarace detection. 316-326 - Michal Wegiel, Chandra Krintz:
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. 327-338
Session XI
- Nicolas Halbwachs, Mathias Péron:
Discovering properties about arrays in simple programs. 339-348 - Karen Zee, Viktor Kuncak, Martin C. Rinard:
Full functional verification of linked data structures. 349-361 - Madanlal Musuvathi, Shaz Qadeer:
Fair stateless model checking. 362-371 - Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh:
Model checking transactional memories. 372-382
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:
