Jeanne Ferrante, Kathryn S. McKinley
Proceedings of the 28th Conference on Programming Language Design and Implementation
PLDI, 2007.

@proceedings{PLDI-2007,
	address       = "San Diego, California, USA",
	editor        = "Jeanne Ferrante and Kathryn S. McKinley",
	isbn          = "978-1-59593-633-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 28th Conference on Programming Language Design and Implementation}",
	year          = 2007,
}

Contents (45 items)

9 ×#named
8 ×#automation
7 ×#analysis
6 ×#parallel
5 ×#performance
5 ×#thread
4 ×#concurrent
4 ×#fault
3 ×#memory management
3 ×#network

PLDI-2007-NovarkBZ #automation #fault #memory management #named #probability

Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.

PLDI-2007-BurckhardtAM #concurrent #consistency #data type #memory management #modelling #named

CheckFence: checking consistency of concurrent data types on relaxed memory models (SB, RA, MMKM), pp. 12–21.

PLDI-2007-NarayanasamyWTEC #analysis #automation

Automatically classifying benign and harmful data racesallusing replay analysis (SN, ZW, JT, AE, BC), pp. 22–31.

PLDI-2007-WassermannS #analysis #injection #precise #web

Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.

PLDI-2007-PerryMRLAW #assembly #fault tolerance

Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.

PLDI-2007-Chlipala #assembly #compilation #λ-calculus

A certified type-preserving compiler from λ calculus to assembly language (AC), pp. 54–65.

PLDI-2007-CaiSV #self

Certified self-modifying code (HC, ZS, AV), pp. 66–77.

PLDI-2007-ShpeismanMABGHMS #order

Enforcing isolation and ordering in STM (TS, VM, ARAT, SB, DG, RLH, KFM, BS), pp. 78–88.

PLDI-2007-NethercoteS #framework #named

Valgrind: a framework for heavyweight dynamic binary instrumentation (NN, JS), pp. 89–100.

PLDI-2007-HaRDRRPCW #black box #component #fault

Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.

PLDI-2007-SridharanFB #slicing

Thin slicing (MS, SJF, RB), pp. 112–122.

PLDI-2007-RamanathanGJ #mining #specification #using

Static specification inference using predicate mining (MKR, AG, SJ), pp. 123–134.

PLDI-2007-ScherpelzLC #automation #semantics

Automatic inference of optimizer flow functions from semantic meanings (ERS, SL, CC), pp. 135–145.

PLDI-2007-MoritaMMHT #automation #divide and conquer #parallel #source code

Automatic inversion generates divide-and-conquer parallel programs (KM, AM, KM, ZH, MT), pp. 146–155.

PLDI-2007-WangCCJTGYLW #architecture #manycore #named #parallel #programming #thread

EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system (PHW, JDC, GNC, HJ, XT, MG, NYY, GYL, HW), pp. 156–166.

PLDI-2007-Solar-LezamaATBSS #sketching

Sketching stencils (ASL, GA, LT, RB, VAS, SAS), pp. 167–178.

PLDI-2007-KillianABJV #distributed #named

Mace: language support for building distributed systems (CEK, JWA, RB, RJ, AV), pp. 179–188.

PLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability #thread

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.

PLDI-2007-KothariGMG #abstraction #network #performance #programming #reliability

Reliable and efficient programming abstractions for wireless sensor networks (NK, RG, TDM, RG), pp. 200–210.

PLDI-2007-KulkarniPWRBC #abstraction #parallel

Optimistic parallelism requires abstractions (MK, KP, BW, GR, KB, LPC), pp. 211–222.

PLDI-2007-DingSKTHZ #behaviour #parallel

Software behavior oriented parallelization (CD, XS, KK, CT, RH, CZ), pp. 223–234.

PLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness #parallel

Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.

PLDI-2007-ElmasQT #java #named #runtime #transaction

Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.

PLDI-2007-GuoVA #analysis #induction #recursion #synthesis

Shape analysis with inductive recursion synthesis (BG, NV, DIA), pp. 256–265.

PLDI-2007-GotsmanBCS #analysis #thread

Thread-modular shape analysis (AG, JB, BC, MS), pp. 266–277.

PLDI-2007-LattnerLA #analysis #points-to

Making context-sensitive points-to analysis with heap cloning practical for the real world (CL, AL, VSA), pp. 278–289.

PLDI-2007-HardekopfL #analysis #performance #pointer

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code (BH, CL), pp. 290–299.

PLDI-2007-BeyerHMR #invariant

Path invariants (DB, TAH, RM, AR), pp. 300–309.

PLDI-2007-ShankarB #automation #data type #invariant #java #named

DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.

PLDI-2007-CookPR #concurrent #proving #termination #thread

Proving thread termination (BC, AP, AR), pp. 320–330.

PLDI-2007-KodumalA #constraints #set

Regularly annotated set constraints (JK, AA), pp. 331–341.

PLDI-2007-GenevesLS #performance #static analysis #xml

Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.

PLDI-2007-TitzerABP #automation #reduction #virtual machine

The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.

PLDI-2007-CoopriderR #ram

Offline compression for on-chip ram (NC, JR), pp. 363–372.

PLDI-2007-SchneiderPG #hardware #monitoring #online #optimisation #performance

Online optimizations driven by hardware performance monitoring (FTS, MP, TRG), pp. 373–382.

PLDI-2007-LiZYZ #compilation #energy #named #network #performance

UCC: update-conscious compilation for energy efficiency in wireless sensor networks (WL, YZ, JY, JZ), pp. 383–393.

PLDI-2007-LiCKK #energy #reduction

Profile-driven energy reduction in network-on-chips (FL, GC, MTK, IK), pp. 394–404.

PLDI-2007-RenganarayananKRS #for free

Parameterized tiled loops for free (LR, DK, SVR, MMS), pp. 405–414.

PLDI-2007-ZhangTGG #execution #fault #towards

Towards locating execution omission errors (XZ, ST, NG, RG), pp. 415–424.

PLDI-2007-LernerFGC #error message

Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.

PLDI-2007-DilligDA #consistency #detection #fault #nondeterminism #semantics #using

Static error detection using semantic inconsistency inference (ID, TD, AA), pp. 435–445.

PLDI-2007-MusuvathiQ #bound #parallel #source code #testing #thread

Iterative context bounding for systematic testing of multithreaded programs (MM, SQ), pp. 446–455.

PLDI-2007-VechevYBR #automation #concurrent #named

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.

PLDI-2007-McCreightSLL #framework #garbage collection

A general framework for certifying garbage collectors and their mutators (AM, ZS, CL, LL), pp. 468–479.

PLDI-2007-CheremPR #analysis #detection #memory management #using

Practical memory leak detection using guarded value-flow analysis (SC, LP, RR), pp. 480–491.