• Tue, November 6, 2018
• 08:20 – 08:30
• Messages from the Chairs (Gary T. Leavens, Alessandro Garcia, and Corina S. Păsăreanu)
  Plenary
  
• 08:30 – 10:00
• Behind Every Great Deep Learning Framework Is an Even Greater Programming Languages Concept (Keynote)
  Invited Papers
  
• 10:00 – 10:30
• Doctorial Symposium
  
• Student Research Competition
  
• 10:30 – 12:00
• Concurrency and Races
  Research Papers
  
• Log Mining
  Research Papers
  
• Formal Analysis
  Industry Papers
  
• Testing
  Tool Demonstrations
  
• 13:30 – 15:00
• Deep Learning
  Research Papers
  
• Performance
  Research Papers
  
• Software Analysis I
  Research Papers
  
• Security
  Industry Papers
  
• 15:30 – 17:00
• Developer Studies
  Research Papers
  
• Security
  Research Papers
  
• Testing I
  Research Papers
  
• Bugs
  Tool Demonstrations
  
• Wed, November 7, 2018
• 10:30 – 12:00
• Mobile Apps
  Research Papers
  
• NIER I
  NIER
  
• End User Programming and Financial Applications
  Industry Papers
  
• Mining
  Tool Demonstrations
  
• 13:30 – 15:00
• Software Analysis II
  Research Papers
  
• Software Maintenance I
  Research Papers
  
• NIER II
  NIER
  
• Test Automation
  Industry Papers
  
• 15:30 – 17:00
• Mining
  Research Papers
  
• Symbolic Execution and Constraint Solving
  Research Papers
  
• Models
  Tool Demonstrations
  
• Thu, November 8, 2018
• 08:30 – 10:00
• Ten Years of Hunting for Similar Code for Fun and Profit (Keynote)
  Invited Papers
  
• 10:30 – 12:00
• Debugging and Bug Localization
  Research Papers
  
• Estimation and Prediction
  Research Papers
  
• Models
  Research Papers
  
• Probabilistic Reasoning
  Research Papers
  
• Repair and Synthesis
  Research Papers
  
• Software Maintenance II
  Research Papers
  
• 15:30 – 17:00
• Ecosystems and Crowdsourcing
  Research Papers
  
• Energy
  Research Papers
  
• Testing II
  Research Papers
  

Time stamp: 2020-01-27T14:01:44+01:00