Abstract Interpretation under Speculative Execution
4 years ago
[{"url":"https://i.ytimg.com/vi/GEW_BgBNSXQ/hq720.jpg?sqp=-oaymwEcCOgCEMoBSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBED-xtzfwn-EQRqhiIzrUGJhUshg","width":360,"height":202},{"url":"https://i.ytimg.com/vi/GEW_BgBNSXQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC8RXY89j07UefSylmF4_ymnmIVFQ","width":720,"height":404}]
[{"text":"Abstract Interpretation under "},{"text":"Speculative","bold":true},{"text":" Execution https://pldi19.sigplan.org/details/pldi-2019-papers/4."}]
{"name":"PLDI 2019 Video Abstracts","id":"UCsscfaosriyJNqM3aicsnpg","thumbnails":[{"url":"https://yt3.ggpht.com/ytc/APkrFKaFlUF1WAuNgJriKyhGx2gLASYNtN_Yp3X03v_M=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}],"link":"https://www.youtube.com/channel/UCsscfaosriyJNqM3aicsnpg"}
{"title":"Abstract Interpretation under Speculative Execution by PLDI 2019 Video Abstracts 206 views 4 years ago 50 seconds","duration":"50 seconds"}