Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Popl True'

Popl True published presentations and documents on DocSlides.

A Language for Automatically Enforcing Privacy
A Language for Automatically Enforcing Privacy
by pamella-moone
Jean Yang. with . Kuat. . Yessenov. and. Armand...
Proceedings of the th ACM Symposium on Principles of Programming Languages POPL San Antonio Texas USA January JFlow Practical MostlyStatic Information Flow Control Andrew C
Proceedings of the th ACM Symposium on Principles of Programming Languages POPL San Antonio Texas USA January JFlow Practical MostlyStatic Information Flow Control Andrew C
by tatyana-admore
Myers Laboratory for Computer Science Massachuset...
A POPL Pearl Submission Clowns to the Left of me Joker
A POPL Pearl Submission Clowns to the Left of me Joker
by jane-oiler
nottacuk Abstract This paper submitted as a pearl ...
Finding Optimal Program Abstractions
Finding Optimal Program Abstractions
by jane-oiler
Mayur Naik. Georgia Tech. Xin. Zhang. (Georgia T...
MarkBatty2WorkshopPapersRelaxedMemoryModelsMustBeRigorous.F.ZappaNarde
MarkBatty2WorkshopPapersRelaxedMemoryModelsMustBeRigorous.F.ZappaNarde
by briana-ranney
MarkBatty338thACMSIGACT-SIGPLANSymposiumonPrincipl...
Spx000Bx000Ex001A Px000Cox001Bx000Bx000EtS
Spx000Bx000Ex001A Px000Cox001Bx000Bx000EtS
by ani
POPL-POPP LPPPP3PPPP3Tx001Ex001Fxu Houx000CS xxPPS...