Sciweavers

10585 search results - page 12 / 2117

» The Orc Programming Language

92

PLDI
2011
ACM

181views Programming Languages» more PLDI 2011»

A security policy oracle: detecting security holes using multiple API implementations

14 years 6 months ago

A security policy oracle: detecting security holes using multiple API implementations

Download www.cs.utexas.edu

Varun Srivastava, Michael D. Bond, Kathryn S. McKi...

claim paper

Read More »

84

POPL
2012
ACM

257views Programming Languages» more POPL 2012»

Canonicity for 2-dimensional type theory

13 years 10 months ago

Canonicity for 2-dimensional type theory

Download www.cs.cmu.edu

nvenient way of pattern-matching against abstract data types. Publications: Dissertation

Daniel R. Licata, Robert Harper

claim paper

Read More »

84

JMLR
2012

175views Programming Languages» more JMLR 2012»

MULTIBOOST: A Multi-purpose Boosting Package

13 years 5 months ago

MULTIBOOST: A Multi-purpose Boosting Package

Download www.lri.fr

Djalel Benbouzid, Róbert Busa-Fekete, Norma...

claim paper

Read More »

145

PPOPP
2012
ACM

282views Distributed and Parallel Com...» more PPOPP 2012»

Chestnut: a GPU programming language for non-experts

13 years 10 months ago

Chestnut: a GPU programming language for non-experts

Download www.cs.swarthmore.edu

Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite diﬃcult, limiting its use to experienced prog...

Andrew Stromme, Ryan Carlson, Tia Newhall

claim paper

Read More »

340

Voted

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

16 years 3 months ago

Verifying safety properties of concurrent Java programs using 3-valued logic

Download www.research.ibm.com

Eran Yahav

claim paper

Read More »

« Prev « First page 12 / 2117 Last » Next »