kirancodes.me
To Proof Maintenance & Beyond!
Venues / CC /

CC 2024

21 papers

  1. A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction · Wei Li, Dongjie He, Yujiang Gui, Wenguang Chen, Jingling Xue
  2. A Unified Memory Dependency Framework for Speculative High-Level Synthesis · Jean-Michel Gorius, Simon Rokicki, Steven Derrien
  3. APPy: Annotated Parallelism for Python on GPUs · Tong Zhou, Jun Shirako, Vivek Sarkar
  4. Accurate Coverage Metrics for Compiler-Generated Debugging Information · J. Ryan Stinnett, Stephen Kell
  5. BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing · Qinzhe Wu, Ruihao Li, Jonathan C. Beard, Lizy Kurian John
  6. Clog: A Declarative Language for C Static Code Checkers · Alexandru Dura, Christoph Reichenbach
  7. CoSense: Compiler Optimizations using Sensor Technical Specifications · Pei Mu, Nikolaos Mavrogeorgis, Christos Vasiladiotis, Vasileios Tsoutsouras, Orestis Kaparounakis, Phillip Stanley-Marbell + 1 more
  8. Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices · Kiwan Maeng, Brandon Lucia
  9. Exponentially Expanding the Phase-Ordering Search Space via Dormant Information · Ruobing Han, Hyesoon Kim
  10. Fast Template-Based Code Generation for MLIR · Florian Drescher, Alexis Engelke
  11. Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers · Abderaouf Nassim Amalou, Elisa Fromont, Isabelle Puaut
  12. FlowProf: Profiling Multi-threaded Programs using Information-Flow · Ahamed Al Nahian, Brian Demsky
  13. From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme · Sébastien Michelland, Christophe Deleuze, Laure Gonnord
  14. If-Convert as Early as You Must · Dorit Nuzman, Ayal Zaks, Ziv Ben-Zion
  15. Paguroidea: Fused Parser Generator with Transparent Semantic Actions · Yifan Zhu, Quartic Cat, Boluo Ge, Shaotong Sun
  16. Reducing the Overhead of Exact Profiling by Reusing Affine Variables · Léon Frénot, Fernando Magno Quintão Pereira
  17. Region-Based Data Layout via Data Reuse Analysis · Caio Salvador Rohwedder, João P. L. de Carvalho, José Nelson Amaral
  18. Stale Profile Matching · Amir Ayupov, Maksim Panchenko, Sergey Pupyrev
  19. The Next 700 ML-Enabled Compiler Optimizations · S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, Pranav Sai Gorantla, Rajiv Shailesh Chitale, Eugene Brevdo + 3 more
  20. UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation · Nikolaos Mavrogeorgis, Christos Vasiladiotis, Pei Mu, Amir Khordadi, Björn Franke, Antonio Barbalace
  21. YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs · Cyrus Zhou, Zack Hassman, Dhirpal Shah, Vaughn Richard, Yanjing Li