Chandra Krintz, Emery Berger
Proceedings of the 37th Conference on Programming Language Design and Implementation
PLDI, 2016.

@proceedings{PLDI-2016,
	doi           = "10.1145/2908080",
	editor        = "Chandra Krintz and Emery Berger",
	isbn          = "978-1-4503-4261-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 37th Conference on Programming Language Design and Implementation}",
	year          = 2016,
}

Contents (48 items)

PLDI-2016-MemarianMLNCWS #standard

Into the depths of C: elaborating the de facto standards (KM, JM, JL, KN, DC, RNMW, PS), pp. 1–15.

PLDI-2016-ChamithSDN

Living on the edge: rapid-toggling probes with cross-modification on x86 (BC, BJS, LD, RRN), pp. 16–26.

PLDI-2016-NoonanLC #polymorphism #type inference

Polymorphic type inference for machine code (MN, AL, DC), pp. 27–41.

PLDI-2016-PadhiSM #data-driven

Data-driven precondition inference with learned features (SP, RS0, TDM), pp. 42–56.

PLDI-2016-SousaD #hoare #logic #verification

Cartesian hoare logic for verifying k-safety properties (MS, ID), pp. 57–69.

PLDI-2016-LeeSA #float #verification

Verifying bit-manipulations of floating-point (WL0, RS0, AA), pp. 70–84.

PLDI-2016-ChenSSSZ #difference #implementation #testing #virtual machine

Coverage-directed differential testing of JVM implementations (YC, TS, CS, ZS, JZ), pp. 85–99.

PLDI-2016-SorensenD #fault #gpu #memory management

Exposing errors related to weak memory in GPU applications (TS0, AFD), pp. 100–113.

PLDI-2016-FaddegonC #functional #lazy evaluation #lightweight

Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.

PLDI-2016-HongB0KPRRS #array #effectiveness #multi

Effective padding of multidimensional arrays to avoid cache conflict misses (CH, WB, AC0, SK, LNP, FR, JR, PS), pp. 129–144.

PLDI-2016-ZhuR #energy #mobile #named #web

GreenWeb: language extensions for energy-efficient mobile web computing (YZ0, VJR), pp. 145–160.

PLDI-2016-LaurenzanoHSMMT #approximate #latency #using

Input responsiveness: using canary inputs to dynamically steer approximation (MAL, PH, MS, SAM, JM, LT), pp. 161–176.

PLDI-2016-AchourSR #programmable #synthesis

Configuration synthesis for programmable analog devices with Arco (SA, RS, MCR), pp. 177–193.

PLDI-2016-MadsenYL #datalog #declarative #fixpoint

From Datalog to flix: a declarative language for fixed points on lattices (MM, MHY, OL), pp. 194–208.

PLDI-2016-TruongBTLMFS #compilation #named #network #performance #runtime

Latte: a language, compiler, and runtime for elegant and efficient deep neural networks (LT, RB, ET, HL, CM, AF, TS), pp. 209–223.

PLDI-2016-0001HM #complexity #on the #parsing #performance

On the complexity and performance of parsing with derivatives (MDA0, CH, MM), pp. 224–236.

PLDI-2016-HeuleS0A #automation #learning #set #synthesis

Stratified synthesis: automatically learning the x86-64 instruction set (SH, ES, RS0, AA), pp. 237–250.

PLDI-2016-EizenbergHPD #detection #named #online #virtual machine

Remix: online detection and repair of cache contention for the JVM (AE, SH, GP, JD), pp. 251–265.

PLDI-2016-DavidPY #similarity #statistics

Statistical similarity of binaries (YD, NP, EY), pp. 266–280.

PLDI-2016-ZhangSBLM #exception

Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.

PLDI-2016-KentKT #modulo theories #type system

Occurrence typing modulo theories (AMK, DK0, STH), pp. 296–309.

PLDI-2016-VekrisCJ #refinement #typescript

Refinement types for TypeScript (PV, BC, RJ), pp. 310–325.

PLDI-2016-SmithA #pipes and filters #synthesis

MapReduce program synthesis (CS, AA), pp. 326–340.

PLDI-2016-ChughHSA

Programmatic and direct manipulation, together at last (RC, BH, MS, JA), pp. 341–354.

PLDI-2016-LoncaricTE #performance #synthesis

Fast synthesis of fast collections (CL, ET, MDE), pp. 355–368.

PLDI-2016-McClurgHFC #network #programming

Event-driven network programming (JM, HH, NF, PC), pp. 369–385.

PLDI-2016-BeckettGW

Temporal NetKAT (RB, MG0, DW), pp. 386–401.

PLDI-2016-El-HassanyMBVV #analysis #concurrent #named #network

SDNRacer: concurrency analysis for software-defined networks (AEH, JM, PB, LV, MTV), pp. 402–415.

PLDI-2016-ShambaughWG #named #verification

Rehearsal: a configuration verification tool for puppet (RS, AW, AG), pp. 416–430.

PLDI-2016-ChenWSLG #composition #kernel #towards #verification

Toward compositional verification of interruptible OS kernels and device drivers (HC0, X(W, ZS, JL, RG), pp. 431–447.

PLDI-2016-MullenZTG #optimisation

Verified peephole optimizations for CompCert (EM, DZ, ZT, DG), pp. 448–461.

PLDI-2016-RenF #static typing #type checking

Just-in-time static type checking for dynamic languages (BMR, JSF), pp. 462–476.

PLDI-2016-PetricekGS #f#

Types from data: making structured data first-class citizens in F# (TP0, GG, DS), pp. 477–490.

PLDI-2016-ZhuPJ #automation #learning #specification

Automatically learning shape specifications (HZ0, GP, SJ), pp. 491–507.

PLDI-2016-YaghmazadehKDC

Synthesizing transformations on hierarchically structured data (NY, CK, ID, SC), pp. 508–521.

PLDI-2016-PolikarpovaKS #polymorphism #refinement #synthesis

Program synthesis from polymorphic refinement types (NP, IK, ASL), pp. 522–538.

PLDI-2016-MalekiYB #higher-order

Higher-order and tuple-based massively-parallel prefix sums (SM, AY, MB), pp. 539–552.

PLDI-2016-KimJJKL #distributed #framework #replication #using

A distributed OpenCL framework using redundant computation and data replication (JK, GJ, JJ, JK, JL), pp. 553–569.

PLDI-2016-DegenbaevEEMP #garbage collection #scheduling

Idle time garbage collection scheduling (UD, JE, ME, RM, HP), pp. 570–583.

PLDI-2016-JacekCMM #garbage collection #performance

Assessing the limits of program-specific garbage collection performance (NJ, MCC, BMM, EM), pp. 584–598.

PLDI-2016-GleissenthallBR #quantifier #verification

Cardinalities and universal quantifiers for verifying parameterized systems (KvG, NB, AR), pp. 599–613.

PLDI-2016-PadonMPSS #interactive #named #safety #verification

Ivy: safety verification by interactive generalization (OP, KLM, AP, MS, SS), pp. 614–630.

PLDI-2016-YangHASFC #data flow #information management #precise

Precise, dynamic information flow for database-backed applications (JY0, TH, THA, ASL, CF, SC), pp. 631–647.

PLDI-2016-CostanzoSG #assembly #c #data flow #security #source code #verification

End-to-end verification of information-flow security for C and assembly programs (DC, ZS, RG), pp. 648–664.

PLDI-2016-0001CLLRSV #design #verification

A design and verification methodology for secure isolated regions (RS0, MC, AL, NPL, SKR, SAS, KV), pp. 665–681.

PLDI-2016-SpiegelmanGK #data type #library #transaction

Transactional data structure libraries (AS, GGG, IK), pp. 682–696.

PLDI-2016-BaghsorkhiVW #named

FlexVec: auto-vectorization for irregular loops (SSB, NV, YW), pp. 697–710.

PLDI-2016-KamilCIS

Verified lifting of stencil computations (SK, AC, SI, ASL), pp. 711–726.