Publications

Taming Undefined Behavior in Llvm

AuthID
P-00T-EZA

Author(s)

Lee, J

Kim, Y

Song, Y

Hur, CK

Das, S

Majnemer, D

Regehr, J

Lopes, NP

Editor(s)

Cohen,A;Vechev,MT

Document Type

Proceedings Paper

Year published

2017

Published

in Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017 in PLDI, ISSN: 0362-1340

Volume: 52, Issue: 6, Pages: 633-647

Indexing

Dblp^®/en/publications/view/867306

Crossref^®2

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/3140587.3062343

Dblp: conf/pldi/LeeKSHDMRL17

Source Identifiers

ISSN: 0362-1340

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Taming Undefined Behavior in Llvm

Useful Links

Get Help

Federated Authentication (Click on the image)

Taming Undefined Behavior in Llvm

Useful Links

Get Help