Microsoft @ SPLASH 2018 OOPSLA

Microsoft @ SPLASH 2018 OOPSLA

About

Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston, Massachusetts November 4 – 9, 2018. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year’s conference. Learn more about our research being presented at SPLASH 2018 on this page.

Session Chair

Titus Barik

Review Committee Member

Rahul Sharma

External Reviewer

Madan Musuvathi

Distinguished Paper Committee Member

Madan Musuvathi

Talks

Sunday, 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

Mark Marron

 

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

Mark Marron

 

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

Poster Sessions

Monday (October 5, 2018) & Wednesday (October 7, 2018) | 4:30 PM–7:30 PM | Georgian

Compositional Programming and Testing of Dynamic Distributed Systems

Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit Seshia

Reconciling High-level Optimizations and Low-level Code in LLVM

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr), Nuno P. Lopes

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

Job Opportunities