Microsoft @ SPLASH 2018 OOPSLA

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 (opens in new tab)

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 (opens in new tab)

Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep TorrellasOpens in a new tab