22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

Phone Layout
No Pictures
Monday, November 17, 2014
Invited Talk 1 (Doctoral Symposium)
09:00 – 10:00, Meeting Room 4
Invited Talk 1
Andreas Zeller
Engineering Privacy and the Challenges of Transitioning Science to Practice (Tutorial)
09:00 – 10:30, Hall 1
Engineering Privacy and the Challenges of Transitioning Science to Practice
Travis Breaux
(CMU)
Software Analytics: Achievements and Challenges (Tutorial)
09:00 – 10:30, Hall 2
Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(MSR; NCSU)
Technical Presentations 1 (Doctoral Symposium)
10:00 – 10:30, Meeting Room 4
Diagnose Crashing Faults on Production Software
Publisher's Version
Technical Presentations 2 (Doctoral Symposium)
11:00 – 12:30, Meeting Room 4
Integrating Approaches for Feature Implementation
Publisher's Version Preprint
Numerical Program Analysis and Testing
Publisher's Version
Traceability and Model Checking to Support Safety Requirement Verification
Publisher's Version
Dealing with Uncertainty in Verification of Nondeterministic Systems
Publisher's Version
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product (Tutorial)
11:00 – 12:30, Hall 1
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product
Andy Meneely
(RIT)
String Analysis (Tutorial)
11:00 – 12:30, Hall 2
String Analysis
Tevfik Bultan, Fang Yu, and Muath Alkhalaf
(UCSB; NCUT; KSU)
Technical Presentations 3 (Doctoral Symposium)
14:00 – 15:30, Meeting Room 4
Static Analysis Driven Performance and Energy Testing
Publisher's Version Preprint
Autonomous Compliance Monitoring of Non-functional Properties
Publisher's Version
Detecting, Isolating, and Enforcing Dependencies among and within Test Cases
Publisher's Version
Improving the Software Testing Skills of Novices during Onboarding through Social Transparency
Publisher's Version
Symbolic Techniques for Program Debugging and Repair (Tutorial)
14:00 – 15:30, Hall 1
Symbolic Techniques for Program Debugging and Repair
Abhik Roychoudhury and Satish Chandra
(NUS; Samsung)
Engineering Cyberphysical System Software (Tutorial)
14:00 – 15:30, Hall 2
Engineering Cyberphysical System Software
Luca Mottola
(Politecnico di Milano; SICS)
Technical Presentations 4 (Doctoral Symposium)
16:00 – 16:30, Meeting Room 4
Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling
Publisher's Version
Social Media and Science 2.0 (Tutorial)
16:00 – 17:30, Hall 1
Social Media and Science 2.0
Felienne Hermans
(TU Delft)
Software Engineering for Cloud Applications (canceled) (Tutorial)
16:00 – 17:30, Hall 2
Software Engineering for Cloud Applications (canceled)
Mladen A. Vouk
(NCSU)
Invited Talk 2 (Doctoral Symposium)
16:30 – 17:30, Meeting Room 4
Invited Talk 2
David Rosenblum

Time stamp: 2020-09-21T17:59:28+02:00