Volume 46; Issue 10

ACM SIGPLAN Notices

Volume 46; Issue 10
1

Sprint : speculative prefetching of remote data

Raman, Arun, Yorsh, Greta, Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 513 KB
english, 2011
2

Cedalion

Lorenz, David H., Rosenan, Boaz
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.61 MB
english, 2011
5

The sequential prison

Sutherland, Ivan
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 363 KB
english, 2011
6

Data-driven synthesis for object-oriented frameworks

Yessenov, Kuat, Xu, Zhilei, Solar-Lezama, Armando
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.12 MB
english, 2011
7

PREFAIL

Joshi, Pallavi, Gunawi, Haryadi S., Sen, Koushik
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 628 KB
english, 2011
8

Catch me if you can

Jovic, Milan, Adamoli, Andrea, Hauswirth, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.34 MB
english, 2011
9

Kind analysis for MATLAB

Doherty, Jesse, Hendren, Laurie, Radpour, Soroush
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 747 KB
english, 2011
10

Safe parallel programming using dynamic dependence hints

Ke, Chuanle, Liu, Lei, Zhang, Chao, Bai, Tongxin, Jacobs, Bryan, Ding, Chen
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 728 KB
english, 2011
11

SugarJ

Erdweg, Sebastian, Rendel, Tillmann, Kästner, Christian, Ostermann, Klaus
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 647 KB
english, 2011
12

Asynchronous assertions

Aftandilian, Edward E., Guyer, Samuel Z., Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 476 KB
english, 2011
13

Ribbons

Hoffman, Kevin J., Metzger, Harrison, Eugster, Patrick
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.18 MB
english, 2011
14

Reactive imperative programming with dataflow constraints

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 626 KB
english, 2011
15

Two for the price of one

Burckhardt, Sebastian, Leijen, Daan, Sadowski, Caitlin, Yi, Jaeheon, Ball, Thomas
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1010 KB
english, 2011
16

Enhancing locality for recursive traversals of recursive structures

Jo, Youngjoon, Kulkarni, Milind
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.08 MB
english, 2011
18

Oracle scheduling

Acar, Umut A., Charguéraud, Arthur, Rainey, Mike
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 791 KB
english, 2011
19

Kismet

Jeon, Donghwan, Garcia, Saturnino, Louie, Chris, Taylor, Michael Bedford
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 543 KB
english, 2011
20

Product lines of theorems

Delaware, Benjamin, Cook, William, Batory, Don
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 511 KB
english, 2011
21

A theory of substructural types and control

Tov, Jesse A., Pucella, Riccardo
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 829 KB
english, 2011
22

Da capo con scala

Sewe, Andreas, Mezini, Mira, Sarimbekov, Aibek, Binder, Walter
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.83 MB
english, 2011
23

Self-adjusting stack machines

Hammer, Matthew A., Neis, Georg, Chen, Yan, Acar, Umut A.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 513 KB
english, 2011
25

AC

Harris, Tim, Abadi, Martin, Isaacs, Rebecca, McIlroy, Ross
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 645 KB
english, 2011
26

Virtual values for language extension

Austin, Thomas H., Disney, Tim, Flanagan, Cormac
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 753 KB
english, 2011
27

Backstage Java

Palmer, Zachary, Smith, Scott F.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 773 KB
english, 2011
29

A syntactic type system for recursive modules

Im, Hyeonseung, Nakata, Keiko, Garrigue, Jacques, Park, Sungwoo
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 557 KB
english, 2011
30

RoleCast

Son, Sooel, McKinley, Kathryn S., Shmatikov, Vitaly
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 742 KB
english, 2011
31

Scalable join patterns

Turon, Aaron J., Russo, Claudio V.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 786 KB
english, 2011
32

Declaratively programming the mobile web with Mobl

Hemel, Zef, Visser, Eelco
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.16 MB
english, 2011
34

Delegated isolation

Lublinerman, Roberto, Zhao, Jisheng, Budimlić, Zoran, Chaudhuri, Swarat, Sarkar, Vivek
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.62 MB
english, 2011
35

Accentuating the positive

Weeratunge, Dasarath, Zhang, Xiangyu, Jaganathan, Suresh
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 707 KB
english, 2011
36

Testing atomicity of composed concurrent operations

Shacham, Ohad, Bronson, Nathan, Aiken, Alex, Sagiv, Mooly, Vechev, Martin, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 998 KB
english, 2011
37

Exploiting coarse-grain speculative parallelism

Pyla, Hari K., Ribbens, Calvin, Varadarajan, Srinidhi
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 857 KB
english, 2011
39

Flexible object layouts

Verwaest, Toon, Bruni, Camillo, Lungu, Mircea, Nierstrasz, Oscar
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.17 MB
english, 2011
41

SOS

Li, Du, Srisa-an, Witawas, Dwyer, Matthew B.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.19 MB
english, 2011
42

Why nothing matters

Yang, Xi, Blackburn, Stephen M., Frampton, Daniel, Sartor, Jennifer B., McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 859 KB
english, 2011
44

SHERIFF

Liu, Tongping, Berger, Emery D.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.04 MB
english, 2011
45

Hybrid partial evaluation

Shali, Amin, Cook, William R.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 486 KB
english, 2011
46

Gradual typing for generics

Ina, Lintaro, Igarashi, Atsushi
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 509 KB
english, 2011
47

Synthesis of first-order dynamic programming algorithms

Pu, Yewen, Bodik, Rastislav, Srivastava, Saurabh
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 687 KB
english, 2011
48

First-class state change in plaid

Sunshine, Joshua, Naden, Karl, Stork, Sven, Aldrich, Jonathan, Tanter, Éric
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 934 KB
english, 2011
49

JIT compilation policy for modern machines

Kulkarni, Prasad A.
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 717 KB
english, 2011
50

Composable, nestable, pessimistic atomic statements

Anderson, Zachary, Gay, David
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 631 KB
english, 2011
51

Freedom before commitment

Summers, Alexander J., Mueller, Peter
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 533 KB
english, 2011
52

Integrated language definition testing

Kats, Lennart C.L., Vermaas, Rob, Visser, Eelco
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 703 KB
english, 2011
53

Immutable specifications for more concise and precise verification

David, Cristina, Chin, Wei-Ngan
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 454 KB
english, 2011
55

Automated construction of JavaScript benchmarks

Richards, Gregor, Gal, Andreas, Eich, Brendan, Vitek, Jan
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 2.13 MB
english, 2011
56

Trustworthy numerical computation in Scala

Darulova, Eva, Kuncak, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 785 KB
english, 2011
57

JET

Li, Siliang, Tan, Gang
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 1.44 MB
english, 2011
58

F4F

Sridharan, Manu, Artzi, Shay, Pistoia, Marco, Guarnieri, Salvatore, Tripp, Omer, Berg, Ryan
Journal:
ACM SIGPLAN Notices
Year:
2011
Language:
english
File:
PDF, 655 KB
english, 2011