Andrew P. Black, Todd D. Millstein
Proceedings of the 29th Conference on Object-Oriented Programming, Systems, Languages and Applications
OOPSLA, 2014.

@proceedings{OOPSLA-2014,
	acmid         = "2660193",
	address       = "Portland, Oregon, USA",
	editor        = "Andrew P. Black and Todd D. Millstein",
	isbn          = "978-1-4503-2585-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 29th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	year          = 2014,
}

Contents (52 items)

16 ×#named
6 ×#performance
4 ×#debugging
4 ×#memory management
4 ×#source code
4 ×#using
3 ×#automation
3 ×#compilation
3 ×#generative
3 ×#optimisation

OOPSLA-2014-FeldthausM #correctness #interface #javascript #library #typescript

Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.

OOPSLA-2014-AndreasenM #static analysis

Determinacy in static analysis for jQuery (EA, AM), pp. 17–31.

OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface

EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.

OOPSLA-2014-HsiaoCN #corpus #program analysis #statistics #using #web

Using web corpus statistics for program analysis (CHH, MJC, SN), pp. 49–65.

OOPSLA-2014-BarrM #debugging #named

Tardis: affordable time-travel debugging in managed runtimes (ETB, MM), pp. 67–82.

OOPSLA-2014-BellK #data flow #named

Phosphor: illuminating dynamic data flow in commodity jvms (JB, GEK), pp. 83–101.

OOPSLA-2014-PinaVH #java #named #virtual machine

Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.

OOPSLA-2014-ShahriyarBM #garbage collection #performance

Fast conservative garbage collection (RS, SMB, KSM), pp. 121–139.

OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.

OOPSLA-2014-UhlerD #satisfiability

Smten with satisfiability-based search (RU, ND), pp. 157–176.

OOPSLA-2014-BosboomRWA #compilation #named #programming

StreamJIT: a commensal compiler for high-performance stream programming (JB, SR, WFW, SPA), pp. 177–195.

OOPSLA-2014-ToschB #automation #debugging #named #programming

SurveyMan: programming and automatically debugging surveys (ET, EDB), pp. 197–211.

OOPSLA-2014-BartensteinL #source code

Rate types for stream programs (TB, YDL), pp. 213–232.

OOPSLA-2014-AminRO #dependent type

Foundations of path-dependent types (NA, TR, MO), pp. 233–249.

OOPSLA-2014-AllendeFGT #type system

Confined gradual typing (EA, JF, RG, ÉT), pp. 251–270.

OOPSLA-2014-AltidorS #java #refactoring

Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.

OOPSLA-2014-DavidTLM #profiling

Continuously measuring critical section pressure with the free-lunch profiler (FD, GT, JL, GM), pp. 291–307.

OOPSLA-2014-MisailovicCAQR #approximate #kernel #named #optimisation

Chisel: reliability- and accuracy-aware optimization of approximate computational kernels (SM, MC, SA, ZQ, MCR), pp. 309–328.

OOPSLA-2014-KambadurK #energy #overview #stack

An experimental survey of energy management across the stack (MK, MAK), pp. 329–344.

OOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread

Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.

OOPSLA-2014-DrechslerSMM #algorithm #distributed #programming

Distributed REScala: an update algorithm for distributed reactive programming (JD, GS, RM, MM), pp. 361–376.

OOPSLA-2014-RendelBO #algebra #attribute grammar

From object algebras to attribute grammars (TR, JIB, KO), pp. 377–395.

OOPSLA-2014-UrecheBO #data transformation #layout #representation

Late data layout: unifying data representation transformations (VU, EB, MO), pp. 397–416.

OOPSLA-2014-MitschkeEKMS #named

i3QL: language-integrated live data views (RM, SE, MK, MM, GS), pp. 417–432.

OOPSLA-2014-ChakrabartiBB #consistency #memory management #named

Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.

OOPSLA-2014-SteeleLF #generative #performance #pseudo

Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.

OOPSLA-2014-SamakR #concurrent #detection #parallel #synthesis #thread

Multithreaded test synthesis for deadlock detection (MS, MKR), pp. 473–489.

OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread

Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.

OOPSLA-2014-BarowyGB #debugging #named #spreadsheet

CheckCell: data debugging for spreadsheets (DWB, DG, EDB), pp. 507–523.

OOPSLA-2014-PavlinovicKW #fault

Finding minimum type error sources (ZP, TK, TW), pp. 525–542.

OOPSLA-2014-LiuTZ #named

Flint: fixing linearizability violations (PL, OT, XZ), pp. 543–560.

OOPSLA-2014-SongL #debugging #performance #problem #statistics

Statistical debugging for real-world performance problems (LS, SL), pp. 561–578.

OOPSLA-2014-ParrHF #adaptation #dynamic analysis #ll #parsing #power of

Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.

OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using

Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.

OOPSLA-2014-KumarH #compilation #matlab #named #performance

MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.

OOPSLA-2014-JonnalageddaCSRO #combinator #parsing #performance #staged

Staged parser combinators for efficient data processing (MJ, TC, SS, TR, MO), pp. 637–653.

OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant

Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.

OOPSLA-2014-WangCC #abstraction #compilation #verification

Compiler verification meets cross-language linking via data abstraction (PW, SC, AC), pp. 675–690.

OOPSLA-2014-TuronVD #memory management #named #navigation #protocol

GPS: navigating weak memory with ghosts, protocols, and separation (AT, VV, DD), pp. 691–707.

OOPSLA-2014-Desai0M #proving #reduction #source code #using

Natural proofs for asynchronous programs using almost-synchronous reductions (AD, PG, PM), pp. 709–725.

OOPSLA-2014-ZhangLBF #abstract syntax tree #optimisation

Accelerating iterators in optimizing AST interpreters (WZ, PL, SB, MF), pp. 727–743.

OOPSLA-2014-ZhaoWZDSSW #automaton #predict #probability #sequence

Call sequence prediction through probabilistic calling automata (ZZ, BW, MZ, YD, JS, XS, YW), pp. 745–762.

OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation

Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.

OOPSLA-2014-AdamsEMOPSSY #virtual machine

The hiphop virtual machine (KA, JE, BM, GO, AP, BS, ES, OY), pp. 777–790.

OOPSLA-2014-NazareMSBGP #analysis #memory management #validation

Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.

OOPSLA-2014-PartushY #correlation #difference #semantics

Abstract semantic differencing via speculative correlation (NP, EY), pp. 811–828.

OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance

Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.

OOPSLA-2014-BrutschyF0 #developer #independence #static analysis

Static analysis for independent app developers (LB, PF, PM), pp. 847–860.

OOPSLA-2014-VoraKG #algorithm #consistency #named #parallel #using

ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM (KV, SCK, RG), pp. 861–878.

OOPSLA-2014-HoltBCO #automation #locality #migration #named

Alembic: automatic locality extraction via migration (BH, PB, LC, MO), pp. 879–894.

OOPSLA-2014-XiaoGZZZYWLCZ #named #reduction #source code

Cybertron: pushing the limit on I/O reduction in data-parallel programs (TX, ZG, HZ, JZ, XZ, CY, XW, WL, WC, LZ), pp. 895–908.

OOPSLA-2014-RadoiFRS #imperative #pipes and filters

Translating imperative code to MapReduce (CR, SJF, RMR, MS), pp. 909–927.