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: Pugh:William
Facilitated 3 volumes:
Contributed to:
Wrote 22 papers:
- ISSTA-2010-AyewahP
- 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.
- PLDI-1991-Pugh
- 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.
- LFP-1988-Pugh
- An Improved Replacement Strategy for Function Aaching (WP), pp. 269–276.