in the control room of the banquet
Abstract
Creativity, AI, programming, the Turing Test, and mystery.
Related papers
- There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code CAV 2010
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room PLDI 2020
- EMEURO: a framework for generating multi-purpose accelerators via deep learning CGO 2015
- Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet OOPSLA 1998
- Is hardware innovation over? PPoPP 2010
- HasTEE: Programming Trusted Execution Environments with Haskell Haskell 2023
- Compiling with continuations, or without? whatever ICFP 2019