ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)

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

 

 

Lloc 
Sala d'actes, Escola de Camins
Data inici 
06/16/2017
Hora inici 
10:00
Data final 
06/16/2017
Hora final 
18:00