Search Results for 'Pldi'

Pldi published presentations and documents on DocSlides.

Programming Abstractions for Approximate Computing

Programming Abstractions for Approximate Computing

alexa-scheidler
35 Slides

Michael . Carbin. with . Sasa. . Misailovic. , H...

From Verification to Synthesis

From Verification to Synthesis

tawny-fly
11 Slides

Sumit Gulwani. sumitg@microsoft.com. Microsoft Re...

From Verification to Synthesis

From Verification to Synthesis

calandra-battersby
11 Slides

Sumit Gulwani. sumitg@microsoft.com. Microsoft Re...

PLDI 2018 Program-Chair Report

PLDI 2018 Program-Chair Report

myesha-ticknor
0 Slides

Dan Grossman. Process [with some data]. Data [wit...

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

lindy-dunigan
0 Slides

Dan . Grossman. Professor and Deputy Director. Pa...

Precise, Dynamic Information Flow for Database-Backed Applications

Precise, Dynamic Information Flow for Database-Backed Applications

molly
38 Slides

Jean Yang, Travis . Hance. , Thomas H. Austin, Arm...

FCRC Report (Federated Computing Research Conference)

FCRC Report (Federated Computing Research Conference)

ian
10 Slides

Vivek Sarkar (. vsarkar@gatech.edu. ). Chair, Scho...

Copyright © 2024 DocSlides. All Rights Reserved