SPLASH 2020 REBASE
2020-11-16..2020-11-23
-- online --
SPLASH ·
[SPLASH 2019 PLMW, SPLASH 2020, SPLASH 2020 REBASE, SPLASH 2022, SPLASH 2022 Doctoral Symposium]
| title | author | length |
|---|---|---|
| SQLancer: Automatically Finding Bugs in Database Management Systems | Manuel Rigger | 36m |
SQLancer is an automated tester (Java/Maven, GitHub) that generates small databases and thousands of SQL queries and validates results with three concrete… | ||
| Paradigms Without Progress: Kuhnian Reflections on Programming Practice | Jimmy Miller | 43m |
Argues that programming exemplars like Smalltalk, Lisp and C function as Kuhnian exemplars but paradigms rarely “win,” so debates persist because of… | ||
| Tales from the Frontlines: Startup War Stories | Cliff Click | 22m |
A dozen startup war stories across 15–20 years show concrete wins and failures: building a 32‑register RISC JIT and hardware-enabled JVM that produces the… | ||
| Paparazzi, An Open Source UAV for Research | Gautier Hattenberger | 46m |
Paparazzi is an open-source autopilot (GPLv2) that embeds a full flight-plan language compiled to C onboard so mission logic, safety checks and dynamic queuing… | ||
| APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming | Jean Yang | 42m |
Modern web apps produce vast heterogeneous graphs — companies average 300 APIs (5k–10k size) and many internal endpoints lack specs (only 35% rate… | ||
| Back to the Future! A History of UIs through Trends and Mass Culture | Paola Bisogno | 01h 08m |
Charts a specific timeline from 1991 text‑only pages through late‑90s image/iframe/Flash experiments to 2004–2010 skeuomorphism, 2010–2014 flat design and… | ||
| Probabilistic Programming: The What, Why and How | Maria I. Gorinova | 31m |
Probabilistic programming models become programs and the goal is to infer posterior beliefs about parameters from observed data; widely used Stan relies on… | ||
| A Ray of Hope: Array Programming for the 21st Century | Gilad Bracha | 38m |
A new language called ShapeRank implements a statically typed, purely functional array model that treats every value as a tensor, extends rank-polymorphism to… | ||
| Move Semantics for Nim | Andreas Rumpf | 33m |
Explains how Nim implements move semantics with three compile-time hooks (copy, sink, destroy) and a sync parameter mode so containers can receive ownership… | ||
| Lies we tell ourselves about developer infrastructure | Joe Pamer | 44m |
Argues that many in-house developer tools start from excitement not necessity, cites concrete pain: IDEs tuned for ~30,000 line projects, Visual Studio stress… | ||
| Developing the Wolfram Language Compiler | Tom Wickham-Jones | 42m |
A compiler converts Wolfram Language ASTs to an SSA IR, runs a constraint-based type inference with parametric types and type classes, then emits native code… | ||
| Gillian: a Multi-language Platform for Compositional Symbolic Analysis | Philippa Gardner | 43m |
Gillian is a multi-language symbolic-analysis platform that implements a core symbolic-execution engine backed by Z3, OCaml concrete and symbolic memory… | ||
| Towards the tower of Babel: a Polyglot Language VM in Java | Christian Humer | 01h 19m |
GraalVM + Truffle lets language implementations be written as interpreters and then partially evaluate those interpreters into optimized code using Futamura… | ||
| Speculation in Smart Contracts | Maurice Herlihy | 01h 25m |
Proposes a concrete architecture that runs user contracts speculatively off-chain: a smaller contract committee (example sizes discussed: ~150 vs ~2,000)… | ||
| Inside Every Calculus Is A Little Algebra Waiting To Get Out | Erik Meijer | 01h 03m |
Claims that synthetic differential geometry and dual numbers give a purely algebraic foundation for differentiation, replacing limits with an axiom that… | ||
| Relational Reasoning in Object-based Programs | Anindya Banerjee | 40m |
A program logic that weaves product programs expresses alignment points and asserts relational formulas, with a new linking rule that hides module invariants… | ||
| Enterprise-scale static analysis: A Pinpoint experience | Charles Zhang | 40m |
Pinpoint is an LLVM-based cross-language platform that deploys to Tencent, Baidu, Huawei, Alibaba and daily-scans million+‑line repos. It implements a sparse… | ||
| Intermittent Computer Systems on Earth and in Space | Brandon Lucia | 01h 00m |
Describes a formal intermittent-execution model and a toolchain (Chain/Alpaca/Coati, EDB debugger, Capybara power manager) used to run tiny energy-harvesting… | ||
| On the Future of Flight Software | Kristin Yvonne Rozier | 01h 31m |
A clear engineering brief: aviation needs a method to get software failure probability below 10^-9 per flight hour but regulations like DO‑333 give… | ||
| Reliable Stack Traces, the Reality of Myth | Francesco Zappa Nardelli | 01h 15m |
Shows two concrete tools for x86_64: a dynamic validator that checks DWARF unwind bytecode against actual register/stack states (finds compiler and inline-asm… | ||
| Miniaturize All States! | Mathieu Boespflug | 01h 20m |
Claims that software suffers a reproducibility crisis and that the fix is to shrink the amount of external state down to precise, shareable specs. Shows why… | ||
| JAX: accelerated machine learning research via composable function transformations in Python | Matt Johnson | 01h 10m |
JAX claims Python+NumPy code runs on accelerators by tracing pure functions and applying composable transformations: jit via XLA compiles whole programs and… | ||
| Technology Today: A Paucity of Integrity and Imagination | Robert Grimm | 01h 20m |
Argues that Facebook uses surveillance-based targeting to maximize emotional engagement, citing 1.82 billion daily and 2.74 billion monthly users served by… | ||
| PL and HCI: Better Together | Elena L. Glassman | 01h 16m |
Argues that pairing PL tools with HCI design reduces user effort and ambiguity, and demonstrates it by extending an off‑the‑shelf regex synthesizer (Rego) with… | ||
| Performance Really Matters | Emery D. Berger | 01h 21m |
Argues that traditional profiling and compiler optimizations no longer suffice and introduces two tools with concrete results: Coz causal profiler uses virtual… | ||
| Co-Design for High-Performance Computing Software Systems | Min Si | 01h 19m |
Co-design work shows concrete wins and concrete pain points: a 4M-line quantum chemistry code spends 15% idle time waiting on emulated one-sided RMA, so adding… | ||
| Variant analysis | Aditya Sharad | 57m |
Shows real results: a semantic query engine built as CodeQL (originating at Semmle, now on GitHub) encodes taint‑tracking and interprocedural data‑flow in a… | ||
| Non-local compiler transformations in the presence of dynamic dispatch | Keno Fischer | 01h 21m |
Describes a concrete compiler approach: implement reverse-mode AD as a functor that returns the primal value plus an opaque closure residual… | ||
| Quantitative Types in Idris 2 | Edwin Brady | 40m |
A new Idris 2 core implements Quantitative Type Theory (Conor McBride, Bob Atkey) with concrete multiplicities 0 1 ω, enabling dependent+linear types. The… | ||
| The impact of differentiable programming: how ∂P is enabling new science in Julia | Matt Bauman | 01h 10m |
Julia now exposes ∂P in Julia so full programs — including differential equation solvers and lookup logic — yield exact gradients. A trebuchet simulator… | ||
| Catching More Bugs with Fewer False Alarms | Jonathan Bell | 40m |
Argues that combining dynamic analyses with real tests finds more real defects while cutting false alarms: Vroom isolates tests in-memory to avoid ~1.5s JVM… | ||
| 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… | ||
| nothing matches | ||