18. SIGSOFT FSE 2010: Santa Fe, NM, USA

Gruia-Catalin Roman, Kevin J. Sullivan (Eds.): Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM 2010, ISBN 978-1-60558-791-2

Karissa Y. Sanbonmatsu:
Supercomputing in biology: towards understanding living systems in atomic detail. 1-2
Nathan Eagle:
Big data, global development, and complex social systems. 3-4
Ralph E. Johnson:
Avoiding the classic catastrophic computer science failure mode: 2010 acm sigsoft outstanding research award talk. 5-6

Distributed systems

Ahmed M. Elkhodary, Naeem Esfahani, Sam Malek:
FUSION: a framework for engineering self-tuning self-adaptive software systems. 7-16
Charles Edwin Killian, Karthik Nagaraj, Salman Pervez, Ryan Braud, James W. Anderson, Ranjit Jhala:
Finding latent performance bugs in systems implementations. 17-26
Sylvain Hallé, Tevfik Bultan:
Realizability analysis for message-based interactions using shared-state projections. 27-36

Concurrency

Francesco Sorrentino, Azadeh Farzan, P. Madhusudan:
PENELOPE: weaving threads to expose atomicity violations. 37-46
Nishant Sinha, Chao Wang:
Staged concurrent program analysis. 47-56
Nicholas Jalbert, Koushik Sen:
A trace simplification technique for effective debugging of concurrent programs. 57-66

Miscellaneous

Cemal Yilmaz, Adam A. Porter:
Combining hardware and software instrumentation to classify program executions. 67-76
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
Synthesis of live behaviour models. 77-86
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu Sun:
Locating need-to-translate constant strings in web applications. 87-96

Empirical studies of systems

Adrian Bachmann, Christian Bird, Foyzur Rahman, Premkumar T. Devanbu, Abraham Bernstein:
The missing links: bugs and bug-fix commits. 97-106
Narayan Ramasubbu, Rajesh Krishna Balan:
Evolution of a bluetooth test application product line: a case study. 107-116

Empirical studies of people

Audris Mockus:
Organizational volatility and its effects on software defects. 117-126
Barthélémy Dagenais, Martin P. Robillard:
Creating and evolving developer documentation: understanding the decisions of open source contributors. 127-136
Minghui Zhou, Audris Mockus:
Developer fluency: achieving true mastery in software projects. 137-146

Code similarities

Mark Gabel, Zhendong Su:
A study of the uniqueness of source code. 147-156
Sushil Krishna Bajracharya, Joel Ossher, Cristina Videira Lopes:
Leveraging usage similarity for effective retrieval of examples in code repositories. 157-166
Mu-Woong Lee, Jong-Won Roh, Seung-won Hwang, Sunghun Kim:
Instant code clone search. 167-176

Verification

Ansuman Banerjee, Abhik Roychoudhury, Johannes A. Harlie, Zhenkai Liang:
Golden implementation driven software debugging. 177-186
Guodong Li, Ganesh Gopalakrishnan:
Scalable SMT-based verification of GPU kernel functions. 187-196

Replay

Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang:
Language-based replay via data flow cut. 197-206
Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 207-216
William N. Sumner, Xiangyu Zhang:
Memory indexing: canonicalizing addresses across executions. 217-226

Web services

Ilenia Epifani, Carlo Ghezzi, Giordano Tamburrelli:
Change-point detection for black-box services. 227-236
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
Automatic workarounds for web applications. 237-246
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik:
Guided recovery for web service applications. 247-256

Testing

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen:
Directed test suite augmentation: techniques and tradeoffs. 257-266
Hadi Hemmati, Lionel C. Briand, Andrea Arcuri, Shaukat Ali:
An enhanced test case selection approach for model-based testing: an industrial case study. 267-276
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam:
Representation dependence testing using program inversion. 277-286

Dependencies

Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv:
Field-sensitive program dependence analysis. 287-296
Bradley Cossette, Robert J. Walker:
DSketch: lightweight, adaptable dependency analysis. 297-306
Wei Le, Mary Lou Soffa:
Path-based fault correlations. 307-316

Analysis

Lian Li, Cristina Cifuentes, Nathan Keynes:
Practical and effective symbolic analysis for buffer overflow detection. 317-326
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay:
An effective dynamic analysis for detecting generalized deadlocks. 327-336

Doctoral symposium

Eya Ben Charrada:
Updating requirements from tests during maintenance and evolution. 337-340
Ivo Krka:
From requirements to partial behavior models: an iterative approach to incremental specification refinement. 341-344
Ahmed M. Elkhodary:
A learning-based approach for engineering feature-oriented self-adaptive software systems. 345-348
Hesham Shokry:
Towards behavior elaboration and synthesis using modes. 349-352
Omar Bahy Badreddin, Timothy C. Lethbridge:
A study of applying a research prototype tool in industrial practice. 353-356
Konstantin Rubinov:
Generating integration test cases automatically. 357-360

Formal demonstrations

Wei Jin, Alessandro Orso, Tao Xie:
BERT: a tool for behavioral regression testing. 361-362
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. 363-364
Yang Liu, Jun Sun, Jin Song Dong:
Analyzing hierarchical complex real-time systems. 365-366
Del Myers, Margaret-Anne D. Storey:
Using dynamic analysis to create trace-focused user interfaces for IDEs. 367-368
Christian Bird, Adrian Bachmann, Foyzur Rahman, Abraham Bernstein:
LINKSTER: enabling efficient manual inspection and annotation of mined data. 369-370
Miryung Kim, Matthew Gee, Alex Loh, Napol Rachatasumrit:
Ref-Finder: a refactoring reconstruction tool based on logic query templates. 371-372

Informal demonstrations

Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Phantm: PHP analyzer for type mismatch. 373-374
Michael D. Ernst, Mahmood Ali:
Building and using pluggable type systems. 375-376
Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon:
RT-simex: retro-analysis of execution traces. 377-378
Marc Fisher II, Luke Marrs, Barbara G. Ryder:
HI-C: diagnosing object churn in framework-based applications. 379-380
Andrew Begel, Yit Phang Khoo, Thomas Zimmermann:
WhoselsThat: finding software engineers with codebook. 381-382
Kristina Winbladh, Hadar Ziv, Debra J. Richardson:
iMuse: interactive model-based use-case and storytelling environment. 383-384
Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. 385-386

Last update Fri May 25 08:39:14 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page