Technical Research: Performance
Wednesday May 18, 11:00 am - 12:30 pm
Session Chair: Antonio Filieri
Room: San Antonio
11:00 - 11:20 AM ― Generating Performance Distributions via Probabilistic Symbolic Execution
- Bihuan Chen, Nanyang Technological University, Singapore
- Yang Liu, Nanyang Technological University, Singapore
- Wei Le, Iowa State University, United States
11:20 - 11:40 AM ― Performance Issues and Optimizations in JavaScript: An Empirical Study
- Marija Selakovic, TU Darmstadt, Germany
- Michael Pradel, TU Darmstadt, Germany
11:40 - 12:00 PM ― Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking
- Guoxin Su, National University of Singapore, Singapore
- David Rosenblum, National University of Singapore, Singapore
- Giordano Tamburrelli, Vrije Universiteit, Netherlands
12:00 - 12:20 PM ― Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement
- Tian Huat Tan, Singapore University of Technology and Design, Singapore
- Manman Chen, National University of Singapore, Singapore
- Jun Sun, Singapore University of Technology and Design, Singapore
- Yang Liu, Nanyang Technological University, Singapore
- Étienne André, Université Paris 13, France
- Yinxing Xue, Nanyang Technological University, Singapore
- Jin Song Dong, National University of Singapore, Singapore
