Sciweavers

12452 search results - page 161 / 2491

» An exploration of program as language

159

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 10 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 »

170

Voted

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

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

14 years 10 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 »

164

POPL
2011
ACM

191views Programming Languages» more POPL 2011»

Learning minimal abstractions

14 years 10 months ago

Learning minimal abstractions

Download www.cs.tau.ac.il

Percy Liang, Omer Tripp, Mayur Naik

claim paper

Read More »

130

POPL
2012
ACM

265views Programming Languages» more POPL 2012»

On the power of coercion abstraction

14 years 2 months ago

On the power of coercion abstraction

Download gallium.inria.fr

Julien Cretin, Didier Rémy

claim paper

Read More »

151

TOIT
2012

191views Programming Languages» more TOIT 2012»

Firewall policy change-impact analysis

13 years 9 months ago

Firewall policy change-impact analysis

Download www.cse.msu.edu

Alex X. Liu

claim paper

Read More »

« Prev « First page 161 / 2491 Last » Next »