Sciweavers

25 search results - page 1 / 5

» pldi 2011

33

PLDI
2011
ACM

187views Programming Languages» more PLDI 2011»

LL(*): the foundation of the ANTLR parser generator

13 years 1 months ago

LL(*): the foundation of the ANTLR parser generator

Download www.antlr.org

Terence Parr, Kathleen Fisher

claim paper

Read More »

29

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

13 years 1 months ago

Predicate abstraction and CEGAR for higher-order model checking

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

35

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

13 years 1 months ago

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

28

PLDI
2011
ACM

163views Programming Languages» more PLDI 2011»

Partial-coherence abstractions for relaxed memory models

13 years 1 months ago

Partial-coherence abstractions for relaxed memory models

Download www.cs.technion.ac.il

Michael Kuperstein, Martin T. Vechev, Eran Yahav

claim paper

Read More »

33

PLDI
2011
ACM

223views Programming Languages» more PLDI 2011»

LeakChaser: helping programmers narrow down causes of memory leaks

13 years 1 months ago

LeakChaser: helping programmers narrow down causes of memory leaks

Download www.cse.ohio-state.edu

Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Ata...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »