Proceedings of the 33rd Conference on Programming Language Design and Implementation
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

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

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.