Volume 49; Issue 6

ACM SIGPLAN Notices

Volume 49; Issue 6
3

Slicing probabilistic programs

Hur, Chung-Kil, Nori, Aditya V., Rajamani, Sriram K., Samuel, Selva
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 580 KB
english, 2014
4

A model counter for constraints over unbounded strings

Luu, Loi, Shinde, Shweta, Saxena, Prateek, Demsky, Brian
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 380 KB
english, 2014
5

Doppio

Vilk, John, Berger, Emery D.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 691 KB
english, 2014
6

Modular control-flow integrity

Niu, Ben, Tan, Gang
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 268 KB
english, 2014
7

Don't sweat the small stuff

Greenaway, David, Lim, Japheth, Andronick, June, Klein, Gerwin
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 526 KB
english, 2014
8

Test-driven synthesis

Perelman, Daniel, Gulwani, Sumit, Grossman, Dan, Provost, Peter
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 397 KB
english, 2014
9

Compiler-assisted detection of transient memory errors

Tavarageri, Sanket, Krishnamoorthy, Sriram, Sadayappan, P.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 314 KB
english, 2014
12

Globally precise-restartable execution of parallel programs

Gupta, Gagan, Sridharan, Srinath, Sohi, Gurindar S.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 1003 KB
english, 2014
13

Race detection for Android applications

Maiya, Pallavi, Kanade, Aditya, Majumdar, Rupak
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 468 KB
english, 2014
14

Taming the parallel effect zoo

Kuper, Lindsey, Todd, Aaron, Tobin-Hochstadt, Sam, Newton, Ryan R.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 463 KB
english, 2014
15

Maximal sound predictive race detection with control flow abstraction

Huang, Jeff, Meredith, Patrick O'Neil, Rosu, Grigore
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 464 KB
english, 2014
16

VeriCon

Ball, Thomas, Bjørner, Nikolaj, Gember, Aaron, Itzhaky, Shachar, Karbyshev, Aleksandr, Sagiv, Mooly, Schapira, Michael, Valadarsky, Asaf
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 446 KB
english, 2014
17

Selective context-sensitivity guided by impact pre-analysis

Oh, Hakjoo, Lee, Wonchan, Heo, Kihong, Yang, Hongseok, Yi, Kwangkeun
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 476 KB
english, 2014
18

Resugaring

Pombrio, Justin, Krishnamurthi, Shriram
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 319 KB
english, 2014
19

Introspective analysis

Smaragdakis, Yannis, Kastrinis, George, Balatsouras, George
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 1.18 MB
english, 2014
20

Commutativity race detection

Dimitrov, Dimitar, Raychev, Veselin, Vechev, Martin, Koskinen, Eric
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 575 KB
english, 2014
21

DoubleChecker

Biswas, Swarnendu, Huang, Jipeng, Sengupta, Aritra, Bond, Michael D.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 473 KB
english, 2014
22

Natural proofs for data structure manipulation in C using separation logic

Pek, Edgar, Qiu, Xiaokang, Madhusudan, P.
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 642 KB
english, 2014
23

Verification modulo versions

Logozzo, Francesco, Lahiri, Shuvendu K., Fähndrich, Manuel, Blackshear, Sam
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 411 KB
english, 2014
24

Hybrid top-down and bottom-up interprocedural analysis

Zhang, Xin, Mangal, Ravi, Naik, Mayur, Yang, Hongseok
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 434 KB
english, 2014
27

Compiler validation via equivalence modulo inputs

Le, Vu, Afshari, Mehrdad, Su, Zhendong
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 842 KB
english, 2014
29

Automating formal proofs for reactive systems

Ricketts, Daniel, Robert, Valentin, Jang, Dongseok, Tatlock, Zachary, Lerner, Sorin
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 443 KB
english, 2014
30

Specialization slicing

Aung, Min, Horwitz, Susan, Joiner, Rich, Reps, Thomas
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 134 KB
english, 2014
31

A personal perspective on concurrency

Misra, Jayadev
Journal:
ACM SIGPLAN Notices
Year:
2014
Language:
english
File:
PDF, 109 KB
english, 2014