NDLI: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE '07)

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

Evaluating static analysis defect warnings on production software

Finding more null pointer bugs, but not too many

Introducing natural language program analysis

Interstatement must aliases for data dependence analysis of heap locations

Light context-sensitive points-to analysis for java

Heap analysis in the presence of collection libraries

Comparing call graphs

An overview of the saturn project

Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task

Discovering accurate interclass test dependences

Refining buffer overflow detection via demand-driven path-sensitive analysis

AWE: improving software analysis through modular integration of static and dynamic analyses

Dynamic purity analysis for java programs

Improving software quality with static analysis

Enforcing and validating user-defined programming disciplines

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE '07)

Content Provider	ACM Digital Library
Editor	Das, Manuvir Grossman, Dan
Copyright Year	2007
Abstract	This volume contains the papers presented at the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. This edition of PASTE is co-located with PLDI, which in turn is part of FCRC 2007, held in San Diego, CA in June 2007. As in previous years, the goal of PASTE remains to bring together researchers and practitioners of program analysis techniques, with a particular eye on the application of these techniques to software engineering tasks. We received 35 submissions from around the world, of which we accepted 11. We rejected 2 papers that were well beyond the prescribed page limit; each remaining paper was reviewed by 3 PC members. In some cases we solicited additional reviews from independent experts. In particular, we would like to thank Jeffrey Foster, Ondrej Lhotak, Koushik Sen, Tim Sherwood, and Clark Verbrugge. We thank the PC for their diligence with the review process. This year, we chose to solicit proposals for one-hour research-group presentations in lieu of invited talks. Each presentation includes an overview of a research direction followed by a few short presentations on particular aspects of the work. We received 4 strong submissions, and the PC chose to accept all 4. We believe this format achieves many goals including fostering a workshop atmosphere aligned with the interests of the community, providing agenda-oriented talks typically seen only with invited speakers, and giving students an opportunity to present work as part of a larger research program. We thank the presenters for embracing this new format, and we look forward to their presentations at the workshop.
ISBN	9781595935953
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-06-13
Access Restriction	Subscribed
Content Type	Text
Resource Type	Conference Proceedings

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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