Jan Vitek, Haibo Lin, Frank Tip
Proceedings of the 33rd Conference on Programming Language Design and Implementation
PLDI, 2012.

@proceedings{PLDI-2012,
	acmid         = "2254064",
	address       = "Beijing, China",
	editor        = "Jan Vitek and Haibo Lin and Frank Tip",
	isbn          = "978-1-4503-1205-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 33rd Conference on Programming Language Design and Implementation}",
	year          = 2012,
}

Contents (48 items)

9 ×#parallel
8 ×#named
6 ×#concurrent
5 ×#analysis
5 ×#compilation
5 ×#detection
4 ×#automation
4 ×#performance
4 ×#precise
3 ×#c

PLDI-2012-DubachCRBF #architecture #compilation

Compiling a high-level language for GPUs: (via language support for architectures and compilers) (CD, PC, RMR, DFB, SJF), pp. 1–12.

PLDI-2012-SamadiHMLM #adaptation #compilation

Adaptive input-aware compilation for graphics engines (MS, AH, MM, JL, SAM), pp. 13–22.

PLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime

And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.

PLDI-2012-OliveiraSCLY #calculus #programming

The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.

PLDI-2012-KawaguchiRBJ #parallel

Deterministic parallelism via liquid effects (MK, PMR, AB, RJ), pp. 45–54.

PLDI-2012-GuerraouiKL

Speculative linearizability (RG, VK, GL), pp. 55–66.

PLDI-2012-ZaparanuksH #algorithm #profiling

Algorithmic profiling (DZ, MH), pp. 67–76.

PLDI-2012-JinSSSL #comprehension #debugging #detection #performance

Understanding and detecting real-world performance bugs (GJ, LS, XS, JS, SL), pp. 77–88.

PLDI-2012-CoppaDF #profiling

Input-sensitive profiling (EC, CD, IF), pp. 89–98.

PLDI-2012-ZhangAM

Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.

PLDI-2012-ChiwKRSS #analysis #domain-specific language #image #named #parallel #visualisation

Diderot: a parallel DSL for image analysis and visualization (CC, GK, JR, LS, NS), pp. 111–120.

PLDI-2012-CarteyLM #domain-specific language #source code

Synthesising graphics card programs from DSLs (LC, RL, OdM), pp. 121–132.

PLDI-2012-RamanZLA #execution #flexibility #named #parallel

Parcae: a system for flexible parallel execution (AR, AZ, JWL, DIA), pp. 133–144.

PLDI-2012-TrippMFS #named #parallel

JANUS: exploiting parallelism via hindsight (OT, RM, JF, MS), pp. 145–156.

PLDI-2012-Turon #concurrent #fine-grained #named

Reagents: expressing and composing fine-grained concurrency (AT), pp. 157–168.

PLDI-2012-CarbinKMR #approximate #nondeterminism #proving #source code

Proving acceptability properties of relaxed nondeterministic approximate programs (MC, DK, SM, MCR), pp. 169–180.

PLDI-2012-DilligDA #abduction #automation #fault #using

Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.

PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation

Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.

PLDI-2012-WuTHCY #analysis #parallel #precise #source code

Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.

PLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down

Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.

PLDI-2012-OhHLLY #analysis #design #implementation

Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.

PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference

Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.

PLDI-2012-PetrovVSD #concurrent #detection #web

Race detection for web applications (BP, MTV, MS, JD), pp. 251–262.

PLDI-2012-FischerME #deployment #named

Engage: a deployment management system (JF, RM, SE), pp. 263–274.

PLDI-2012-PerelmanGBG

Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.

PLDI-2012-EomD #java #self

Self-stabilizing Java (YHE, BD), pp. 287–298.

PLDI-2012-ChenDA #automation

Type-directed automatic incrementalization (YC, JD, UAA), pp. 299–310.

PLDI-2012-SarkarMOBSMAW #c #c++

Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.

PLDI-2012-GazzilloG #c #named #parsing #preprocessor

SuperC: parsing all of C by taming the preprocessor (PG, RG), pp. 323–334.

PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing

Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.

PLDI-2012-LiuZJDK #compilation #framework #parallel

A compiler framework for extracting superword level parallelism (JL, YZ, OJ, WD, MTK), pp. 347–358.

PLDI-2012-JohnsonKPZA #reduction

Speculative separation for privatization and reductions (NPJ, HK, PP, AZ, DIA), pp. 359–370.

PLDI-2012-HolewinskiRRFPRS #analysis

Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.

PLDI-2012-LeungGAGJL #gpu #kernel #verification

Verifying GPU kernels by test amplification (AL, MG, YA, RG, RJ, SL), pp. 383–394.

PLDI-2012-MorrisettTTTG #named #performance

RockSalt: better, faster, stronger SFI for the x86 (GM, GT, JT, JBT, EG), pp. 395–404.

PLDI-2012-GrebenshchikovLPR #proving #verification

Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.

PLDI-2012-HawkinsAFRS #concurrent #data transformation #representation #synthesis

Concurrent data representation synthesis (PH, AA, KF, MCR, MS), pp. 417–428.

PLDI-2012-LiuNPVY #memory management #modelling #synthesis

Dynamic synthesis for relaxed memory models (FL, NN, NP, MTV, EY), pp. 429–440.

PLDI-2012-GodefroidT #automation #encoding #synthesis

Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.

PLDI-2012-BenzHH #float #problem #program analysis

A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.

PLDI-2012-LeeCFN #hybrid #named #program analysis

Chimera: hybrid program analysis for determinism (DL, PMC, JF, SN), pp. 463–474.

PLDI-2012-KruijfSJ #compilation #design #static analysis

Static analysis and compiler design for idempotent processing (MdK, KS, SJ), pp. 475–486.

PLDI-2012-FengGN #effectiveness #parallel

Effective parallelization of loops in the presence of I/O operations (MF, RG, IN), pp. 487–498.

PLDI-2012-Chen #revisited

Polyhedra scanning revisited (CC), pp. 499–508.

PLDI-2012-OanceaR #logic #parallel

Logical inference techniques for loop parallelization (CEO, LR), pp. 509–520.

PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread

Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.

PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability

Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.

PLDI-2012-NagarakatteBMM #concurrent #debugging #detection #manycore

Multicore acceleration of priority-based schedulers for concurrency bug detection (SN, SB, MMKM, MM), pp. 543–554.