5 citations · 9 across the 10 of their papers we have counts for
3 papers · 1 filter
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana +1
Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into t…
A Fast Causal Profiler for Task Parallel Programs
Adarsh Yoga, Santosh Nagarakatte
This paper proposes TASKPROF, a profiler that identifies parallelism bottlenecks in task parallel programs. It leverages the structure of a task parallel execution to perform fine-…
Precondition Inference for Peephole Optimizations in LLVM
David Menendez, Santosh Nagarakatte
Peephole optimizations are a common source of compiler bugs. Compiler developers typically transform an incorrect peephole optimization into a valid one by strengthening the precon…