Volume 47; Issue 10

ACM SIGPLAN Notices

Volume 47; Issue 10
4

Integrating task parallelism with actors

Imam, Shams M., Sarkar, Vivek
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 889 KB
english, 2012
5

Open and efficient type switch for C++

Solodkyy, Yuriy, Dos Reis, Gabriel, Stroustrup, Bjarne
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.71 MB
english, 2012
6

Work-stealing without the baggage

Kumar, Vivek, Frampton, Daniel, Blackburn, Stephen M., Grove, David, Tardieu, Olivier
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 943 KB
english, 2012
8

Mitigating the compiler optimization phase-ordering problem using machine learning

Kulkarni, Sameer, Cavazos, John
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.04 MB
english, 2012
9

Elixir

Prountzos, Dimitrios, Manevich, Roman, Pingali, Keshav
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 697 KB
english, 2012
10

Scaling symbolic execution using ranged analysis

Siddiqui, Junaid Haroon, Khurshid, Sarfraz
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 590 KB
english, 2012
12

Formal specification of a JavaScript module system

Kang, Seonghoon, Ryu, Sukyoung
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 642 KB
english, 2012
13

Constrained kinds

Tardieu, Olivier, Nystrom, Nathaniel, Peshansky, Igor, Saraswat, Vijay
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 598 KB
english, 2012
14

Reim & ReImInfer

Huang, Wei, Milanova, Ana, Dietl, Werner, Ernst, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 877 KB
english, 2012
16

Chaperones and impersonators

Strickland, T. Stephen, Tobin-Hochstadt, Sam, Findler, Robert Bruce, Flatt, Matthew
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 793 KB
english, 2012
17

Typestate-based semantic code search over partial programs

Mishne, Alon, Shoham, Sharon, Yahav, Eran
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.15 MB
english, 2012
18

Reducing the barriers to writing verified specifications

Schiller, Todd W., Ernst, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.48 MB
english, 2012
19

Taming MATLAB

Dubrau, Anton Willy, Hendren, Laurie Jane
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 472 KB
english, 2012
21

Safe compiler-driven transaction checkpointing and recovery

Sreeram, Jaswanth, Pande, Santosh
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.07 MB
english, 2012
22

Towards a practical secure concurrent language

Muller, Stefan, Chong, Stephen
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 712 KB
english, 2012
23

Modular and verified automatic program repair

Logozzo, Francesco, Ball, Thomas
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 646 KB
english, 2012
24

Optimization coaching

St-Amour, Vincent, Tobin-Hochstadt, Sam, Felleisen, Matthias
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 817 KB
english, 2012
25

Kitsune

Hayden, Christopher M., Smith, Edward K., Denchev, Michail, Hicks, Michael, Foster, Jeffrey S.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 676 KB
english, 2012
27

Molecule

Bocq, Sébastien, Daenen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 517 KB
english, 2012
28

Automatically enhancing locality for tree traversals with traversal splicing

Jo, Youngjoon, Kulkarni, Milind
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 2.81 MB
english, 2012
29

From clarity to efficiency for distributed algorithms

Liu, Yanhong A., Stoller, Scott D., Lin, Bo, Gorbovitski, Michael
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 497 KB
english, 2012
30

Eval begone!

Meawad, Fadi, Richards, Gregor, Morandat, Floréal, Vitek, Jan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 549 KB
english, 2012
31

Software data-triggered threads

Tseng, Hung-Wei, Tullsen, Dean Michael
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 527 KB
english, 2012
33

Finding reusable data structures

Xu, Guoqing
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 605 KB
english, 2012
34

GPUVerify

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Qadeer, Shaz, Thomson, Paul
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 901 KB
english, 2012
35

Exploring multi-threaded Java application performance on multicore hardware

Sartor, Jennfer B., Eeckhout, Lieven
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 723 KB
english, 2012
36

Program extrapolation with jennisys

Leino, K. Rustan M., Milicevic, Aleksandar
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 603 KB
english, 2012
37

k-Calling context profiling

Ausiello, Giorgio, Demetrescu, Camil, Finocchi, Irene, Firmani, Donatella
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 613 KB
english, 2012
38

White box sampling in uncertain data processing enabled by program analysis

Bao, Tao, Zheng, Yunhui, Zhang, Xiangyu
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.02 MB
english, 2012
39

Predicate abstraction of Java programs with collections

Parízek, Pavel, Lhoták, OndYej
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 665 KB
english, 2012
41

IFRit

Effinger-Dean, Laura, Lucia, Brandon, Ceze, Luis, Grossman, Dan, Boehm, Hans-J.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 847 KB
english, 2012
43

Energy types

Cohen, Michael, Zhu, Haitao Steve, Senem, Emgin Ezgi, Liu, Yu David
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 858 KB
english, 2012
44

Checking reachability using matching logic

Rosu, Grigore, Stefanescu, Andrei
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 536 KB
english, 2012
47

Higher-order symbolic execution via contracts

Tobin-Hochstadt, Sam, Van Horn, David
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 642 KB
english, 2012
48

Dependent types for JavaScript

Chugh, Ravi, Herman, David, Jhala, Ranjit
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 949 KB
english, 2012
49

AutoMan

Barowy, Daniel W., Curtsinger, Charlie, Berger, Emery D., McGregor, Andrew
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 4.03 MB
english, 2012
50

Maple

Yu, Jie, Narayanasamy, Satish, Pereira, Cristiano, Pokam, Gilles
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 924 KB
english, 2012
51

A black-box approach to understanding concurrency in DaCapo

Kalibera, Tomas, Mole, Matthew, Jones, Richard, Vitek, Jan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 567 KB
english, 2012
52

LEAN

Huang, Jeff, Zhang, Charles
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 509 KB
english, 2012
53

Reusing debugging knowledge via trace-based bug search

Gu, Zhongxian, Barr, Earl T., Schleck, Drew, Su, Zhendong
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 838 KB
english, 2012