CC 2020
19 papers
- A study of event frequency profiling with differential privacy
- Automatically harnessing sparse acceleration
- Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems
- Bitwidth customization in image processing pipelines using interval analysis and SMT solvers
- Compiler-based graph representations for deep learning models of code
- Compiling first-order functions to session-typed parallel code
- Dynamic property caches: a step towards faster JavaScript proxy objects
- Generating fast sparse matrix vector multiplication from a high level generic functional IR
- Improving database query performance with automatic fusion
- Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms
- Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity
- Mixed-data-model heterogeneous compilation and OpenMP offloading
- Postcondition-preserving fusion of postorder tree transformations
- Relaxing the one definition rule in interpreted C++
- Robust quantization of deep neural networks
- Runtime multi-versioning and specialization inside a memoized speculative loop optimizer
- Scalable pointer analysis of data structures using semantic models
- Secure delivery of program properties through optimizing compilation
- Vectorization-aware loop unrolling with seed forwarding