CGO 2020
25 papers
- A performance-optimizing compiler for cyber-physical digital microfluidic biochips
- AN5D: automated stencil framework for high-degree temporal blocking on GPUs
- ATMem: adaptive data placement in graph applications on heterogeneous memories
- Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms
- Automatic generation of high-performance quantized machine learning kernels
- COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors
- CogniCryptGEN: generating code for the secure usage of crypto APIs
- Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers
- Efficient and scalable cross-ISA virtualization of hardware transactional memory
- Efficient nursery sizing for managed languages on multi-core processors with shared caches
- HALO: post-link heap-layout optimisation
- Interactive debugging of concurrent programs under relaxed memory models
- Introducing the pseudorandom value generator selection in the compilation toolchain
- Low-cost prediction-based fault protection strategy
- Multi-layer optimizations for end-to-end data analytics
- NeuroVectorizer: end-to-end vectorization with deep reinforcement learning
- Optimizing occupancy and ILP on the GPU using a combinatorial approach
- Optimizing ordered graph algorithms with GraphIt
- PreScaler: an efficient system-aware precision scaling framework on heterogeneous systems
- SIMD support in .NET: abstract and concrete vector types and operations
- Secure automatic bounds checking: prevention is simpler than cure
- Speculative reconvergence for improved SIMT efficiency
- Testing static analyses for precision and soundness
- The design and implementation of the wolfram language compiler
- Type freezing: exploiting attribute type monomorphism in tracing JIT compilers