NDLI: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11)

Please wait, while we are loading the content...

Commutative set: a language extension for implicit parallel programming

Data representation synthesis

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Caisson: a hardware description language for secure information flow

Automatic CPU-GPU communication management and optimization

Understanding POWER multiprocessors

Probabilistic, modular and scalable inference of typestate specifications

Toward generating reducible replay logs

Finding and understanding bugs in C compilers

Spreadsheet table transformations from examples

A security policy oracle: detecting security holes using multiple API implementations

Isolating and understanding concurrency errors using reconstructed execution fragments

Garbage collection for monitoring parametric properties

Cause clue clauses: error localization using maximum satisfiability

Kremlin: rethinking and rebooting gprof for the multicore age

Path-based inductive synthesis for program inversion

Verification of semantic commutativity conditions and inverse operations on linked data structures

Precise and compact modular procedure summaries for heap manipulating programs

Taming the wildcards: combining definition- and use-site variance

Composable asynchronous events

The tao of parallelism in algorithms

Synthesizing geometry constructions

Brainy: effective selection of data structures

Steno: automatic optimization of declarative queries

Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors

Partial-coherence abstractions for relaxed memory models

Predicate abstraction and CEGAR for higher-order model checking

Higher-order test generation

Evaluating value-graph translation validation for LLVM

Systematic editing: generating program transformations from an example

Language-independent sandboxing of just-in-time compilation and self-modifying code

Automated atomicity-violation fixing

LL(*): the foundation of the ANTLR parser generator

kb-anonymity: a model for anonymized behaviour-preserving test and debugging data

Automatic parallelization via matrix multiplication

Directed incremental symbolic execution

Exploiting the commutativity lattice

On inter-procedural analysis of programs with lists and data

Taming wildcards in Java's type system

Synchronization via scheduling: techniques for efficiently managing shared state

Parallelism orchestration using DoPE: the degree of parallelism executive

Synthesis of loop-free programs

An SSA-based algorithm for optimal speculative code motion under an execution profile

Languages as libraries

EnerJ: approximate data types for safe and general low-power computation

A case for an SC-preserving compiler

Mostly-automated verification of low-level programs in computational separation logic

LeakChaser: helping programmers narrow down causes of memory leaks

Safe optimisations for shared-memory concurrent programs

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

ALTER: exploiting breakable dependences for parallelization

Mining hot calling contexts in small space

Separation logic + superposition calculus = heap theorem prover

Scaling abstraction refinement via pruning

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11)

Content Provider	ACM Digital Library
Editor	Larus, James Solar-Lezama, Armando Livshits, Ben Kulkarni, Milind Palsberg, Jens Tip, Frank Rosu, Grigore Diwan, Amer Jagannathan, Suresh Gross, Thomas Padua, David Adve, Vikram Zorn, Ben Fisher, Kathleen Strout, Michelle Mills Burke, Michael Vitek, Jan Cavazos, John Hind, Michael Franz, Michael Hall, Mary Pingali, Keshav
Copyright Year	2011
Abstract	Together with the program committee, it is our great pleasure to welcome you to the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation -- PLDI'11. This year's conference continues its tradition of being the premier forum for the exchange of ideas on programming languages and their implementations. This year's conference exhibits the growth of importance of programming language research and practice. We received a record 236 submissions, almost 15% more than last year's previous record. The program committee accepted a record 55 papers, and as a consequence, PLDI'11 will for the first-time have a dual-track program. These 55 papers were selected after a careful evaluation which involved almost 1000 reviews. Most of these reviews (62%) came from the 31 member Program Committee (PC). The fifty-five member External Review Committee (ERC) contributed with most of the other evaluations. One hundred twelve other reviewers also participated in the evaluation process helping with their expertise in some highly specialized areas. Papers submitted by Program Committee members were evaluated by the External Review Committee and the decision on these papers was made by consensus. The acceptance rate for PC papers was the same as the overall acceptance rate. Authors were given the opportunity to comment on the first evaluations during the January 15-19 rebuttal period. The identity of the authors was withheld from the reviewers until the evaluations from the PC and ERC were submitted. Unveiling the identity of the authors facilitated the rebuttal process and gave reviewers access to information on impact and research history that would nothave been available otherwise. The Program Committee met on January 29 and 30 in Chicago and made the final decision on each of the submissions except for those authored by PC members. Thanks to the introduction of the dual track schedule which removed constraints in the number of slots, acceptance was based exclusively on the quality of the submissions. No paper was rejected due to lack of space. In addition to the papers, PLDI'11 also includes several other key program components. New this year is a panel on education organized by Laurie Hendren, in light of the broadening of computer science curricula and the simultaneous broadening reach of programming language research. We also continue two traditions of recent PLDI conferences, a Fun and Interesting Thoughts session for discussing new ideas, and an ACM Student Research Competition. Prior to the conference, a program of five workshops and six tutorials informed our attendees on diverse topics ranging from parallel computing, memory systems, program analysis, security, experimental evaluation and adaptive self tuning.
ISBN	9781450306638
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-06-04
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (PLDI '96)

Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (PLDI '90)

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (PLDI '98)

Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)

Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (PLDI '91)

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI '05)

Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation (PLDI '88)

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '16)

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11)

Similar Documents

Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation (PLDI '96)

Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation (PLDI '90)

Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation (PLDI '98)

Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06)

Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation (PLDI '91)

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI '05)

Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation (PLDI '88)

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '16)

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '11)