Paper List Fall 2006

From PROLANGS Wiki

Contents 1 Recent Conference Papers 1.1 ICSE 2006 1.2 PLDI 2006 1.3 ISSTA 2006 1.4 LCTES 2006 2 Recent Journal Papers

Note: For more papers see the Spring 2006 paper list.

Note: Papers deemed of greater interest are marked with a "*".

Send an email to Bruno Dufour if you are interested in presenting one of these papers or to request additional papers.

Recent Conference Papers

ICSE 2006

• Bendry, et. al, "Improving test suites for efficient fault localization"
• * Briand et al, "Automated contract-based user testing of COTS components"
• * Hackett, "Modular Checking of Buffer Overflows in the large"
• Heine and Lam, "Static Detection of Leaks in Polymophic Containers"
• * Murphy et al, "Who should fix this bug?"

PLDI 2006

• M. Hicks et al, "Practical Dynamic SW Updating for C"
• * S. Midkiff et al, "Artemis: Practical Runtime Monitoring of Applications for Errors"
• Acer, "An Experimental Analysis of Self-adjusting Computation"
• * E. Berger and B.Zorn, "Die hard: probabilistic memory safety for unsafe languages"
• * Gupta et al, "Pruning Slices with Confidence"
• Choi et al, "Accurate, Efficient and Adaptive Calling Context Profiling"
• * Arnold et al, "Onine Performance Auditing: using hot optimizations without getting burned"
• * Sridharan, Bodik, "Refinement-based context-sensitive points-to analysis for Java"
• * Guyer et al, "FreeMe: A static analysis for automatic individual object reclamation"
• * Naik et al, "Effective Static Race Detection for Java"
• Harris et al, "Optimizing memory transactions"
• Dhurati et al, "SAFECode: Enforcing alias analysis for weakly-typed languages"
• Berger, Zorn, "Probabilistic memory safety for unsafe languages"
• Bridges et al, "Automatic instruction scheduler retargeting by reverse-engineering"

ISSTA 2006

• * W. Visser et al, "Test Input Generation for Java Containers Using State Matching"
• * Rothermel et al, "Experimental program analysis: a new analysis paradigm"
• * Weyuker and Ostrand, "Looking for bugs in all the right places"
• * Pistoia et al, "Role-based Access Control Consistency Validation"
• * Fink et al, "Effective Type-state Verification in the Presence of Aliasing"
• Ball, Sagiv, Yorsh, "Testing, Abstraction, Theorem Proving: Better Together"
• M. Boshernitsan, R. Doong and A. Alberto Savoia, "From Daikon to Agitator: Lessons and Challenges in Building a Commercial Tool For Developer Testing"

LCTES 2006

• Regehr, Duongsaa, Cooprider, “Deriving abstract transfer functions for analyzing embedded software” and “Pluggable abstract domains for analyzing embedded software”
• Kulkarni, Whalley, Tyson, "In search of near-optimal optimization phase orderings"

Recent Journal Papers