Volume 44; Issue 1

ACM SIGPLAN Notices

Volume 44; Issue 1
1

Bidirectionalization for free! (Pearl)

Voigtländer, Janis
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 379 KB
english, 2009
2

Compositional shape analysis by means of bi-abduction

Calcagno, Cristiano, Distefano, Dino, O'Hearn, Peter, Yang, Hongseok
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 279 KB
english, 2009
3

Language constructs for transactional memory

Harris, Tim
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 43 KB
english, 2009
4

Positive supercompilation for a higher order call-by-value language

Jonsson, Peter A., Nordlander, Johan
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 272 KB
english, 2009
5

Linear types for computational effects

Simpson, Alex
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 83 KB
english, 2009
7

Local rely-guarantee reasoning

Feng, Xinyu
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 275 KB
english, 2009
8

Classical BI

Brotherston, James, Calcagno, Cristiano
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 292 KB
english, 2009
9

Focusing on pattern matching

Krishnaswami, Neelakantan R.
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 296 KB
english, 2009
11

Types and higher-order recursion schemes for verification of higher-order programs

Kobayashi, Naoki
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 293 KB
english, 2009
12

Automated verification of practical garbage collectors

Hawblitzel, Chris, Petrank, Erez
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 855 KB
english, 2009
13

State-dependent representation independence

Ahmed, Amal, Dreyer, Derek, Rossberg, Andreas
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 373 KB
english, 2009
14

Formal certification of code-based cryptographic proofs

Barthe, Gilles, Grégoire, Benjamin, Zanella Béguelin, Santiago
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 357 KB
english, 2009
15

Static contract checking for Haskell

Xu, Dana N., Peyton Jones, Simon, Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 271 KB
english, 2009
16

Modular code generation from synchronous block diagrams

Lublinerman, Roberto, Szegedy, Christian, Tripakis, Stavros
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 363 KB
english, 2009
17

Automatic modular abstractions for linear constraints

Monniaux, David P.
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 375 KB
english, 2009
18

The semantics of progress in lock-based transactional memory

Guerraoui, Rachid, Kapalka, Michal
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 251 KB
english, 2009
19

Flexible types

Leijen, Daan
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 305 KB
english, 2009
20

Feedback-directed barrier optimization in a strongly isolated STM

Bronson, Nathan G., Kozyrakis, Christos, Olukotun, Kunle
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 405 KB
english, 2009
21

SPEED

Gulwani, Sumit, Mehra, Krishna K., Chilimbi, Trishul
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 298 KB
english, 2009
22

Wild control operators

Barker, Chris
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 77 KB
english, 2009
24

Equality saturation

Tate, Ross, Stepp, Michael, Tatlock, Zachary, Lerner, Sorin
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 309 KB
english, 2009
25

A model of cooperative threads

Abadi, Martin, Plotkin, Gordon
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 256 KB
english, 2009
26

Modeling abstract types in modules with open existential types

Montagu, Benoît, Rémy, Didier
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 275 KB
english, 2009
27

Relaxed memory models

Boudol, Gérard, Petri, Gustavo
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 285 KB
english, 2009
28

Masked types for sound object initialization

Qi, Xin, Myers, Andrew C.
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 292 KB
english, 2009
29

Verifying distributed systems

Ridge, Thomas
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 219 KB
english, 2009
30

Lazy evaluation and delimited control

Garcia, Ronald, Lumsdaine, Andrew, Sabry, Amr
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 297 KB
english, 2009
31

Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 316 KB
english, 2009
32

A combination framework for tracking partition sizes

Gulwani, Sumit, Lev-Ami, Tal, Sagiv, Mooly
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 310 KB
english, 2009
33

Semi-sparse flow-sensitive pointer analysis

Hardekopf, Ben, Lin, Calvin
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 240 KB
english, 2009
34

A foundation for flow-based program matching

Brunel, Julien, Doligez, Damien, Hansen, René Rydhof, Lawall, Julia L., Muller, Gilles
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 676 KB
english, 2009
35

The third homomorphism theorem on trees

Morihata, Akimasa, Matsuzaki, Kiminori, Hu, Zhenjiang, Takeichi, Masato
Journal:
ACM SIGPLAN Notices
Year:
2009
Language:
english
File:
PDF, 213 KB
english, 2009