Software Engineering in Practice: Static Analysis
Wednesday May 18, 2:00 pm - 3:30 pm
Session Chair: Yves Le Traon
Room: Trinity
02:00 - 02:20 PM ― Practical Programming, Validation and Verification with Finite-State Machines: a Library and its Industrial Application
- Paulo Salem, Salem Sistemas, Brazil
02:20 - 02:40 PM ― Battles with False Positives in Static Analysis of JavaScript Web Applications in the Wild
- Joonyoung Park, KAIST, Korea
- Inho Lim, Samsung Electronics, Korea
- Sukyoung Ryu, KAIST, Korea
02:40 - 03:00 PM ― Detecting Problems in Database Access Code of Large Scale Systems - An Industrial Experience Report
- Tse-Hsun Chen, Queen's University, Canada
- Weiyi Shang, Department of Computer Science and Software Engineering, Concordia University, Canada
- Ahmed E. Hassan, Queen's University, Canada
- Mohamed Nasser, BlackBerry, Canada
- Parminder Flora, BlackBerry, Canada
03:00 - 03:20 PM ― Engineering the Servo Web Browser Engine using Rust
- Lars Bergstrom, Mozilla Research, United States
- Brian Anderson, Mozilla Research, United States
- Manish Goregaokar, Indian Institute of Technology Bombay, India
- Josh Matthews, Mozilla, Canada
- Keegan McAllister, Unaffiliated, United States
- Jack Moffitt, Mozilla Research, United States
- Simon Sapin, Mozilla Research, France
