16. SIGSOFT FSE 2008: Atlanta, Georgia, USA

Keynote

• Carliss Baldwin:
  A design-centric view of the economy: abstract. 1
  Electronic Edition (ACM DL) BibTeX

Social structures

• Martin Pinzger, Nachiappan Nagappan, Brendan Murphy:
  Can developer-module networks predict failures? 2-12
  Electronic Edition (ACM DL) BibTeX
• Andrew Meneely, Laurie Williams, Will Snipes, Jason Osborne:
  Predicting failures with developer networks and social network analysis. 13-23
  Electronic Edition (ACM DL) BibTeX
• Christian Bird, David S. Pattison, Raissa M. D'Souza, Vladimir Filkov, Premkumar T. Devanbu:
  Latent social structure in open source projects. 24-35
  Electronic Edition (ACM DL) BibTeX

Program analysis

• Eric Bodden, Patrick Lam, Laurie J. Hendren:
  Finding programming errors earlier by evaluating runtime monitors ahead-of-time. 36-47
  Electronic Edition (ACM DL) BibTeX
• Lingxiao Jiang, Zhendong Su:
  Profile-guided program simplification for effective testing and analysis. 48-58
  Electronic Edition (ACM DL) BibTeX
• Bruno Dufour, Barbara G. Ryder, Gary Sevitsky:
  A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. 59-70
  Electronic Edition (ACM DL) BibTeX

Testing

• Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, Gregg Rothermel:
  An empirical study of the effect of time constraints on the cost-benefits of regression testing. 71-82
  Electronic Edition (ACM DL) BibTeX
• Zhiqiang Lin, Xiangyu Zhang:
  Deriving input syntactic structure from execution. 83-93
  Electronic Edition (ACM DL) BibTeX
• Zhifeng Lai, Shing-Chi Cheung, Wing Kwon Chan:
  Inter-context control-flow and data-flow test adequacy criteria for nesC applications. 94-104
  Electronic Edition (ACM DL) BibTeX

Programming experiments and aids

• Jeffrey Stylos, Brad A. Myers:
  The implications of method placement on API learnability. 105-112
  Electronic Edition (ACM DL) BibTeX
• Anita Sarma, David F. Redmiles, André van der Hoek:
  Empirical evidence of the benefits of workspace awareness in software configuration management. 113-123
  Electronic Edition (ACM DL) BibTeX
• Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee:
  Using assertions to help end-user programmers create dependable web macros. 124-134
  Electronic Edition (ACM DL) BibTeX

Concurrency and transformation

• Chang-Seo Park, Koushik Sen:
  Randomized active atomicity violation detection in concurrent programs. 135-145
  Electronic Edition (ACM DL) BibTeX
• Christopher Dragert, Jürgen Dingel, Karen Rudie:
  Generation of concurrency control code using discrete-event systems theory. 146-157
  Electronic Edition (ACM DL) BibTeX
• Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo:
  Alchemy: transmuting base alloy specifications into implementations. 158-169
  Electronic Edition (ACM DL) BibTeX

Web services

• Franco Raimondi, James Skene, Wolfgang Emmerich:
  Efficient online monitoring of web-service SLAs. 170-180
  Electronic Edition (ACM DL) BibTeX
• William G. J. Halfond, Alessandro Orso:
  Automated identification of parameter mismatches in web applications. 181-191
  Electronic Edition (ACM DL) BibTeX
• Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan:
  Modular verification of web services using efficient symbolic encoding and summarization. 192-202
  Electronic Edition (ACM DL) BibTeX

Tools and methods

• Barthélémy Dagenais, Harold Ossher:
  Automatically locating framework extension examples. 203-213
  Electronic Edition (ACM DL) BibTeX
• Rylan Cottrell, Robert J. Walker, Jörg Denzinger:
  Semi-automating small-scale source code reuse via structural correspondence. 214-225
  Electronic Edition (ACM DL) BibTeX
• Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu:
  Differential symbolic execution. 226-237
  Electronic Edition (ACM DL) BibTeX

ACM SIGSOFT outstanding research award

• Axel van Lamsweerde:
  Requirements engineering: from craft to discipline. 238-249
  Electronic Edition (ACM DL) BibTeX

Security and fault detection

• Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
  Effective blame for information-flow violations. 250-260
  Electronic Edition (ACM DL) BibTeX
• Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum:
  Model-based fault detection in context-aware adaptive applications. 261-271
  Electronic Edition (ACM DL) BibTeX
• Wei Le, Mary Lou Soffa:
  Marple: a demand-driven path-sensitive buffer overflow detector. 272-282
  Electronic Edition (ACM DL) BibTeX

Keynote

• Gautam Shroff:
  Dev 2.0: model driven development in the cloud. 283
  Electronic Edition (ACM DL) BibTeX

ACM SIGSOFT impact award

• David S. Rosenblum, Alexander L. Wolf:
  ACM SIGSOFT impact paper award: reflections and prospects. 284
  Electronic Edition (ACM DL) BibTeX

Requirements

• Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Sebastián Uchitel, Pamela Zave:
  Towards compositional synthesis of evolving systems. 285-296
  Electronic Edition (ACM DL) BibTeX
• Dario Fischbein, Sebastián Uchitel:
  On correct and complete strong merging of partial behaviour models. 297-307
  Electronic Edition (ACM DL) BibTeX

Process

• Nicolas Bettenburg, Sascha Just, Adrian Schröter, Cathrin Weiss, Rahul Premraj, Thomas Zimmermann:
  What makes a good bug report? 308-318
  Electronic Edition (ACM DL) BibTeX
• Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery Boose, Julian L. Hadley:
  Experience in using a process language to define scientific workflow and generate dataset provenance. 319-329
  Electronic Edition (ACM DL) BibTeX
• Yigit Kultur, Burak Turhan, Ayse Basar Bener:
  ENNA: software effort estimation using ensemble of neural networks with associative memory. 330-338
  Electronic Edition (ACM DL) BibTeX

Mining and restructuring

• Mark Gabel, Zhendong Su:
  Javert: fully automatic mining of general temporal properties from dynamic traces. 339-349
  Electronic Edition (ACM DL) BibTeX
• V. Benjamin Livshits, Emre Kiciman:
  Doloto: code splitting for network-bound web 2.0 applications. 350-360
  Electronic Edition (ACM DL) BibTeX