Jonathan Aldrich, Patrick Eugster
Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2015.

@proceedings{OOPSLA-2015,
	acmid         = "2814270",
	address       = "Pittsburgh, Pennsylvania, USA",
	editor        = "Jonathan Aldrich and Patrick Eugster",
	isbn          = "978-1-4503-3689-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2015,
}

Contents (53 items)

6 ×#named
5 ×#automation
5 ×#java
4 ×#memory management
4 ×#performance
3 ×#android
3 ×#detection
3 ×#incremental
3 ×#programming
2 ×#abstraction

OOPSLA-2015-HagueLO #approach #css #detection #html

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.

OOPSLA-2015-DemskyL #model checking #named

SATCheck: SAT-directed stateless model checking for SC and TSO (BD, PL), pp. 20–36.

OOPSLA-2015-KurajKJ #programming #set

Programming with enumerable sets of structures (IK, VK, DJ), pp. 37–56.

OOPSLA-2015-JensenMRDV #model checking

Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.

OOPSLA-2015-HottelierB #constraints #layout #relational #synthesis

Synthesis of layout engines from relational constraints (TH, RB), pp. 74–88.

OOPSLA-2015-ErdwegLW #dependence #incremental

A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.

OOPSLA-2015-PolozovG #framework #induction #named #synthesis

FlashMeta: a framework for inductive program synthesis (OP, SG), pp. 107–126.

OOPSLA-2015-ZhangCOS #algebra #scrap your boilerplate

Scrap your boilerplate with object algebras (HZ, ZC, BCdSO, TvdS), pp. 127–146.

OOPSLA-2015-0001SCA

Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.

OOPSLA-2015-BlackshearCS #abstraction #control flow

Selective control-flow abstraction via jumping (SB, BYEC, MS), pp. 163–182.

OOPSLA-2015-MadhavanMGK #automation #comparison

Automating grammar comparison (RM, MM, SG, VK), pp. 183–200.

OOPSLA-2015-NtzikG #file system #reasoning

Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.

OOPSLA-2015-OuD #automation #memory management #named #order #parametricity

AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.

OOPSLA-2015-BiswasZBL #exception #named #performance

Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.

OOPSLA-2015-CohenP #automation #data type #memory management

Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.

OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification

Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.

OOPSLA-2015-BastaniAA #android #data flow #verification

Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.

OOPSLA-2015-BrutschyFTP #named #resource management

ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.

OOPSLA-2015-BielikRV #android #concurrent #detection #scalability

Scalable race detection for Android applications (PB, VR, MTV), pp. 332–348.

OOPSLA-2015-HuAN #android #lightweight

Versatile yet lightweight record-and-replay for Android (YH, TA, IN), pp. 349–366.

OOPSLA-2015-BenderLP #declarative

Declarative fence insertion (JB, ML, JP), pp. 367–385.

OOPSLA-2015-LeSS #compilation #debugging #probability

Finding deep compiler bugs via guided stochastic program mutation (VL, CS, ZS), pp. 386–399.

OOPSLA-2015-WangPW

Vectorization of apply to reduce interpretation overhead of R (HW, DAP, PW), pp. 400–415.

OOPSLA-2015-GveroK #java #query

Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.

OOPSLA-2015-ZhengBB #compilation #profiling

Accurate profiling in the presence of dynamic compilation (YZ, LB, WB), pp. 433–450.

OOPSLA-2015-0003KLS #data type #memory management #multi #performance #scalability

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures (MA, CMK, ML, AS), pp. 451–469.

OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference

Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.

OOPSLA-2015-JantzRKD #memory management

Cross-layer memory management for managed language applications (MRJ, FJR, PAK, KAD), pp. 488–504.

OOPSLA-2015-MadsenTL #javascript #static analysis

Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.

OOPSLA-2015-FengWDL #control flow #interprocedural

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties (YF, XW, ID, CL), pp. 520–534.

OOPSLA-2015-DietrichHS #analysis #java #points-to

Giga-scale exhaustive points-to analysis for Java in under a minute (JD, NH, BS), pp. 535–551.

OOPSLA-2015-DaraisMH #composition #program analysis #reuse

Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.

OOPSLA-2015-OhYY #adaptation #learning #optimisation #program analysis

Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.

OOPSLA-2015-AlvesGDLGRP #ambiguity #pointer #runtime

Runtime pointer disambiguation (PA, FG, JD, AL, TG, FR, FMQP), pp. 589–606.

OOPSLA-2015-ToffolaPG #dynamic analysis #performance #problem

Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.

OOPSLA-2015-LeeBZZVG #assessment #float #named #runtime

RAIVE: runtime assessment of floating-point instability by vectorization (WCL, TB, YZ, XZ, KV, RG), pp. 623–638.

OOPSLA-2015-FuBS #analysis #automation #fault

Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.

OOPSLA-2015-VoelterDKE #c #case study #embedded #using

Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.

OOPSLA-2015-LopesO #how #java #source code

How scale affects structure in Java programs (CVL, JO), pp. 675–694.

OOPSLA-2015-MastrangeloPMLH #api #java

Use at your own risk: the Java unsafe API in the wild (LM, LP, AM, ML, MH, NN), pp. 695–710.

OOPSLA-2015-AchourR #approximate #detection

Approximate computation with outlier detection in Topaz (SA, MCR), pp. 711–730.

OOPSLA-2015-WickersonBBD

Remote-scope promotion: clarified, rectified, and verified (JW, MB, BMB, AFD), pp. 731–747.

OOPSLA-2015-HammerDHLFHH #incremental

Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.

OOPSLA-2015-FelgentreffMBH #constraints #programming language #theorem proving

Checks and balances: constraint solving without surprises in object-constraint programming languages (TF, TDM, AB, RH), pp. 767–782.

OOPSLA-2015-SteindorferV #agile #optimisation #performance #virtual machine

Optimizing hash-array mapped tries for fast and lean immutable JVM collections (MJS, JJV), pp. 783–800.

OOPSLA-2015-UrecheBSO #ad hoc #automation #data transformation #representation

Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.

OOPSLA-2015-MarrD #partial evaluation #self

Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.

OOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread #virtual machine

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.

OOPSLA-2015-SrinivasanR #partial evaluation

Partial evaluation of machine code (VS, TWR), pp. 860–879.

OOPSLA-2015-ErdwegBKKM #incremental #type checking

A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.

OOPSLA-2015-BrandauerCW #alias #fine-grained

Disjointness domains for fine-grained aliasing (SB, DC, TW), pp. 898–916.

OOPSLA-2015-CrafaP #approach #programming

The chemical approach to typestate-oriented programming (SC, LP), pp. 917–934.

OOPSLA-2015-ToroT #polymorphism #scala

Customizable gradual polymorphic effects for Scala (MT, ÉT), pp. 935–953.