SPLASH 2020
2020-11-15..2020-11-20
-- online --
SPLASH ·
[SPLASH 2019 PLMW, SPLASH 2020, SPLASH 2020 REBASE, SPLASH 2022, SPLASH 2022 Doctoral Symposium]
as the organisers put it
Welcome to SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH embraces all aspects of software construction and delivery, to make it the premier conference on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH takes place Sunday November 15th to Friday 20th. Update: Nov 15, 2020, 0700 CST: SPLASH registration is now SOLD OUT. The virtual conference system has no more capacity. You can still watch conference talks by accessing our six talks streams he ...
| title | author | length |
|---|---|---|
| Fitzcarraldo — or How to Hack Academia to Build Stuff | Jan Vitek | 40m |
What does a movie about a monomaniacal quest to build an opera house in the Amazon Basin has to do with science? Programming language research is at a… | ||
| Catching More Bugs with Fewer False Alarms | Jonathan Bell | 40m |
Work that builds practical JVM tools: VROOM test isolation reinitializes classes to run thousands of fast unit tests in one JVM and cut per-test overhead… | ||
| Testing Deep Neural Networks | Mary Lou Soffa | 53m |
Empirical study evaluates DeepXplore, DLfuzz and DeepConcolic on MNIST/SVHN and finds they produce many invalid inputs — about 42% invalid on average, up to… | ||
| Models and Programs: Better Together | Sriram Rajamani | 01h 10m |
Argues that combining models and programs yields concrete systems: use DNNs plus program synthesis (PROS) to auto-recover parsers for changing HTML and email… | ||
| Why Digital Agriculture is Fertile Ground for Software Systems Research | Vikram S. Adve | 01h 35m |
Argues that digital agriculture yields concrete CS problems and solutions: a compiler/runtime stack HPVM (LLVM-based) and an autotuner ApproxTuner target edge… | ||
| nothing matches | ||