List of papers
From PROLANGS Wiki
Contents |
List of Papers
(Recommended papers are shown with a "*" in front)
ECOOP_2005
- Pacheco, Ernst, "Eclat: Automatic Generation and Classification of Test Inputs"
FSE_2005
- Martin P. Robillard, "Automatic Generation of Suggestions for Program Investigation", (disting paper)
- Xiangyu Zhang, Rajiv Gupta, "Matching Execution Histories of Program Versions"
- J. Sliwerski, Thomas Zimmermann, Andreas Zeller, "HATARI: Raising Risk Awareness"
ICSE_2006
- * Briand et al, "Automated contract-based user testing of COTS components"
- Heine and Lam, "Static Detection of Leaks in Polymophic Containers"
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"
- * Gupta et al, "Pruning Slices with Confidence"
- * 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"
- 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"
ASE_2006
- *Kim, ZImmermann, Pan, Whitehead, "Automatic Identificaiotn of Bug-introducing Changes"
FSE_2006
- * C. Liu & J. Han (U Ill) "Failure proximity: a fault-localization based approach" (related to SOBER paper at FSE05)
- Matthew Dwyer, Suzette Person, and Sebastian Elbaum, "Controlling Factors in Evaluating Path-Sensitive Error Detection Techniques", (best paper)
- Bhargav Gulavani, IIT Bombay, Thomas Henzinger, E P F L, Yamini Kannan, Aditya Nori, and Sriram Rajamani, Microsoft Research India,"SYNERGY: A New Algorithm for Property Checking", (best paper)
- J. Whitehead et al, "Memories of Bug Fixes", (best paper)
OOPSLA_2006
- Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere, Ghent University, "JAVANA: A System for Building Customized Java Program Analysis Tools"
- * Stephen M Blackburn et al, "The DaCapo Benchmarks: Java Benchmarking Development and Analysis"
- Gareth Baxter et al, "Understanding the Shape of Java Software"
- Douglas Gregor, Jaakko Jarvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine, "Concepts: First-Class Language Support for Generic Programming in C++"
ICSE_2007
- E. Duala-Ekoko, M. Robillard, "Tracking Code Clones in Evolving Software",(best paper)
- Z. Wang, S. Elbaum, D. Rosenblum, "Automated Generation of Context-Aware Tests"
- R. Majumdar, K. Sen, "Hybrid Concolic Testing"
- M. Pistoia, S. Fink, R. Flynn, E. Yahav, "When Role Models Have Flaws: Static Validation of Enterprise Security Policies"
WODA_2007
- Mitchell, Sevitsky, Kumanan, Schonberg, "Data Structure Health" (invited talk?)
PLDI_2007
- Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards and Brad Calder, "Automatically Classifying Benign and Harmful Data Races Using Replay Analysis"
- Gary Wassermann and Zhendong Su, "Sound and Precise Analysis of Web Applications for Injection Vulnerabilities"
- Chris Lattner, Andrew Lenharth and Vikram Adve, "Making Context-sensitive Points-to Analysis with Heap Cloning Practical For The Real World"
- * Ben Hardekopf and Calvin Lin, "The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code" (best paper)
PASTE_2007
- Ana Milanova, "Light Context-Sensitive Points-to Analysis for Java"
- Ondrej Lhotak, "Comparing Call Graphs"
- * Ruben Brown, Roger Khazan and Micheal Zhivich , " AWE: Improving Software Analysis through Modular Integration of Static and Dynamic Analyses"
ISSTA_2007
- Arumuga Nainar, Chen, Rosin, and Liblit, "Statistical Debugging Using Compound Boolean Predicates"
- Jones, Bowring, and Harrold, "Debugging in Parallel" (related work to JUnit/CIA)
- Harman and McMinn "A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation" (search based testing)
- Ciupa, Leitner, Oriol, and Meyer, "Experimental Assessment of Random Testing for Object-Oriented Software"
- * Chang, Podgurski, and Yang, "Finding What's Not There: A New Approach to Revealing Neglected Conditions in Software" (distinguished paper)
- Shoham, Yahav, Fink, and Pistoia, "Static Specification Mining Using Automata-Based Abstractions" (distinguished paper)
- Wang and Roychoudhury, "Hierarchical Dynamic Slicing"
- *Tomb, Brat, Visser, "Variably Interprocedural Program Analysis for Runtime Error Detection"
OOPSLA_2007
- Bond, McKinley et al, "Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors" (Invited talk?)
- Foster and Ma, "Inferring Aliasing and Encapsulation Properties for Java"
- Pothier et al, "Scalable Omniscient Debugging"
- Andy Georges, et al "Statistically Rigorous Java Performance Evaluation"
Intl Conf on Tests and Proofs
(a new meeting, Feb 2007)
- *Smaragdakis, Csallner, "Combining Static and Dynamic Reasoning for Bug Detection"
