Volume 45; Issue 10

ACM SIGPLAN Notices

Volume 45; Issue 10
1

Pinocchio

Verwaest, Toon, Bruni, Camillo, Gurtner, David, Lienhard, Adrian, Niestrasz, Oscar
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 2.13 MB
english, 2010
2

The case for evolvable software

Forrest, Stephanie
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 298 KB
english, 2010
3

Efficient modular glass box software model checking

Roberson, Michael, Boyapati, Chandrasekhar
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 460 KB
english, 2010
4

An experiment about static and dynamic type systems

Hanenberg, Stefan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 646 KB
english, 2010
5

A simple inductive synthesis methodology and its applications

Itzhaky, Shachar, Gulwani, Sumit, Immerman, Neil, Sagiv, Mooly
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 610 KB
english, 2010
7

G-Finder

Li, Wei, Zhang, Charles, Hu, Songlin
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 864 KB
english, 2010
8

An input-centric paradigm for program dynamic optimizations

Tian, Kai, Jiang, Yunlian, Zhang, Eddy Z., Shen, Xipeng
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 923 KB
english, 2010
11

Monitor optimization via stutter-equivalent loop transformation

Purandare, Rahul, Dwyer, Matthew B., Elbaum, Sebastian
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 965 KB
english, 2010
12

Component adaptation and assembly using interface relations

Kell, Stephen
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 879 KB
english, 2010
14

MetaFJig

Servetto, Marco, Zucca, Elena
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 709 KB
english, 2010
15

Modular logic metaprogramming

Klose, Karl, Ostermann, Klaus
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 678 KB
english, 2010
16

Reasoning about multiple related abstractions with MultiStar

van Staden, Stephan, Calcagno, Cristiano
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 454 KB
english, 2010
18

The two-state solution

McCarthy, Jay A.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 433 KB
english, 2010
19

Back to the futures

Swaine, James, Tew, Kevin, Dinda, Peter, Findler, Robert Bruce, Flatt, Matthew
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 14.63 MB
english, 2010
20

Ownership and immutability in generic Java

Zibin, Yoav, Potanin, Alex, Li, Paley, Ali, Mahmood, Ernst, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 845 KB
english, 2010
21

Tribal ownership

Cameron, Nicholas, Noble, James, Wrigstad, Tobias
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 961 KB
english, 2010
22

Automatic atomic region identification in shared memory SPMD programs

Upadhyaya, Gautam, Midkiff, Samuel P., Pai, Vijay S.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 504 KB
english, 2010
23

Task types for pervasive atomicity

Kulkarni, Aditya, Liu, Yu David, Smith, Scott F.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1000 KB
english, 2010
24

Concurrent programming with revisions and isolation types

Burckhardt, Sebastian, Baldassin, Alexandro, Leijen, Daan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.19 MB
english, 2010
25

SPUR

Bebenita, Michael, Brandner, Florian, Fahndrich, Manuel, Logozzo, Francesco, Schulte, Wolfram, Tillmann, Nikolai, Venter, Herman
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 937 KB
english, 2010
26

Refactoring references for library migration

Kapur, Puneet, Cossette, Brad, Walker, Robert J.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 654 KB
english, 2010
27

Registration-based language abstractions

Davis, Samuel, Kiczales, Gregor
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 513 KB
english, 2010
28

Concurrency by modularity

Rajan, Hridesh, Kautz, Steven M., Rowcliffe, Wayne
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 503 KB
english, 2010
30

Programming with time

Sorensen, Andrew, Gardner, Henry
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.91 MB
english, 2010
33

Managing ambiguity in programming by finding unambiguous examples

Arnold, Kenneth C., Lieberman, Henry
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 971 KB
english, 2010
34

Better science through art

Gabriel, Richard P., Sullivan, Kevin J.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 4.72 MB
english, 2010
35

The Tower of Babel did not fail

Adamczyk, Paul, Hafiz, Munawar
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 422 KB
english, 2010
36

Art, science, and fear

Pierce, Benjamin C.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 246 KB
english, 2010
37

From OO to FPGA

Kou, Stephen, Palsberg, Jens
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 484 KB
english, 2010
39

Symbolic heap abstraction with demand-driven axiomatization of memory invariants

Dillig, Isil, Dillig, Thomas, Aiken, Alex
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 777 KB
english, 2010
40

Type classes as objects and implicits

Oliveira, Bruno C.d.S., Moors, Adriaan, Odersky, Martin
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 507 KB
english, 2010
43

Specifying and implementing refactorings

Schaefer, Max, de Moor, Oege
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 654 KB
english, 2010
44

To upgrade or not to upgrade

Dumitras, Tudor, Narasimhan, Priya, Tilevich, Eli
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 430 KB
english, 2010
45

Lime

Auerbach, Joshua, Bacon, David F., Cheng, Perry, Rabbah, Rodric
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 899 KB
english, 2010
47

Parallel inclusion-based points-to analysis

Méndez-Lojo, Mario, Mathew, Augustine, Pingali, Keshav
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 2.14 MB
english, 2010
48

The spoofax language workbench

Kats, Lennart C.L., Visser, Eelco
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.35 MB
english, 2010
49

Homogeneous family sharing

Qi, Xin, Myers, Andrew C.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 553 KB
english, 2010
50

Random testing for higher-order, stateful programs

Klein, Casey, Flatt, Matthew, Findler, Robert Bruce
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 397 KB
english, 2010
51

A time-aware type system for data-race protection and guaranteed initialization

Matsakis, Nicholas D., Gross, Thomas R.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 519 KB
english, 2010
52

Performance analysis of idle programs

Altman, Erik, Arnold, Matthew, Fink, Stephen, Mitchell, Nick
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.74 MB
english, 2010
53

Pure and declarative syntax definition

Kats, Lennart C.L., Visser, Eelco, Wachsmuth, Guido
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 610 KB
english, 2010
54

Dynamic parallelization of recursive code

Herzeel, Charlotte, Costanza, Pascal
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 648 KB
english, 2010
55

To achieve our highest goals, we must be willing to abandon them

Stanley, Kenneth O.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 345 KB
english, 2010
56

A study of Java's non-Java memory

Ogata, Kazunori, Mikurube, Dai, Kawachiya, Kiyokuni, Trent, Scott, Onodera, Tamiya
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 581 KB
english, 2010
57

Agility in context

Hoda, Rashina, Kruchten, Philippe, Noble, James, Marshall, Stuart
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 523 KB
english, 2010
58

A dynamic evaluation of the precision of static heap abstractions

Liang, Percy, Tripp, Omer, Naik, Mayur, Sagiv, Mooly
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 629 KB
english, 2010