Powered by
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014),
November 16–21, 2014,
Hong Kong, China
Frontmatter
Keynote
Award Talks
Perspectives from Industry
Thu, Nov 20, 15:30 - 17:00, Auditorium (Chair: Wolfgang Emmerich)
Technical Research
Helping and Understanding Developers
Tue, Nov 18, 10:40 - 12:20, Auditorium (Chair: Martin Robillard)
Debugging and Refactoring
Tue, Nov 18, 10:40 - 12:20, Hall 4-7 (Chair: Satish Chandra)
Static Analysis
Tue, Nov 18, 13:30 - 15:10, Auditorium (Chair: Jianjun Zhao)
Mining Software Repositories
Tue, Nov 18, 13:30 - 15:10, Hall 4-7 (Chair: Thomas Zimmermann)
Formal Methods and Verification
Tue, Nov 18, 15:30 - 17:10, Auditorium (Chair: Tevfik Bultan)
Regression Testing
Tue, Nov 18, 15:30 - 17:10, Hall 4-7 (Chair: Willem Visser)
Improving Recommender Systems
Wed, Nov 19, 10:40 - 12:20, Auditorium (Chair: Nenad Medvidovic)
Concurrency and Parallelism
Wed, Nov 19, 10:40 - 12:20, Hall 4-7 (Chair: Sarfraz Khurshid)
Self Adaptation and Repair / Program Analysis Applications
Wed, Nov 19, 13:30 - 15:10, Auditorium (Chair: Sebastian Uchitel)
Symbolic Execution
Wed, Nov 19, 13:30 - 15:10, Hall 4-7 (Chair: Charles Zhang)
Statistical Symbolic Execution with Informed Sampling
Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys
(University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)
Software Documentation
Wed, Nov 19, 15:30 - 16:45, Auditorium (Chair: Jane Cleland-Huang)
Web Apps
Wed, Nov 19, 15:30 - 16:45, Hall 4-7 (Chair: Luciano Baresi)
Architecture and Design
Thu, Nov 20, 10:40 - 12:20, Auditorium (Chair: James Herbsleb)
Mobile Apps
Thu, Nov 20, 10:40 - 12:20, Hall 4-7 (Chair: Antonio Carzaniga)
Testing and Oracles
Thu, Nov 20, 13:30 - 15:10, Auditorium (Chair: Prem Devanbu)
Evolution and Maintenance
Thu, Nov 20, 13:30 - 15:10, Hall 4-7 (Chair: Massimiliano Di Penta)
Tool Demonstrations
Tue, Nov 18, 17:15 - 18:00, Auditorium
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of California at Davis, USA)
Doctoral Symposium
Technical Presentations 1
Mon, Nov 17, 10:00 - 10:30, Meeting Room 4
Technical Presentations 2
Mon, Nov 17, 11:00 - 12:30, Meeting Room 4
Technical Presentations 3
Mon, Nov 17, 14:00 - 15:30, Meeting Room 4
Technical Presentations 4
Mon, Nov 17, 16:00 - 16:30, Meeting Room 4
Student Research Competition Posters
Tue, Nov 18, 18:00 - 20:30, Pre-function Hall
Visions and Challenges
Thu, Nov 20, 09:00 - 10:20, Auditorium
Speculative Reprogramming
Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc
(University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France)
proc time: 1.01