Microsoft @ SPLASH 2018 OOPSLA
Location: Boston, Massachusetts
RegisterSunday, November 4, 2018 | 2:30 PM–2:35 PM | Beacon Hill
BLOCKS+ – Themed Session 3: Accessibility and Language Construction Tools
TypeScript: From JavaScript to Blockly and Back
Thomas Ball, Peli de Halleux, Sam El-Husseini, Richard Knoll, Michal Moskal
Monday, November 5, 2018 | 1:30 PM–2:30 PM | Whittier
SPLASH – I | Marron
Time-Travel Debugging and Actionable Diagnostics Insights
Monday, November 5, 2018 | 3:55 PM–4:00 PM | Beacon Hill
PLATEAU 2018 – Interactive Tools + Teasers + Breakout
ExceLint: Automatically Finding Spreadsheet Formula Errors – Preview
Daniel W. Barowy, Emery Berger, Benjamin Zorn
Monday, November 5, 2018 | 4:00 PM–4:30 PM | Newbury
AGERE – Session 3: Agents + WIP papers
Compositional Programming and Testing of Actor Programs
Ankush Desai, Shaz Qadeer, Sanjit Seshia
Tuesday, November 6, 2018 | 1:30 PM–2:00 PM | The Loft
DLS 2018 – Optimization
Log++ Logging for a Cloud-Native World
Wednesday, November 7, 2018 | 4:15 PM–4:37 PM | Studio 2
OOPSLA – Compiler Optimization
Reconciling High-level Optimizations and Low-level Code in LLVM
Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
Wednesday, November 7, 2018 | 4:37 PM-5:00 PM | Studio 2
OOPSLA – Compiler Optimization
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas
Thursday, November 8, 2018 | 3:52 PM–4:15 PM | Studio 1
OOPSLA – Performance
Reactive Caching for Composed Services
Sebastian Burckhardt, Tim Coppieters
Thursday, November 8, 2018 | 3:52 PM–4:15 PM | Studio 2
OOPSLA – Potpourri
ExceLint: Automatically Finding Spreadsheet Formula Errors
Daniel W. Barowy, Emery Berger, Benjamin Zorn
Thursday, November 8, 2018 | 4:37 PM–5:00 PM | Studio 2
OOPSLA – Potpourri
FlashProfile: A Framework for Synthesizing Data Profiles
Saswat Padhi, Prateek Jain, Daniel Perelman, Alex Polozov, Sumit Gulwani, Todd Millstein
Friday, November 9, 2018 | 10:30 AM–10:52 AM | Studio 1
OOPSLA – Testing
Compositional Programming and Testing of Dynamic Distributed Systems
Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit Seshia
Friday, November 9, 2018 | 1:30 PM–1:52 PM | Studio 2
OOPSLA – Safe Merging
Verified Three-Way Program Merge
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri