1

Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction

Optimizing Deep Learning Inference via Global Analysis and Tensor Expressions

A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing

Optimizing Direct Convolutions on ARM Multi-Cores

Optimizing MPI Collectives on Shared Memory Multi-cores

HighRPM: Combining Integrated Measurement and Power Modeling for High-Resolution Power Monitoring

ChatGPT, Make a Secure Malloc for me

Optimizing Multi-grid Computation and Parallelization on Multi-cores

Memory-aware Optimization for Sequences of Sparse Matrix-Vector Multiplications

HiGIL: Hierarchical Graph Inference Learning for Fact Checking