BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Israel
1 × Portugal
1 × Spain
11 × USA
2 × Italy
3 × Canada
Collaborated with:
N.Ayewah D.Hovemeyer J.Spacco D.Wonnacott V.Nirkhe G.E.Weddell T.Teitelbaum J.S.Foster M.W.Hicks J.Manson S.V.Adve T.Bultan R.Gerber J.Strecker J.D.Morgenthaler J.Penix Y.Zhou F.Emad J.K.Hollingsworth N.Padua-Perez
Talks about:
softwar (4) analysi (4) system (4) test (4) program (3) static (3) defect (3) evalu (3) null (3) java (3)

♂ Person: William Pugh

DBLP DBLP: Pugh:William

Facilitated 3 volumes:

MSR 2011PrCo
MSR 2010PrCo
PLDI 2004Ed

Contributed to:

ISSTA 20102010
PASTE 20102010
MSR 20092009
ASE 20072007
PASTE 20072007
ITiCSE 20062006
MSR 20062006
MSR 20052005
PASTE 20052005
POPL 20052005
ECOOP 20022002
PLDI 19991999
CAV 19971997
PLDI 19941994
PLDI 19921992
POPL 19921992
PLDI 19911991
PLDI 19901990
POPL 19891989
LFP 19881988

Wrote 22 papers:

The Google FindBugs fixit (NA, WP), pp. 241–252.
PASTE-2010-AyewahP #analysis #null
Null dereference analysis in practice (NA, WP), pp. 65–72.
MSR-2009-AyewahP #fault #learning
Learning from defect removals (NA, WP), pp. 179–182.
ASE-2007-PughA #concurrent #testing
Unit testing concurrent software (WP, NA), pp. 513–516.
PASTE-2007-AyewahPMPZ #fault #static analysis
Evaluating static analysis defect warnings on production software (NA, WP, JDM, JP, YZ), pp. 1–8.
PASTE-2007-FosterHP #quality #static analysis
Improving software quality with static analysis (JSF, MWH, WP), pp. 83–84.
PASTE-2007-HovemeyerP #debugging #null #pointer
Finding more null pointer bugs, but not too many (DH, WP), pp. 9–14.
ITiCSE-2006-SpaccoHPEHP #case study #design #experience #programming #testing #using
Experiences with marmoset: designing and using an advanced submission and testing system for programming courses (JS, DH, WP, FE, JKH, NPP), pp. 13–17.
MSR-2006-SpaccoHP #fault
Tracking defect warnings across versions (JS, DH, WP), pp. 133–136.
MSR-2005-SpaccoSHP #automation #mining #programming #repository #testing
Software repository mining with Marmoset: an automated programming project snapshot and testing system (JS, JS, DH, WP), pp. 46–50.
PASTE-2005-HovemeyerSP #debugging #null #pointer #static analysis
Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.
POPL-2005-MansonPA #java #memory management
The Java memory model (JM, WP, SVA), pp. 378–391.
ECOOP-2002-HovemeyerPS #java
Atomic Instructions in Java (DH, WP, JS), pp. 133–154.
PLDI-1999-Pugh #java
Compressing Java Class Files (WP), pp. 247–258.
CAV-1997-BultanGP #infinity #model checking #using
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic (TB, RG, WP), pp. 400–411.
PLDI-1994-Pugh #how #why
Counting Solutions to Presburger Formulas: How and Why (WP), pp. 121–134.
PLDI-1992-PughW #data flow #dependence #using
Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.
POPL-1992-NirkheP #imperative #partial evaluation #programming language #realtime
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.
Advice to Authors of Extended Abstracts (WP), pp. 353–356.
PLDI-1990-PughW #inheritance #layout #multi
Two-Directional Record Layout for Multiple Inheritance (WP, GEW), pp. 85–91.
POPL-1989-PughT #incremental
Incremental Computation via Function Caching (WP, TT), pp. 315–328.
An Improved Replacement Strategy for Function Aaching (WP), pp. 269–276.

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.