분류:ACM PLDI - noriwiki

Pages in category "ACM PLDI"

The following 4 pages are in this category, out of 4 total.

C

CuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications

D

DieHard: Probabilistic Memory Safety for Unsafe Languages

S

SoftBound: Highly Compatible and Complete Spatial Memory Safety for C
Speciﬁcation and veriﬁcation in the ﬁeld: Applying formal methods to BPF just-in-time compilers in the Linux kernel

Retrieved from "http://junhoahn.kr/noriwiki/index.php?title=분류:ACM_PLDI&oldid=1682"