CC 2019
18 papers
- A static slicing method for functional programs and its incremental version
- Accelerating web application loading with snapshot of event and DOM handling
- Automatic adaptive approximation for stencil computations
- Codestitcher: inter-procedural basic block layout optimization
- Compare less, defer more: scaling value-contexts based whole-program heap analyses
- Efficiency and expressiveness in UW-OpenMP
- Efficient concolic testing of MPI applications
- Enabling prefix sum parallelism pattern for recurrences with principled function reconstruction
- GPU-accelerated fixpoint algorithms for faster compiler analyses
- Low-cost deterministic C++ exceptions for embedded systems
- PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion
- Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments
- Property caches revisited
- Revec: program rejuvenation through revectorization
- Spinal code: automatic code extraction for near-user computation in fogs
- The sparse tensor algebra compiler (keynote)
- To unify or not to unify: a case study on unified builds (in WebKit)
- Valence: variable length calling context encoding