Search Sciweavers | Sciweavers

62 search results - page 2 / 13

» Quantitative Synthesis for Concurrent Programs

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

13 years 9 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

click to vote

CAP
2010

105views Distributed And Parallel Com...» more CAP 2010»

A quantitative study of reductions in algebraic libraries

12 years 11 months ago

Download parasol.tamu.edu

How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...

Yue Li, Gabriel Dos Reis

claim paper

Read More »

click to vote

APLAS
2009
ACM

132views Programming Languages» more APLAS 2009»

Bi-abductive Resource Invariant Synthesis

13 years 11 months ago

Download www.cl.cam.ac.uk

We describe an algorithm for synthesizing resource invariants that are used in the veriﬁcation of concurrent programs. This synthesis employs bi-abductive inference to identify t...

Cristiano Calcagno, Dino Distefano, Viktor Vafeiad...

claim paper

Read More »

click to vote

PLDI
2012
ACM

235views Programming Languages» more PLDI 2012»

Concurrent data representation synthesis

11 years 7 months ago

Download theory.stanford.edu

We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...

claim paper

Read More »

click to vote

AAAI
2000

149views Intelligent Agents» more AAAI 2000»

SciFinance: A Program Synthesis Tool for Financial Modeling

13 years 6 months ago

Download www.aaai.org

The SciFinance

Robert L. Akers, Ion Bica, Elaine Kant, Curt Randa...

claim paper