Multicore Garbage Collection with Local HeapsMARLOW, Simon; PEYTON JONES, Simon.ACM SIGPLAN notices. 2011, Vol 46, Num 11, pp 21-32, issn 1523-2867, 12 p.Article

SPLASH: Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'11)ACM SIGPLAN notices. 2011, Vol 46, Num 10, issn 1523-2867, 1103 p.Conference Proceedings

A Domain-Specific Approach To Heterogeneous ParallelismCHAFI, Hassan; SUJEETH, Arvind K; BROWN, Kevin J et al.ACM SIGPLAN notices. 2011, Vol 46, Num 8, pp 35-45, issn 1523-2867, 11 p.Conference Paper

A Language for Software Variation ResearchERWIG, Martin.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 3-12, issn 1523-2867, 10 p.Conference Paper

A Separation Logic for Refining Concurrent ObjectsTURON, Aaron; WAND, Mitchell.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 247-258, issn 1523-2867, 12 p.Conference Paper

ABI Compatibility Through a Customizable LanguageATKINSON, Kevin; FLATT, Matthew; LINDSTROM, Gary et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 147-156, issn 1523-2867, 10 p.Conference Paper

AC: Composable Asynchronous IO for Native LanguagesHARRIS, Tim; ABADI, Martin; ISAACS, Rebecca et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 903-919, issn 1523-2867, 17 p.Conference Paper

Active Pebbles: A Programming Model For Highly Parallel Fine-Grained Data-Driven ComputationsWILLCOCK, Jeremiah; HOEFLER, Torsten; EDMONDS, Nicholas et al.ACM SIGPLAN notices. 2011, Vol 46, Num 8, pp 305-306, issn 1523-2867, 2 p.Conference Paper

Adaptive Optimization in the Jalapeno JVMARNOLD, Matthew; FINK, Stephen; GROVET, David et al.ACM SIGPLAN notices. 2011, Vol 46, Num 4, pp 65-83, issn 1523-2867, 19 p.Conference Paper

Adding Genericity to a Plug-in FrameworkWOLFINGER, Reinhard; LÖBERBAUER, Markus; JAHN, Markus et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 93-102, issn 1523-2867, 10 p.Conference Paper

An Efficient Non-Moving Garbage Collector for Functional LanguagesUENO, Katsuhiro; OHORI, Atsushi; OTOMO, Toshiaki et al.ACM SIGPLAN notices. 2011, Vol 46, Num 9, pp 196-208, issn 1523-2867, 13 p.Conference Paper

An Equivalence-Preserving CPS Translation via Multi-Language SemanticsAHMED, Amal; BLUME, Matthias.ACM SIGPLAN notices. 2011, Vol 46, Num 9, pp 431-444, issn 1523-2867, 14 p.Conference Paper

Applications of Enhanced Dynamic Code Evolution for Java in GUI Development and Dynamic Aspect-Oriented ProgrammingWÜRTHINGER, Thomas; BINDER, Walter; ANSALONI, Danilo et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 123-126, issn 1523-2867, 4 p.Conference Paper

Automatic Fine-Grain Locking using Shape PropertiesGOLAN-GUETA, Guy; BRONSON, Nathan; AIKEN, Alex et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 225-241, issn 1523-2867, 17 p.Conference Paper

Benefits and Barriers of User Evaluation in Software Engineering ResearchBUSE, Raymond P. L; SADOWSKI, Caitlin; WEIMER, Westley et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 643-656, issn 1523-2867, 14 p.Conference Paper

Bisimulation for Quantum ProcessesYUAN FENG; RUNYAO DUAN; MINGSHENG YING et al.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 523-534, issn 1523-2867, 12 p.Conference Paper

Brainy: Effective Selection of Data StructuresJUNG, Changhee; RUS, Silvius; RAILING, Brian P et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 86-97, issn 1523-2867, 12 p.Conference Paper

Bringing Back Monad ComprehensionsGIORGIDZE, George; GRUST, Torsten; SCHWEINSBERG, Nils et al.ACM SIGPLAN notices. 2011, Vol 46, Num 12, pp 13-22, issn 1523-2867, 10 p.Conference Paper

COREMU: A Scalable and Portable Parallel Full-system EmulatorZHAOGUO WANG; RAN LIU; YUFEI CHEN et al.ACM SIGPLAN notices. 2011, Vol 46, Num 8, pp 213-222, issn 1523-2867, 10 p.Conference Paper

Calling Context Abstraction with ShapesRIVAL, Xavier; CHANG, Bor-Yuh Evan.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 173-186, issn 1523-2867, 14 p.Conference Paper

Cedalion: A Language for Language Oriented ProgrammingLORENZ, David H; ROSENAN, Boaz.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 733-752, issn 1523-2867, 20 p.Conference Paper

Characteristic Formulae for the Verification of Imperative ProgramsCHARGUERAUD, Arthur.ACM SIGPLAN notices. 2011, Vol 46, Num 9, pp 418-430, issn 1523-2867, 13 p.Conference Paper

Complexity of Pattern-based Verification for Multithreaded ProgramsESPARZA, Javier; GANTY, Pierre.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 499-510, issn 1523-2867, 12 p.Conference Paper

Composition of Dynamic Analysis AspectsTANTER, Eric; MORET, Philippe; BINDER, Walter et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 113-122, issn 1523-2867, 10 p.Conference Paper

ConSeq: Detecting Concurrency Bugs through Sequential ErrorsWEI ZHANG; JUNGHEE LIM; OLICHANDRAN, Ramya et al.ACM SIGPLAN notices. 2011, Vol 46, Num 3, pp 251-264, issn 1523-2867, 14 p.Conference Paper