Search Sciweavers | Sciweavers

3473 search results - page 127 / 695

» Aspect-Oriented Programming with C

176

click to vote

PLDI
2012
ACM

189views Programming Languages» more PLDI 2012»

Proving acceptability properties of relaxed nondeterministic approximate programs

13 years 9 months ago

Download people.csail.mit.edu

Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...

claim paper

Read More »

193

click to vote

ENTCS
2008

139views more ENTCS 2008»

Pervasive Compiler Verification - From Verified Programs to Verified Systems

15 years 7 months ago

Download www-ti.informatik.uni-tuebingen.de

We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...

Dirk Leinenbach, Elena Petrova

claim paper

Read More »

189

click to vote

CAV
2012
Springer

236views Hardware» more CAV 2012»

Lock Removal for Concurrent Trace Programs

13 years 9 months ago

Download www.cs.utexas.edu

Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...

Vineet Kahlon, Chao Wang

claim paper

Read More »

165

click to vote

SOSP
2001
ACM

93views Operating System» more SOSP 2001»

Untrusted Hosts and Confidentiality: Secure Program Partitioning

16 years 3 months ago

Download tianyuan.org

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...

claim paper