NDLI: Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)

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

Checking race freedom via linear programming

Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance

Automatic volume management for programmable microfluidics

Iterative optimization in the polyhedral model: part ii, multidimensional time

Deriving linearizable fine-grained concurrent objects

Liquid types

Quantitative information flow as network flow capacity

Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Discovering properties about arrays in simple programs

Race directed random testing of concurrent programs

A study of concurrent real-time garbage collectors

Foundations of the C++ concurrency memory model

A practical automatic polyhedral parallelizer and locality optimizer

Sketching concurrent data structures

Certifying low-level programs with hardware interrupts and preemptive threads

Grammar-based whitebox fuzzing

Copy coalescing by graph recoloring

Explaining failures of program analyses

Inferring locks for atomic sections

Full functional verification of linked data structures

Conditional correlation analysis for safe region-based memory management

Expressive and safe static reflection with MorphJ

Orchestrating the execution of stream programs on multicore platforms

SharC: checking data sharing strategies for multithreaded c

Type-preserving compilation for large-scale optimizing object-oriented compilers

Efficient program execution indexing

Sound, complete and scalable path-sensitive analysis

Dataflow analysis for concurrent programs using datarace detection

Fair stateless model checking

Program analysis as constraint solving

XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination

Model checking transactional memories

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

Content Provider	ACM Digital Library
Editor	Amarasinghe, Saman Gupta, Rajiv
Copyright Year	2008
Abstract	The Program Committee and I are pleased to present the proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation. This volume contains 34 papers selected out of 184 submissions. We believe this volume demonstrates that our field is vibrant, influential and expanding. We hope you find these papers innovative, informative, and exciting. In consultation with the program committee, I also selected two additional external reviewers. All together 837 reviews were collected from the PC and 371 external reviewers. In order to maintain the quality of this premier conference, it is important to get detailed and thoughtful reviews from the experts in the community. While arranging all these reviews was a nightmare, I am extremely appreciative of all of you who took on the review task and provided the PC with many important insights. Your reviews made a big difference and were influential in most decisions during the PC meeting. We used a double-blind review process to reduce the reviewer bias against authors or institutions. However, we recognized that when authors build upon their previous work, double blind reviews can leave the reviewer without sufficient information to do a credible review. Thus, we asked the authors to submit a separate list of URLs for their own related work and indicate in the submission that the citations were available from the PC chair. In the instructions to the reviewers, I asked them to do a first read and then contact me if they felt the need to look at the omitted material. About 10 reviewers requested this information. Another issue that came up during the process was double submission. On more than one occasion we found that the same or a similar paper was submitted to a different conference with an overlapping review period. In all these cases, in accordance with the SIGPLAN policy, we informed the other PC chair and summarily rejected the paper. One exception was the co-located International Symposium on Memory Management (ISMM), whose review period overlapped with PLDI. After a long discussion, we allowed co submission to both PLDI and ISMM with the explicit rule that if the paper is accepted to PLDI it will be automatically rejected from ISMM. We also required the authors to inform both PC chairs that they were also submitting to the other conference. At the end of the review period, the authors were given three days to provide a short rebuttal. Then the program committee met in Cambridge, Massachusetts on January 25th and 26th and after much discussion and debate selected this program. We hope you enjoy the program and the presentations. We are also recording the presentations and are planning to make them available to the community via YouTube.
ISBN	9781595938602
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2008-06-07
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 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)

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 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08)