Volume 50; Issue 1

Main
ACM SIGPLAN Notices
Volume 50; Issue 1

ACM SIGPLAN Notices

Volume 50; Issue 1

1

Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks

Tang, Hao, Wang, Xiaoyin, Zhang, Lingming, Xie, Bing, Zhang, Lu, Mei, Hong

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 858 KB

english, 2015

2

Quantitative Interprocedural Analysis

Chatterjee, Krishnendu, Pavlogiannis, Andreas, Velner, Yaron

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 877 KB

english, 2015

3

K-Java

Bogdanas, Denis, Roşu, Grigore

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 871 KB

english, 2015

4

Algebraic Effects, Linearity, and Quantum Programming Languages

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

5

Program Boosting

Cochran, Robert A., D'Antoni, Loris, Livshits, Benjamin, Molnar, David, Veanes, Margus

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 4.69 MB

english, 2015

6

A Meta Lambda Calculus with Cross-Level Computation

Tobisawa, Kazunori

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 705 KB

english, 2015

7

Deep Specifications and Certified Abstraction Layers

Gu, Ronghui, Koenig, Jérémie, Ramananandro, Tahina, Shao, Zhong, Wu, Xiongnan (Newman), Weng, Shu-Chun, Zhang, Haozhong, Guo, Yu

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.27 MB

english, 2015

8

Dependent Information Flow Types

Lourenço, Luísa, Caires, Luís

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 943 KB

english, 2015

9

Analyzing Program Analyses

Giacobazzi, Roberto, Logozzo, Francesco, Ranzato, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 950 KB

english, 2015

10

On Characterizing the Data Access Complexity of Programs

Elango, Venmugil, Rastello, Fabrice, Pouchet, Louis-Noël, Ramanujam, J., Sadayappan, P.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

11

From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 889 KB

english, 2015

12

Safe & Efficient Gradual Typing for TypeScript

Rastogi, Aseem, Swamy, Nikhil, Fournet, Cédric, Bierman, Gavin, Vekris, Panagiotis

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

13

Programming up to Congruence

Sjöberg, Vilhelm, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 886 KB

english, 2015

14

Ur/Web

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 812 KB

english, 2015

15

Differential Privacy

Ebadi, Hamid, Sands, David, Schneider, Gerardo

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 960 KB

english, 2015

16

A Coalgebraic Decision Procedure for NetKAT

Foster, Nate, Kozen, Dexter, Milano, Matthew, Silva, Alexandra, Thompson, Laure

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 952 KB

english, 2015

17

Data-Parallel String-Manipulating Programs

Veanes, Margus, Mytkowicz, Todd, Molnar, David, Livshits, Benjamin

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

18

Decentralizing SDN Policies

Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

19

Towards the Essence of Hygiene

Adams, Michael D.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 703 KB

english, 2015

20

Space-Efficient Manifest Contracts

Greenberg, Michael

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 922 KB

english, 2015

21

Runtime Enforcement of Security Policies on Black Box Reactive Programs

Ngo, Minh, Massacci, Fabio, Milushev, Dimiter, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

22

DReX

Alur, Rajeev, D'Antoni, Loris, Raghothaman, Mukund

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.03 MB

english, 2015

23

A Calculus for Relaxed Memory

Crary, Karl, Sullivan, Michael J.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

24

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

He, Fei, Gao, Xiaowei, Wang, Bow-Yaw, Zhang, Lijun

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.71 MB

english, 2015

25

Fiat

Delaware, Benjamin, Pit-Claudel, Clément, Gross, Jason, Chlipala, Adam

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 973 KB

english, 2015

26

Coding by Everyone, Every Day

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 598 KB

english, 2015

27

A Scalable, Correct Time-Stamped Stack

Dodds, Mike, Haas, Andreas, Kirsch, Christoph M.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.30 MB

english, 2015

28

Integrating Linear and Dependent Types

Krishnaswami, Neelakantan R., Pradic, Pierre, Benton, Nick

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 896 KB

english, 2015

29

Higher Inductive Types as Homotopy-Initial Algebras

Sojakova, Kristina

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 966 KB

english, 2015

30

Compositional CompCert

Stewart, Gordon, Beringer, Lennart, Cuellar, Santiago, Appel, Andrew W.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1001 KB

english, 2015

31

Self-Representation in Girard's System U

Brown, Matt, Palsberg, Jens

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 854 KB

english, 2015

32

Conjugate Hylomorphisms -- Or

Hinze, Ralf, Wu, Nicolas, Gibbons, Jeremy

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 877 KB

english, 2015

33

Full Abstraction for Signal Flow Graphs

Bonchi, Filippo, Sobocinski, Pawel, Zanasi, Fabio

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.47 MB

english, 2015

34

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Barthe, Gilles, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.00 MB

english, 2015

35

Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 731 KB

english, 2015

36

Databases and Programming

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 694 KB

english, 2015

37

Equations, Contractions, and Unique Solutions

Sangiorgi, Davide

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 865 KB

english, 2015

38

Sound Modular Verification of C Code Executing in an Unverified Context

Agten, Pieter, Jacobs, Bart, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

39

Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth

Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus, Pavlogiannis, Andreas, Goyal, Prateesh

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1012 KB

english, 2015

40

Iris

Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 974 KB

english, 2015

41

Principal Type Schemes for Gradual Programs

Garcia, Ronald, Cimini, Matteo

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 917 KB

english, 2015

42

Probabilistic Termination

Ferrer Fioriti, Luis María, Hermanns, Holger

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 926 KB

english, 2015

43

Succinct Representation of Concurrent Trace Sets

Gupta, Ashutosh, Henzinger, Thomas A., Radhakrishna, Arjun, Samanta, Roopsha, Tarrach, Thorsten

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 939 KB

english, 2015

44

Predicting Program Properties from "Big Code"

Raychev, Veselin, Vechev, Martin, Krause, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1012 KB

english, 2015

45

Automating Repetitive Tasks for the Masses

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 590 KB

english, 2015

46

Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

47

Polymorphic Functions with Set-Theoretic Types

Castagna, Giuseppe, Nguyen, Kim, Xu, Zhiwu, Abate, Pietro

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

48

Manifest Contracts for Datatypes

Sekiyama, Taro, Nishida, Yuki, Igarashi, Atsushi

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 915 KB

english, 2015

49

Tractable Refinement Checking for Concurrent Objects

Bouajjani, Ahmed, Emmi, Michael, Enea, Constantin, Hamza, Jad

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 986 KB

english, 2015

50

From Network Interface to Multithreaded Web Applications

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1014 KB

english, 2015

51

Proof Spaces for Unbounded Parallelism

Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

52

Specification Inference Using Context-Free Language Reachability

Bastani, Osbert, Anand, Saswat, Aiken, Alex

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 2.38 MB

english, 2015

53

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Vafeiadis, Viktor, Balabonski, Thibaut, Chakraborty, Soham, Morisset, Robin, Zappa Nardelli, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 979 KB

english, 2015

54

Functors are Type Refinement Systems

Melliès, Paul-André, Zeilberger, Noam

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 782 KB

english, 2015

55

A Formally-Verified C Static Analyzer

Jourdan, Jacques-Henri, Laporte, Vincent, Blazy, Sandrine, Leroy, Xavier, Pichardie, David

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 885 KB

english, 2015