Proceedings of the 2008 ACM SIGPLAN Conference on Programming Languages Design Implementation (PLDI 2008)ACM SIGPLAN notices. 2008, Vol 43, Num 6, issn 1523-2867, 392 p.Conference Proceedings

Conditional Correlation Analysis for Safe Region-based Memory ManagementXI WANG; ZHILEI XU; XUEZHENG LIU et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 45-55, issn 1523-2867, 11 p.Conference Paper

Model Checking Transactional MemoriesGUERRAOUI, Rachid; HENZINGER, Thomas A; JOBSTMANN, Barbara et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 372-382, issn 1523-2867, 11 p.Conference Paper

Sound, Complete and Scalable Path-Sensitive AnalysisDILLIG, Isil; DILLIG, Thomas; AIKEN, Alex et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 270-280, issn 1523-2867, 11 p.Conference Paper

XMem : Type-Safe, Transparent, Shared Memory for Cross-Runtime Communication and CoordinationWEGIEL, Michal; KRINTZ, Chandra.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 327-338, issn 1523-2867, 12 p.Conference Paper

Grammar-based Whitebox FuzzingGODEFROID, Patrice; KIEZUN, Adam; LEVIN, Michael Y et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 206-215, issn 1523-2867, 10 p.Conference Paper

Immix : A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator PerformanceBLACKBURN, Stephen M; MCKINLEY, Kathryn S.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 22-32, issn 1523-2867, 11 p.Conference Paper

Program Analysis as Constraint SolvingGULWANI, Sumit; SRIVASTAVA, Saurabh; VENKATESAN, Ramarathnam et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 281-292, issn 1523-2867, 12 p.Conference Paper

A Practical Automatic Polyhedral Parallelizer and Locality OptimizerBONDHUGULA, Uday; HARTONO, Albert; RAMANUJAM, J et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 101-113, issn 1523-2867, 13 p.Conference Paper

Copy Coalescing by Graph RecoloringHACK, Sebastian; GOOS, Gerhard.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 227-237, issn 1523-2867, 11 p.Conference Paper

Full Functional Verification of Linked Data StructuresZEE, Karen; KUNCAK, Viktor; RINARD, Martin C et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 349-361, issn 1523-2867, 13 p.Conference Paper

Liquid TypesRONDON, Patrick M; KAWAGUCHI, Ming; JHALA, Ranjit et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 159-169, issn 1523-2867, 11 p.Conference Paper

Automatic Volume Management for Programmable MicrofluidicsAMIN, Ahmed M; THOTTETHODI, Mithuna; VIJAYKUMAR, T. N et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 56-67, issn 1523-2867, 12 p.Conference Paper

Bootstrapping : A Technique for Scalable Flow and Context-Sensitive Pointer Alias AnalysisKAHLON, Vineet.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 249-259, issn 1523-2867, 11 p.Conference Paper

Certifying Low-Level Programs with Hardware Interrupts and Preemptive ThreadsXINYU FENG; ZHONG SHAO; YUAN DONG et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 170-182, issn 1523-2867, 13 p.Conference Paper

Checking Race Freedom via Linear ProgrammingTERAUCHI, Tachio.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 1-10, issn 1523-2867, 10 p.Conference Paper

Fair Stateless Model CheckingMUSUVATHI, Madanlal; QADEER, Shaz.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 362-371, issn 1523-2867, 10 p.Conference Paper

SharC : Checking Data Sharing Strategies for Multithreaded CANDERSON, Zachary; GAY, David; ENNALS, Rob et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 149-158, issn 1523-2867, 10 p.Conference Paper

Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented CompilersJUAN CHEN; HAWBLITZEL, Chris; PERRY, Frances et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 183-192, issn 1523-2867, 10 p.Conference Paper

Dataflow Analysis for Concurrent Programs using Datarace DetectionCHUGH, Ravi; VOUNG, Jan W; JHALA, Ranjit et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 316-326, issn 1523-2867, 11 p.Conference Paper

Discovering Properties about Arrays in Simple ProgramsHALBWACHS, Nicolas; PERON, Mathias.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 339-348, issn 1523-2867, 10 p.Conference Paper

Efficient Program Execution IndexingBIN XIN; SUMNER, William N; XIANGYU ZHANG et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 238-248, issn 1523-2867, 11 p.Conference Paper

Expressive and Safe Static Reflection with MorphJSHAN SHAN HUANG; SMARAGDAKIS, Yannis.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 79-89, issn 1523-2867, 11 p.Conference Paper

Inferring Locks for Atomic SectionsCHEREM, Sigmund; CHILIMBI, Trishul; GULWANI, Sumit et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 304-315, issn 1523-2867, 12 p.Conference Paper

Orchestrating the Execution of Stream Programs on Multicore PlatformsKUDLUR, Manjunath; MAHLKE, Scott.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 114-124, issn 1523-2867, 11 p.Conference Paper