Search Sciweavers | Sciweavers

36 search results - page 1 / 8

» pldi 2010

click to vote

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

13 years 9 months ago

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

click to vote

PLDI
2010
ACM

203views Programming Languages» more PLDI 2010»

Inferable object-oriented typed assembly language

13 years 10 months ago

Download cseweb.ucsd.edu

Ross Tate, Juan Chen, Chris Hawblitzel

claim paper

Read More »

click to vote

PLDI
2010
ACM

156views Programming Languages» more PLDI 2010»

Safe programmable speculative parallelism

13 years 10 months ago

Download research.microsoft.com

Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani

claim paper

Read More »

click to vote

PLDI
2010
ACM

222views Programming Languages» more PLDI 2010»

GUESSTIMATE: A Programming Model for Collaborative Distributed Systems

13 years 9 months ago

Download research.microsoft.com

Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...

claim paper

Read More »

click to vote

PLDI
2010
ACM

187views Programming Languages» more PLDI 2010»

Evaluating the accuracy of Java profilers

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers