Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesPIERCE, Benjamin C.ACM SIGPLAN notices. 2009, Vol 44, Num 1, issn 1523-2867, 461 p.Conference Proceedings

A Calculus of Atomic ActionsELMAS, Tayfun; QADEER, Shaz; TASIRAN, Serdar et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 2-15, issn 1523-2867, 14 p.Conference Paper

A Combination Framework for Tracking Partition SizesGULWANI, Sumit; LEV-AMI, Tal; SAGIV, Mooly et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 239-251, issn 1523-2867, 13 p.Conference Paper

Compositional Shape Analysis by means of Bi-AbductionCALCAGNO, Cristiano; DISTEFANO, Dino; O'HEARN, Peter et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 289-300, issn 1523-2867, 12 p.Conference Paper

Relaxed Memory Models : an Operational ApproachBOUDOL, Gérard; PETRI, Gustavo.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 392-403, issn 1523-2867, 12 p.Conference Paper

Formal Certification of Code-Based Cryptographic ProofsBARTLLE, Gilles; GREGOIRE, Benjamin; ZANELLA BEGUELIN, Santiago et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 90-101, issn 1523-2867, 12 p.Conference Paper

Verifying Liveness for Asynchronous ProgramsGANTY, Pierre; MAJUMDAR, Rupak; RYBALCHENKO, Andrey et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 102-113, issn 1523-2867, 12 p.Conference Paper

A Cost Semantics for Self-Adjusting ComputationLEY-WILD, Ruy; ACAR, Umut A; FLUET, Matthew et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 186-199, issn 1523-2867, 14 p.Conference Paper

Bidirectionalization for Free! (Pearl)VOIGTLÄNDER, Janis.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 165-176, issn 1523-2867, 12 p.Conference Paper

Copy-on-Write in the PHP LanguageTOZAWA, Akihiko; TATSUBORI, Michiaki; ONODERA, Tamiya et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 200-212, issn 1523-2867, 13 p.Conference Paper

A Model of Cooperative ThreadsABADI, Martin; PLOTKIN, Gordon.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 29-40, issn 1523-2867, 12 p.Conference Paper

Masked Types for Sound Object InitializationXIN QI; MYERS, Andrew C.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 53-65, issn 1523-2867, 13 p.Conference Paper

Static Contract Checking for HaskellXU, Dana N; JONES, Simon Peyton; CLAESSEN, Knen et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 41-52, issn 1523-2867, 12 p.Conference Paper

Proving That Non-Blocking Algorithms Don't BlockGOTSMAN, Alexey; COOK, Byron; PARKINSON, Matthew et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 16-28, issn 1523-2867, 13 p.Conference Paper

The Semantics of x86-CC Multiprocessor Machine CodeSARKAR, Susmit; SEWELL, Peter; ZAPPA NARDELLI, Francesco et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 379-391, issn 1523-2867, 13 p.Conference Paper

The Semantics of Progress in Lock-Based Transactional MemoryGUERRAOUI, Rachid; KAPALKA, Michal.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 404-415, issn 1523-2867, 12 p.Conference Paper

Programming with Angelic NondeterminismBARMAN, Shaon; BODIK, Rastislav; CHANDRA, Satish et al.ACM SIGPLAN notices. 2010, Vol 45, Num 1, pp 339-351, issn 1523-2867, 13 p.Conference Paper

Positive Supercompilation for a Higher Order Call-By-Value LanguageJONSSON, Peter A; NORDLANDER, Johan.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 277-288, issn 1523-2867, 12 p.Conference Paper

Types and Higher-Order Recursion Schemes for Verification of Higher-Order ProgramsKOBAYASHI, Naoki.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 416-428, issn 1523-2867, 13 p.Conference Paper

Modeling Abstract Types in Modules with Open Existential TypesMONTAGU, Benoit; REMY, Didier.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 354-365, issn 1523-2867, 12 p.Conference Paper

Modular Code Generation from Synchronous Block Diagrams : Modularity vs. Code SizeLUBLINERMAN, Roberto; SZEGEDY, Christian; TRIPAKIS, Stavros et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 78-89, issn 1523-2867, 12 p.Conference Paper

SPEED: Precise and Efficient Static Estimation of Program Computational ComplexityGULWANI, Sumit; MEHRA, Krishna K; CHILIMBI, Trishul et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 127-139, issn 1523-2867, 13 p.Conference Paper

Classical BI : (A Logic for Reasoning about Dualising Resources)BROTHERSTON, James; CALCAGNO, Cristiano.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 328-339, issn 1523-2867, 12 p.Conference Paper

Feedback-Directed Barrier Optimization in a Strongly Isolated STMBRONSON, Nathan G; KOZYRAKIS, Christos; OLUKOTUN, Kunle et al.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 213-225, issn 1523-2867, 13 p.Conference Paper

Flexible Types : Robust type inference for first-class polymorphismLEIJEN, Daan.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 66-77, issn 1523-2867, 12 p.Conference Paper