Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Popl'

Popl 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...
Gradual typing Embedded securely in javascript
Gradual typing Embedded securely in javascript
by lois-ondreau
Aseem Rastogi. University of Maryland, College Pa...
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...