Volume 47; Issue 6

ACM SIGPLAN Notices

Volume 47; Issue 6
1

Commutative set

Prabhu, Prakash, Ghosh, Soumyadeep, Zhang, Yun, Johnson, Nick P., August, David I.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 849 KB
english, 2012
3

Mostly-automated verification of low-level programs in computational separation logic

Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 524 KB
english, 2012
4

Taming wildcards in Java's type system

Tate, Ross, Leung, Alan, Lerner, Sorin
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 772 KB
english, 2012
5

Parallelism orchestration using DoPE

Raman, Arun, Kim, Hanjun, Oh, Taewook, Lee, Jae W., August, David I.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 665 KB
english, 2012
6

Finding and understanding bugs in C compilers

Yang, Xuejun, Chen, Yang, Eide, Eric, Regehr, John
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 622 KB
english, 2012
7

Cruiser

Zeng, Qiang, Wu, Dinghao, Liu, Peng
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 640 KB
english, 2012
9

Brainy

Jung, Changhee, Rus, Silvius, Railing, Brian P., Clark, Nathan, Pande, Santosh
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.24 MB
english, 2012
10

A case for an SC-preserving compiler

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 575 KB
english, 2012
11

Spreadsheet table transformations from examples

Harris, William R., Gulwani, Sumit
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 557 KB
english, 2012
12

Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 596 KB
english, 2012
16

Higher-order test generation

Godefroid, Patrice
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 489 KB
english, 2012
17

LeakChaser

Xu, Guoqing, Bond, Michael D., Qin, Feng, Rountev, Atanas
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 617 KB
english, 2012
18

Evaluating value-graph translation validation for LLVM

Tristan, Jean-Baptiste, Govereau, Paul, Morrisett, Greg
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 737 KB
english, 2012
19

Safe optimisations for shared-memory concurrent programs

Ševčík, Jaroslav
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 501 KB
english, 2012
20

Garbage collection for monitoring parametric properties

Jin, Dongyun, Meredith, Patrick O'Neil, Griffith, Dennis, Rosu, Grigore
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 483 KB
english, 2012
21

Mining hot calling contexts in small space

D'Elia, Daniele Cono, Demetrescu, Camil, Finocchi, Irene
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 503 KB
english, 2012
23

Data representation synthesis

Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin, Sagiv, Mooly
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 700 KB
english, 2012
24

Partial-coherence abstractions for relaxed memory models

Kuperstein, Michael, Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 931 KB
english, 2012
25

Probabilistic, modular and scalable inference of typestate specifications

Beckman, Nels E., Nori, Aditya V.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 786 KB
english, 2012
26

LL(*)

Parr, Terence, Fisher, Kathleen
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 691 KB
english, 2012
27

Path-based inductive synthesis for program inversion

Srivastava, Saurabh, Gulwani, Sumit, Chaudhuri, Swarat, Foster, Jeffrey S.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 684 KB
english, 2012
28

Directed incremental symbolic execution

Person, Suzette, Yang, Guowei, Rungta, Neha, Khurshid, Sarfraz
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 579 KB
english, 2012
29

Exploiting the commutativity lattice

Kulkarni, Milind, Nguyen, Donald, Prountzos, Dimitrios, Sui, Xin, Pingali, Keshav
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 612 KB
english, 2012
30

Predicate abstraction and CEGAR for higher-order model checking

Kobayashi, Naoki, Sato, Ryosuke, Unno, Hiroshi
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 471 KB
english, 2012
31

Languages as libraries

Tobin-Hochstadt, Sam, St-Amour, Vincent, Culpepper, Ryan, Flatt, Matthew, Felleisen, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 549 KB
english, 2012
32

Kremlin

Garcia, Saturnino, Jeon, Donghwan, Louie, Christopher M., Taylor, Michael Bedford
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 477 KB
english, 2012
33

Systematic editing

Meng, Na, Kim, Miryung, McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 2.06 MB
english, 2012
34

Synchronization via scheduling

Best, Micah J., Mottishaw, Shane, Mustard, Craig, Roth, Mark, Fedorova, Alexandra, Brownsword, Andrew
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 855 KB
english, 2012
35

Synthesis of loop-free programs

Gulwani, Sumit, Jha, Susmit, Tiwari, Ashish, Venkatesan, Ramarathnam
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 664 KB
english, 2012
37

SuperC

Gazzillo, Paul, Grimm, Robert
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.59 MB
english, 2012
38

Algorithmic profiling

Zaparanuks, Dmitrijs, Hauswirth, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 442 KB
english, 2012
40

Deterministic parallelism via liquid effects

Kawaguchi, Ming, Rondon, Patrick, Bakst, Alexander, Jhala, Ranjit
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 697 KB
english, 2012
41

Diderot

Chiw, Charisee, Kindlmann, Gordon, Reppy, John, Samuels, Lamont, Seltzer, Nick
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.34 MB
english, 2012
43

Type-directed completion of partial expressions

Perelman, Daniel, Gulwani, Sumit, Ball, Thomas, Grossman, Dan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 665 KB
english, 2012
44

The implicit calculus

Oliveira, Bruno C.d.S., Schrijvers, Tom, Choi, Wontae, Lee, Wonchan, Yi, Kwangkeun
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 447 KB
english, 2012
45

Input-sensitive profiling

Coppa, Emilio, Demetrescu, Camil, Finocchi, Irene
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 554 KB
english, 2012
46

Efficient state merging in symbolic execution

Kuznetsov, Volodymyr, Kinder, Johannes, Bucur, Stefan, Candea, George
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 407 KB
english, 2012
47

Automated synthesis of symbolic instruction encodings from I/O samples

Godefroid, Patrice, Taly, Ankur
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 462 KB
english, 2012
48

Fully automatic and precise detection of thread safety violations

Pradel, Michael, Gross, Thomas R.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 558 KB
english, 2012
49

Engage

Fischer, Jeffrey, Majumdar, Rupak, Esmaeilsabzali, Shahram
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 430 KB
english, 2012
50

Synthesising graphics card programs from DSLs

Cartey, Luke, Lyngsø, Rune, de Moor, Oege
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 474 KB
english, 2012
51

Dynamic synthesis for relaxed memory models

Liu, Feng, Nedev, Nayden, Prisadnikov, Nedyalko, Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 776 KB
english, 2012