Paper List Spring 2006

From PROLANGS Wiki

Jump to: navigation, search

Contents


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

OOPSLA'04

  • A. Birka,M. Ernst, "A Practical Type System and Language for Reference Immutability" (see OOPSLA'05 related paper)
  • M.Nanda, S. Chandra, V. Sarkar, "Decentrallizing Execution of Composite Web Services"
  • M. Factor, A. Schuster, K. Shagin, "Instrumentation of Standard libraries in object-oriented languages: the twin class hierarchy approach"

ICSE'06

  • J. Yang, D. Evans, D. Bhardwaj, T. Bhat and M. Das, "Terracotta: Mining Temporal API Rules From Imperfect Traces"
  • N. Gupta, H. He, X, Zhang, R, Gupta, "Locating Faulty Code Using Failure-Inducing Chops"

ICSE'05

  • *J. H. Andrews, L. C. Briand, Y. Labich, "Is mutation an appropriate tool for testing experiments?"
  • *D. Leon, W. Masri, A. Podgurski, "An empirical evaluation of test case filtering techniques based on exercising complex information flows "
  • *N. Nagappan, T. Ball, "Static analysis tools as early indicators of pre-release defect density "
  • A. Fox, "Addressing software dependability with statistical and machine learning techniques"
  • J. Misurda, J. Clause, J. Reed, B. Childers, M-L Soffa, "Demand-driven structural testing with dynamic instrumentation",
  • D. Avots, M. Dalton, V. B. Livshits, M.Lam, "Improving software security with a C pointer analysis",
  • H. Cleve, A. Zeller, "Locating causes of program failures "

POPL'05

  • S. Lerner, T. Millstein, E. Rice, C. Chambers, "Automated soundness proofs for dataflow analyses and transformations via local rules "
  • S. Gulwani, G. Necula, "Precise interprocedural analysis using random interpretation "

FSE'05

  • "Context- and path-sensitive memory leak detection", Yichen Xie, Alex Aiken, FSE05, 115 - 125.
  • *"Performance data collection using a hybrid approach", Edu Metz, Raimondas Lencevicius, Teofilo F. Gonzalez, FSE05, 126 - 135. (about combining sampling and non-sampling dynamic analyses)
  • *"Summarizing application performance from a components perspective", Kavitha Srinivas, Harini Srinivasan, FSE05, 136 - 145. (about characterizing performance of framework-based systems)
  • "Matching execution histories of program versions", Xiangyu Zhang, Rajiv Gupta, FSE05, 197 - 20
  • "SOBER: statistical model-based bug localization", Chao Liu, Xifeng Yan, Long Fei, Jiawei Han, Samuel P. Midkiff, FSE05, 286 - 295. (seems related to Gupta paper)
  • "CUTE: a concolic unit testing engine for C", Koushik Sen, Darko Marinov, Gul Agha, FSE05, 263 - 272.
  • "DynaMine: finding common error patterns by mining software revision histories", Benjamin Livshits, Thomas Zimmermann, FSE05, 296 - 305.

PLDI'05

  • "Path slicing", Ranjit Jhala, Rupak Majumdar, PLDI'05, 38 - 4 (seems to be related to DataReach)
  • "DART: directed automated random testing", Patrice Godefroid, Nils Klarlund, Koushik Sen, PLDI'05, 213 - 223

PLDI'04

  • "Inducing heuristics to decide whether to schedule", John Cavazos, J. Eliot B. Moss, 183 - 194

ASE'05

  • *"Locating faulty code using failure-inducing chops", Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gupta, ASE05, 263 - 272; (will be background for an ICSE06 paper)
  • *"Empirical evaluation of the tarantula automatic fault-localization technique", James A. Jones, Mary Jean Harrold, ASE05, 273 - 282
  • "Automating experimentation on distributed testbeds", Yanyan Wang, Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf, ASE05, 164 - 173.
  • "Automatic test factoring for java", David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst, ASE05, 114 - 123

OOPSLA'05

  • "Scalable component abstractions", Martin Odersky, Matthias Zenger, OOPSLA05, 41 - 57
  • "Demand-driven points-to analysis for Java", Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodik, OOPSLA'05, 59 - 76
  • *"Micro patterns in Java code", Joseph (Yossi) Gil, Itay Maman, OOPSLA'05, 97 - 116
  • *"Javari: adding reference immutability to Java", Matthew S. Tschantz, Michael D. Ernst, OOPSLA05, 211 - 230 (related to his OOPSLA04 paper)
  • *"Improving virtual machine performance using a cross-run profile repository", Matthew Arnold, Adam Welc, V. T. Rajan, OOPSLA05, 297 - 311 (may cover in 516)
  • "Relational queries over program traces", Simon Goldsmith, Robert O'Callahan, Alex Aiken, OOPSLA05, 385 - 402

ICSM05

  • TBA

ECOOP'05

  • *"Interprocedural Analysis for Priviledged Code Placement and Tainted Variable Detection", M Pisoia, R. Flynn, L. Koved, V.C. Sreedhar, ECOOP05, 362-386. (may do in 516) "Eclat: Automatic generation and Classifiction of Test Inputs", C. Pacheco, M. Ernst, ECOOP05, 504-427.
  • "Lightweight Defect Localization for Java", V. Dallmeier, C. Lindig, Andreas Zeller, ECOOP05, 528-550.
  • *"The Emergent Structure of Development Tasks", G. Murphy, M. Kersten, M. Robillard, D. Cubranic, ECOOP05, 33-48.

Recent Journal Articles

TOPLAS

  • "A systematic approach to static access control" Francois Pottier, Christian Skalka, Scott Smith, ACM TOPLAS Mar 2005, 344 - 382
  • "Resource aware programming", Luc Moreau, Christian Queinnec Pages: 441 - 476, ACM TOPLAS, May 2005.
  • "A practical and fast iterative algorithm for Phi-function computation using DJ graphs", Dibyendu Das, U. Ramakrishna, ACM TOPLAS, May 2005, 426 - 440 (may do in 516)
  • *"Dynamic Software Updating" M. Hicks, S. Nettles, ACM TOPLAS, Nov 2005, 1049-1096.

Recent Workshop Papers

WODA'05

  • TBA
Retrieved from "http://www.prolangs.rutgers.edu/wiki/index.php/Paper_List_Spring_2006"
Personal tools