Wed 18 Nov 2020 23:00 - 23:20 at SPLASH-I - W-3 Chair(s): Alex Potanin, Yuting Wang
Build scripts for most build systems describe the actions to run, and the dependencies between those actions - but often build scripts get those dependencies wrong. Most build scripts have both too few dependencies (leading to incorrect build outputs) and too many dependencies (leading to excessive rebuilds and reduced parallelism). Any programmer who has wondered why a small change led to excess compilation, or who resorted to a clean step, has suffered the ill effects of incorrect dependency specification. We outline a build system where dependencies are not specified, but instead captured by tracing execution. The consequence is that dependencies are always correct by construction and build scripts are easier to write. The simplest implementation of our approach would lose parallelism, but we are able to recover parallelism using speculation.
Wed 18 NovDisplayed time zone: Central Time (US & Canada) change
11:00 - 12:20 | W-3OOPSLA at SPLASH-I +12h Chair(s): Eelco Visser Delft University of Technology, Dan Barowy Williams College | ||
11:00 20mTalk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
11:20 20mTalk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached | ||
11:40 20mTalk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached | ||
12:00 20mTalk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached |
23:00 - 00:20 | W-3OOPSLA at SPLASH-I Chair(s): Alex Potanin Victoria University of Wellington, Yuting Wang Shanghai Jiao Tong University | ||
23:00 20mTalk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
23:20 20mTalk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached | ||
23:40 20mTalk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached | ||
00:00 20mTalk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached |