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
Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas