Proceedings of the 31st Conference on Object-Oriented Programming, Systems, Languages and Applications
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Eelco Visser, Yannis Smaragdakis
Proceedings of the 31st Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2016.

OOP
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{OOPSLA-2016,
	doi           = "10.1145/2983990",
	editor        = "Eelco Visser and Yannis Smaragdakis",
	isbn          = "978-1-4503-4444-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 31st Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2016,
}

Contents (52 items)

OOPSLA-2016-PaiP #algorithm #compilation #graph #optimisation #throughput
A compiler for throughput optimization of graph algorithms on GPUs (SP, KP), pp. 1–19.
OOPSLA-2016-SurendranS #automation #parallel #synthesis
Automatic parallelization of pure method calls via conditional future synthesis (RS, VS), pp. 20–38.
OOPSLA-2016-SorensenDBGR
Portable inter-workgroup barrier synchronisation for GPUs (TS0, AFD, MB, GG, ZR), pp. 39–58.
OOPSLA-2016-DoeraeneS #incremental #optimisation #parallel #scala
Parallel incremental whole-program optimizations for Scala.js (SD, TS), pp. 59–73.
OOPSLA-2016-StefanescuPYLR #semantics #verification
Semantics-based program verifiers for all languages (AS, DP0, SY, YL, GR), pp. 74–91.
OOPSLA-2016-SergeyNBD #concurrent #correctness #hoare #specification
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects (IS, AN, AB0, GAD), pp. 92–110.
OOPSLA-2016-NienhuisMS #concurrent #semantics
An operational semantics for C/C++11 concurrency (KN, KM, PS), pp. 111–128.
OOPSLA-2016-DanLHV #analysis #memory management #modelling #programming
Modeling and analysis of remote memory access programming (AMD, PL0, TH, MTV), pp. 129–144.
OOPSLA-2016-Itzhaky0SYLLC #algorithm #divide and conquer #programming #using
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations (SI, RS0, ASL, KY, YL, CEL, RAC), pp. 145–164.
OOPSLA-2016-SrinivasanSR #synthesis
Speeding up machine-code synthesis (VS, TS, TWR), pp. 165–180.
OOPSLA-2016-PanchekhaT #automation #layout #reasoning #web
Automated reasoning for web page layout (PP, ET), pp. 181–194.
OOPSLA-2016-WangGS #named #spreadsheet #using
FIDEX: filtering spreadsheet data using examples (XW0, SG, RS), pp. 195–213.
OOPSLA-2016-MooreDFFC #contract #data access
Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.
OOPSLA-2016-OsvaldEWAR
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect (LO, GME, XW, LIGA, TR), pp. 234–251.
OOPSLA-2016-DiLorenzoZMFF #domain-specific language #incremental
Incremental forest: a DSL for efficiently managing filestores (JD, RZ, EM, KF, NF), pp. 252–271.
OOPSLA-2016-HallerL #lightweight #named #scala
LaCasa: lightweight affinity and object capabilities in Scala (PH, AL), pp. 272–291.
OOPSLA-2016-RossoJ #concept #git
Purposes, concepts, misfits, and a redesign of git (SPDR, DJ0), pp. 292–310.
OOPSLA-2016-KimK0KPZR #automation #fault #named #programming
Apex: automatic programming assignment error explanation (DK, YK, PL0, ILK, DMP, XZ0, GRR), pp. 311–327.
OOPSLA-2016-HanappiHD #configuration management #convergence #reliability
Asserting reliable convergence for configuration management scripts (OH, WH, SD), pp. 328–343.
OOPSLA-2016-TreichlerBSSA #clustering
Dependent partitioning (ST, MB, RS0, ES, AA), pp. 344–358.
OOPSLA-2016-KulkarniMZN #analysis
Accelerating program analyses by cross-program training (SK, RM, XZ, MN), pp. 359–377.
OOPSLA-2016-SrinivasanR #algorithm #slicing
An improved algorithm for slicing machine code (VS, TWR), pp. 378–393.
OOPSLA-2016-PetrashkoULO #graph #morphism #parametricity #polymorphism
Call graphs for languages with parametric polymorphism (DP, VU, OL, MO), pp. 394–409.
OOPSLA-2016-ChandraGJSSTC #compilation #javascript #type inference
Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
OOPSLA-2016-SamakTR #concurrent #synthesis
Directed synthesis of failing concurrent executions (MS, OT, MKR), pp. 430–446.
OOPSLA-2016-Huang0 #reduction
Maximal causality reduction for TSO and PSO (SH, JH0), pp. 447–461.
OOPSLA-2016-HuangR #concurrent #detection #precise
Precise and maximal race detection from incomplete traces (JH0, AKR), pp. 462–476.
OOPSLA-2016-BlumG #model checking
Stateless model checking with data-race preemption points (BB, GAG), pp. 477–493.
OOPSLA-2016-GollamudiC #automation #policy #security #using
Automatic enforcement of expressive security policies using enclaves (AG, SC), pp. 494–513.
OOPSLA-2016-ColinL #named #reliability #source code
Chain: tasks and channels for reliable intermittent programs (AC, BL), pp. 514–530.
OOPSLA-2016-BonettaSMB #named #parallel #programming
GEMs: shared-memory parallel programming for Node.js (DB, LS, SM, WB), pp. 531–547.
OOPSLA-2016-PetersKTC #approach #named
OrcO: a concurrency-first approach to objects (AMP, DK, JAT, WRC), pp. 548–567.
OOPSLA-2016-AnconaC #imperative #object-oriented #semantics #type system
Semantic subtyping for imperative object-oriented languages (DA, AC), pp. 568–587.
OOPSLA-2016-BrachthauserRO #parsing
Parsing with first-class derivatives (JIB, TR, KO), pp. 588–606.
OOPSLA-2016-KellMS #semantics
The missing link: explaining ELF static linking, semantically (SK, DPM, PS), pp. 607–623.
OOPSLA-2016-RompfA
Type soundness for dependent object types (DOT) (TR, NA), pp. 624–641.
OOPSLA-2016-DalozeMBM #dynamic typing #performance #thread
Efficient and thread-safe objects for dynamically-typed languages (BD, SM, DB, HM), pp. 642–659.
OOPSLA-2016-ChapmanHM #hybrid #transaction
Hybrid STM/HTM for nested transactions on OpenJDK (KC, ALH, JEBM), pp. 660–676.
OOPSLA-2016-BhandariCB #memory management #named #performance
Makalu: fast recoverable allocation of non-volatile memory (KB, DRC, HJB), pp. 677–694.
OOPSLA-2016-NunezGB #garbage collection
Prioritized garbage collection: explicit GC support for software caches (DN, SZG, EDB), pp. 695–710.
OOPSLA-2016-SteimannHU #attribute grammar #constraints #source code #using
Computing repair alternatives for malformed programs using constraint attribute grammars (FS, JH, BU), pp. 711–730.
OOPSLA-2016-RaychevBV #probability
Probabilistic model for code with decision trees (VR, PB, MTV), pp. 731–747.
OOPSLA-2016-BarmanCBG #automation #named #web
Ringer: web automation by demonstration (SB, SC, RB, SG), pp. 748–764.
OOPSLA-2016-WeitzWTEKT #protocol #scalability #smt #verification
Scalable verification of border gateway protocol configurations with an SMT solver (KW, DW, ET, MDE, AK, ZT), pp. 765–780.
OOPSLA-2016-Loncaric0SS #fault #framework #type inference
A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
OOPSLA-2016-Kell #fault
Dynamically diagnosing type errors in unsafe code (SK), pp. 800–819.
OOPSLA-2016-LongLR #programming
First-class effect reflection for effect-guided programming (YL, YDL, HR), pp. 820–837.
OOPSLA-2016-AminT #java #null #pointer #scala #type system
Java and scala's type systems are unsound: the existential crisis of null pointers (NA, RT), pp. 838–848.
OOPSLA-2016-SunLS #compilation #debugging
Finding compiler bugs via live code mutation (CS, VL, ZS), pp. 849–863.
OOPSLA-2016-ShanAN #android #fault
Finding resume and restart errors in Android applications (ZS, TA, IN), pp. 864–880.
OOPSLA-2016-ZuoFKXL #abstraction #automation #debugging #refinement #statistics
Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
OOPSLA-2016-BavishiPR #debugging #precise
To be precise: regression aware debugging (RB, AP, SR), pp. 897–915.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.