BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
code (12)
elimin (12)
live (6)
long (5)
partial (4)

Stem dead$ (all stems)

34 papers:

Hidden truths in dead software paths (ME, BH, MM, LG), pp. 474–484.
CSLCSL-2015-GradelP #exclamation #logic #rank
Rank Logic is Dead, Long Live Rank Logic! (EG, WP), pp. 390–404.
HCISCSM-2014-LopesMP #analysis #social #web
Virtual Homage to the Dead: An Analysis of Digital Memorials in the Social Web (ADL, CM, VCP), pp. 67–78.
HPCAHPCA-2014-AhnYC #architecture #named #predict
DASCA: Dead Write Prediction Assisted STT-RAM Cache Architecture (JA, SY, KC), pp. 25–36.
Interacting with dead objects (RS, GK), pp. 203–216.
CSMRCSMR-2012-DavisGHMM #assembly #experience #industrial
Analyzing Assembler to Eliminate Dead Functions: An Industrial Experience (IJD, MWG, RCH, SM, NM), pp. 467–470.
ICSMEICSM-2012-BoomsmaHG #industrial #lessons learnt #php #web
Dead code elimination for web systems written in PHP: Lessons learned from an industry case (HB, BVH, HGG), pp. 511–515.
CGOCGO-2012-ChabbiM #named
DeadSpy: a tool to pinpoint program inefficiencies (MC, JMMC), pp. 124–134.
VLDBVLDB-2011-HaasMST #modelling
Data is Dead... Without What-If Models (PJH, PPM, PGS, WCT), pp. 1486–1489.
ICSEICSE-2010-GenevesL #source code #xquery
Eliminating dead-code from XQuery programs (PG, NL), pp. 305–306.
CGOCGO-2010-Zorn #exclamation #performance
Performance is dead, long live performance! (BGZ), p. 1.
HTHT-2009-MorishimaNISK #approach #lessons learnt
Bringing your dead links back to life: a comprehensive approach and lessons learned (AM, AN, TI, SS, HK), pp. 15–24.
CASECASE-2007-McVittieSMMLHM #automation #classification #using
Automated Classification of Macrophage Membrane Integrity using a Fluorescent Live/Dead Stain (PM, CSS, TWM, SM, MEL, MH, DRM), pp. 554–559.
DACDAC-2006-BorkarBCNSS #question
Tomorrow’s analog: just dead or just different? (SYB, RWB, JHC, EN, DS, CS), pp. 709–710.
PEPMPEPM-2006-LewisJ #analysis #model checking
A dead variable analysis for explicit model checking (ML, MJ), pp. 48–57.
SACSAC-2006-ChongL #using
An extension of dead end elimination for protein side-chain conformation using merge-decoupling (KFC, HWL), pp. 195–199.
SEFMSEFM-2005-BlechGG #higher-order #verification
Formal Verification of Dead Code Elimination in Isabelle/HOL (JOB, LG, SG), pp. 200–209.
Region-Based Partial Dead Code Elimination on Predicated Code (QC, LG, JX), pp. 150–166.
SCAMSCAM-J-2001-ChenXYZ02 #ada #concurrent #detection
Concurrent Ada dead statements detection (ZC, BX, HY, JZ), pp. 733–741.
ASPLOSASPLOS-2002-ButtsS #detection
Dynamic dead-instruction detection and elimination (JAB, GSS), pp. 199–210.
SCAMSCAM-2001-ChenXY #concurrent #detection #source code
Detecting Dead Statements for Concurrent Programs (ZC, BX, HY), pp. 67–74.
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck (KLE, JLF), pp. 61–70.
ICLPICLP-2001-Kowalski #logic #question
Is Logic Really Dead or Only Just Sleeping? (RAK), pp. 2–3.
SASSAS-1999-LiuS #recursion
Eliminating Dead Code on Recursive Data (YAL, SDS), pp. 211–231.
SASSAS-1999-TakimotoH #graph #using
Partial Dead Code Elimination Using Extended Value Graph (MT, KH), pp. 179–193.
PADLPADL-1999-Xi #dependent type
Dead Code Elimination through Dependent Types (HX), pp. 228–242.
PLDIPLDI-1998-SweeneyT #c++ #case study
A Study of Dead Data Members in C++ Applications (PFS, FT), pp. 324–332.
The Rendezvous is Dead — Long Live the Protected Object (DM, FM), pp. 287–293.
Objects are Dead — Long Live Agents (DAT), p. 4.
The King is Dead; Long Live the King (Keynote) (JBS), p. 240.
PLDIPLDI-1997-BodikG #slicing #using
Partial Dead Code Elimination using Slicing Transformations (RB, RG), pp. 159–170.
ESECESEC-FSE-1997-ChenGK #analysis #c++ #detection #reachability
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection (YFC, ERG, EK), pp. 414–431.
Partial Dead Code Elimination (JK, OR, BS), pp. 147–158.
SIGIRSIGIR-1993-BooksteinKR #question
Is Huffman Coding Dead? (AB, STK, TR), pp. 80–87.

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.