1:01:45

[GPCE] Language Design meets Verifying Compilers

ACM SIGPLAN

18:32

[GPCE] Type System for Four Delimited Control Operators

ACM SIGPLAN

22:50

[GPCE] Language-Integrated Query for Temporal Data

ACM SIGPLAN

23:56

[GPCE] SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API

ACM SIGPLAN

5:09

[GPCE] PC Chair's Report

ACM SIGPLAN

15:23

[GPCE] Incremental Processing of Structured Data in Datalog

ACM SIGPLAN

18:36

[GPCE] Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming

ACM SIGPLAN

22:57

[GPCE] Deep Fusion for Efficient Nested Recursive Computations

ACM SIGPLAN

17:17

[GPCE] Composable Sequence Macros for Fast Iteration

ACM SIGPLAN

25:24

[GPCE]Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices

ACM SIGPLAN

18:52

[GPCE] Language Support for Refactorability Decay Prevention

ACM SIGPLAN

16:41

[GPCE] Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems

ACM SIGPLAN

23:05

[GPCE] A Modern C++ Point of View of Programming in Image Processing

ACM SIGPLAN

19:02

[GPCE] The Cost of Dynamism in Static Languages for Image Processing

ACM SIGPLAN

16:01

[GPCE] A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players

ACM SIGPLAN

16:55

[GPCE] Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing

ACM SIGPLAN