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 8 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 9 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 9 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 8 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers