Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Pldi'

Pldi published presentations and documents on DocSlides.

Rice COMP Alum Spends 14 Years and Counting Posing as a PL Professor
Rice COMP Alum Spends 14 Years and Counting Posing as a PL Professor
by lindy-dunigan
Dan . Grossman. Professor and Deputy Director. Pa...
Precise, Dynamic Information Flow for Database-Backed Applications
Precise, Dynamic Information Flow for Database-Backed Applications
by molly
Jean Yang, Travis . Hance. , Thomas H. Austin, Arm...
Programming Abstractions for Approximate Computing
Programming Abstractions for Approximate Computing
by alexa-scheidler
Michael . Carbin. with . Sasa. . Misailovic. , H...
From Verification to Synthesis
From Verification to Synthesis
by tawny-fly
Sumit Gulwani. sumitg@microsoft.com. Microsoft Re...
From Verification to Synthesis
From Verification to Synthesis
by calandra-battersby
Sumit Gulwani. sumitg@microsoft.com. Microsoft Re...
PLDI 2018 Program-Chair Report
PLDI 2018 Program-Chair Report
by myesha-ticknor
Dan Grossman. Process [with some data]. Data [wit...
FCRC Report (Federated Computing Research Conference)
FCRC Report (Federated Computing Research Conference)
by ian
Vivek Sarkar (. vsarkar@gatech.edu. ). Chair, Scho...