Volume 43; Issue 6

ACM SIGPLAN Notices

Volume 43; Issue 6
1

Grammar-based whitebox fuzzing

Godefroid, Patrice, Kiezun, Adam, Levin, Michael Y.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 229 KB
english, 2008
2

Foundations of the C++ concurrency memory model

Boehm, Hans-J., Adve, Sarita V.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 215 KB
english, 2008
3

Orchestrating the execution of stream programs on multicore platforms

Kudlur, Manjunath, Mahlke, Scott
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 801 KB
english, 2008
4

Immix

Blackburn, Stephen M., McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 396 KB
english, 2008
6

Deriving linearizable fine-grained concurrent objects

Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 914 KB
english, 2008
7

SharC

Anderson, Zachary, Gay, David, Ennals, Rob, Brewer, Eric
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 206 KB
english, 2008
8

Register allocation by puzzle solving

Quintão Pereira, Fernando Magno, Palsberg, Jens
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 1.60 MB
english, 2008
9

Sound, complete and scalable path-sensitive analysis

Dillig, Isil, Dillig, Thomas, Aiken, Alex
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 398 KB
english, 2008
10

Velodrome

Flanagan, Cormac, Freund, Stephen N., Yi, Jaeheon
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 553 KB
english, 2008
11

Discovering properties about arrays in simple programs

Halbwachs, Nicolas, Péron, Mathias
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 292 KB
english, 2008
12

Model checking transactional memories

Guerraoui, Rachid, Henzinger, Thomas A., Jobstmann, Barbara, Singh, Vasu
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 303 KB
english, 2008
13

Program analysis as constraint solving

Gulwani, Sumit, Srivastava, Saurabh, Venkatesan, Ramarathnam
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 312 KB
english, 2008
14

Efficient program execution indexing

Xin, Bin, Sumner, William N., Zhang, Xiangyu
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 341 KB
english, 2008
15

Iterative optimization in the polyhedral model

Pouchet, Louis-Noël, Bastoul, Cédric, Cohen, Albert, Cavazos, John
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 295 KB
english, 2008
16

Copy coalescing by graph recoloring

Hack, Sebastian, Goos, Gerhard
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 304 KB
english, 2008
17

Sketching concurrent data structures

Solar-Lezama, Armando, Jones, Christopher Grant, Bodik, Rastislav
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 462 KB
english, 2008
18

Inferring locks for atomic sections

Cherem, Sigmund, Chilimbi, Trishul, Gulwani, Sumit
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 285 KB
english, 2008
19

Liquid types

Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 335 KB
english, 2008
20

Certifying low-level programs with hardware interrupts and preemptive threads

Feng, Xinyu, Shao, Zhong, Dong, Yuan, Guo, Yu
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 323 KB
english, 2008
21

Quantitative information flow as network flow capacity

McCamant, Stephen, Ernst, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 312 KB
english, 2008
22

Dataflow analysis for concurrent programs using datarace detection

Chugh, Ravi, Voung, Jan W., Jhala, Ranjit, Lerner, Sorin
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 324 KB
english, 2008
25

Bootstrapping

Kahlon, Vineet
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 484 KB
english, 2008
26

XMem

Wegiel, Michal, Krintz, Chandra
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 249 KB
english, 2008
27

Checking race freedom via linear programming

Terauchi, Tachio
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 187 KB
english, 2008
28

Fair stateless model checking

Musuvathi, Madanlal, Qadeer, Shaz
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 830 KB
english, 2008
29

Explaining failures of program analyses

von Dincklage, Daniel, Diwan, Amer
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 258 KB
english, 2008
30

Full functional verification of linked data structures

Zee, Karen, Kuncak, Viktor, Rinard, Martin
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 332 KB
english, 2008
31

A study of concurrent real-time garbage collectors

Pizlo, Filip, Petrank, Erez, Steensgaard, Bjarne
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 422 KB
english, 2008
33

Expressive and safe static reflection with MorphJ

Huang, Shan Shan, Smaragdakis, Yannis
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 346 KB
english, 2008
34

Race directed random testing of concurrent programs

Sen, Koushik
Journal:
ACM SIGPLAN Notices
Year:
2008
Language:
english
File:
PDF, 199 KB
english, 2008