PLDI és el primer fòrum en l'àmbit dels lleguatges de programació i la investigació en els sistemes de programació, el qual cobreix diverses àrees com el disseny, la implementació, la teoria, aplicacions i actuacions.
De les diverses localitzacions triades per a la seva celebració, el dilluns 19 i dimarts 20 hi hauran conferències a la Sala d'Actes de l'Escola de Camins.
Programa:
Dilluns 19
10:50 - 12:30
- DemoMatch: API Discovery from Demonstrations
- Similarity of Binaries through re-Optimization
- Synthesizing Program Input Grammars
- Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
14:00 - 15:40
- Bringing the Web up to Speed with WebAssembly
- Miniphases: Compilation using Modular and Efficient Tree Transformations
- Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
- Simple, fast and safe manual memory management
16:00 - 17:50
- Achieving High Coverage for Floating-point Code via Unconstrained Programming
- Instruction Punning: Lightweight Instrumentation for x86-64
- Low Overhead Dynamic Binary Translation on ARM
- Skeletal Program Enumeration for Rigorous Compiler Testing
Dimarts 20
10:50 - 12:30
- Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
- Network Configuration Synthesis with Abstract Topologies
- Synthesizing Highly Expressive SQL Queries from Input-Output Examples
- Synthesizing Memory Models from Framework Sketches and Litmus Tests
14:00 - 15:40
- Synthesis of Divide and Conquer Parallelism for Loops
- Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
- Gradual Synthesis for Static Parallelization
- Verifying invariants of lock-free data structures with rely-guarantee and refinement type
16:00 - 17:10
- Repairing Sequential Consistency in C/C++11
- Taming Undefined Behavior in LLVM