Proceedings of the 28th 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

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

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

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.

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.