Volume 45; Issue 6

ACM SIGPLAN Notices

Volume 45; Issue 6
1

A GPGPU compiler for memory optimization and parallelism management

Yang, Yi, Xiang, Ping, Kong, Jingfei, Zhou, Huiyang
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 532 KB
english, 2010
2

Printing floating-point numbers quickly and accurately with integers

Loitsch, Florian
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 532 KB
english, 2010
3

Mint

Westbrook, Edwin, Ricken, Mathias, Inoue, Jun, Yao, Yilong, Abdelatif, Tamer, Taha, Walid
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 466 KB
english, 2010
4

Schism

Pizlo, Filip, Ziarek, Lukasz, Maj, Petr, Hosking, Antony L., Blanton, Ethan, Vitek, Jan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 954 KB
english, 2010
5

FlumeJava

Chambers, Craig, Raniwala, Ashish, Perry, Frances, Adams, Stephen, Henry, Robert R., Bradshaw, Robert, Weizenbaum, Nathan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.16 MB
english, 2010
6

An analysis of the dynamic behavior of JavaScript programs

Richards, Gregor, Lebresne, Sylvain, Burg, Brian, Vitek, Jan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 624 KB
english, 2010
7

Finding low-utility data structures

Xu, Guoqing, Mitchell, Nick, Arnold, Matthew, Rountev, Atanas, Schonberg, Edith, Sevitsky, Gary
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 822 KB
english, 2010
8

Green

Baek, Woongki, Chilimbi, Trishul M.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.34 MB
english, 2010
9

GUESSTIMATE

Rajan, Kaushik, Rajamani, Sriram, Yaduvanshi, Shashank
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 555 KB
english, 2010
10

MemSAT

Torlak, Emina, Vaziri, Mandana, Dolby, Julian
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 573 KB
english, 2010
11

Bamboo

Zhou, Jin, Demsky, Brian
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 924 KB
english, 2010
12

Z-rays

Sartor, Jennifer B., Blackburn, Stephen M., Frampton, Daniel, Hirzel, Martin, McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 750 KB
english, 2010
13

Traceable data types for self-adjusting computation

Acar, Umut A., Blelloch, Guy, Ley-Wild, Ruy, Tangwongsan, Kanat, Turkoglu, Duru
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 524 KB
english, 2010
14

Ur

Chlipala, Adam
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 495 KB
english, 2010
15

Supporting speculative parallelization in the presence of dynamic data structures

Tian, Chen, Feng, Min, Gupta, Rajiv
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.12 MB
english, 2010
16

Jinn

Lee, Byeongcheol, Wiedermann, Ben, Hirzel, Martin, Grimm, Robert, McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 700 KB
english, 2010
17

PACER

Bond, Michael D., Coons, Katherine E., McKinley, Kathryn S.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 625 KB
english, 2010
18

Resolving and exploiting the k -CFA paradox

Might, Matthew, Smaragdakis, Yannis, Van Horn, David
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 582 KB
english, 2010
19

Complete functional synthesis

Kuncak, Viktor, Mayer, Mikaël, Piskac, Ruzica, Suter, Philippe
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 502 KB
english, 2010
20

2010 Athena lecture

Eggers, Susan
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 294 KB
english, 2010
21

The reachability-bound problem

Gulwani, Sumit, Zuleger, Florian
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 730 KB
english, 2010
22

Evaluating the accuracy of Java profilers

Mytkowicz, Todd, Diwan, Amer, Hauswirth, Matthias, Sweeney, Peter F.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 453 KB
english, 2010
25

Bringing extensibility to verified compilers

Tatlock, Zachary, Lerner, Sorin
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 820 KB
english, 2010
26

Smooth interpretation

Chaudhuri, Swarat, Solar-Lezama, Armando
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 2.00 MB
english, 2010
27

Inferable object-oriented typed assembly language

Tate, Ross, Chen, Juan, Hawblitzel, Chris
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 635 KB
english, 2010
28

A context-free markup language for semi-structured text

Xi, Qian, Walker, David
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 543 KB
english, 2010
29

DRFX

Marino, Daniel, Singh, Abhayendra, Millstein, Todd, Musuvathi, Madanlal, Narayanasamy, Satish
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 539 KB
english, 2010
30

Breadcrumbs

Bond, Michael D., Baker, Graham Z., Guyer, Samuel Z.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 484 KB
english, 2010
31

Software data spreading

Kamruzzaman, Md, Swanson, Steven, Tullsen, Dean M.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1023 KB
english, 2010
32

Mixing type checking and symbolic execution

Khoo, Yit Phang, Chang, Bor-Yuh Evan, Foster, Jeffrey S.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 537 KB
english, 2010
33

Detecting inefficiently-used containers to avoid bloat

Xu, Guoqing, Rountev, Atanas
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 826 KB
english, 2010
34

Line-up

Burckhardt, Sebastian, Dern, Chris, Musuvathi, Madanlal, Tan, Roy
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 653 KB
english, 2010
35

Composing parallel software efficiently with lithe

Pan, Heidi, Hindman, Benjamin, Asanović, Krste
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.20 MB
english, 2010
36

Decoupled lifeguards

Ruwase, Olatunji, Chen, Shimin, Gibbons, Phillip B., Mowry, Todd C.
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 1.50 MB
english, 2010
37

Parameterized verification of transactional memories

Emmi, Michael, Majumdar, Rupak, Manevich, Roman
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 539 KB
english, 2010
38

Safe programmable speculative parallelism

Prabhu, Prakash, Ramalingam, Ganesan, Vaswani, Kapil
Journal:
ACM SIGPLAN Notices
Year:
2010
Language:
english
File:
PDF, 703 KB
english, 2010