World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
51
Citations
14312
World Ranking
5242
National Ranking
2413

Overview

William Pugh is affiliated with the University of Maryland, College Park in the United States. Their research primarily focuses on Earth and Planetary Sciences, with contributions spanning Geochemistry and Petrology, Geology, and interdisciplinary areas involving Computer Vision and Pattern Recognition.

Their work covers several key research topics, including:

  • Geological Modeling and Analysis
  • 3D Surveying and Cultural Heritage
  • Image Processing and 3D Reconstruction

William Pugh has published in venues such as Abstracts with programs - Geological Society of America and UNC Libraries. Their recent papers include:

  • 3D MODELING AND PRINTING AS A RESOURCE IN PALEONTOLOGICAL OUTREACH (2022), Abstracts with programs - Geological Society of America
  • Efficient Distribution Analysis via Graph Contraction (2021), UNC Libraries

The scientist has collaborated with several frequent co-authors, including:

  • JP Crothers
  • Andrew B. Heckert
  • Thomas Sheffler
  • Robert D. Schreiber
  • John R. Gilbert

Best Publications

  • Finding bugs is easy

    David Hovemeyer;William Pugh

  • Skip lists: a probabilistic alternative to balanced trees

    William Pugh

  • The Omega test: a fast and practical integer programming algorithm for dependence analysis

    William Pugh

  • The Java memory model

    Jeremy Manson;William Pugh;Sarita V. Adve

  • Using Static Analysis to Find Bugs

    N. Ayewah;D. Hovemeyer;J.D. Morgenthaler;J. Penix

  • A practical algorithm for exact array dependence analysis

    William Pugh

  • Evaluating static analysis defect warnings on production software

    Nathaniel Ayewah;William Pugh;J. David Morgenthaler;John Penix

  • The Omega Library interface guide

    Wayne Kelly;Vadim Maslov;William Pugh;Evan Rosser

  • Incremental computation via function caching

    W. Pugh;T. Teitelbaum

  • An Exact Method for Analysis of Value-based Array Data Dependences

    William Pugh;David Wonnacott

  • Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

    Tevfik Bultan;Richard Gerber;William Pugh

  • Counting solutions to Presburger formulas: how and why

    William Pugh

  • Fixing the Java memory model

    William Pugh

  • Eliminating false data dependences using the Omega test

    William Pugh;David Wonnacott

  • Experiences with marmoset: designing and using an advanced submission and testing system for programming courses

    Jaime Spacco;David Hovemeyer;William Pugh;Fawzi Emad

  • Code generation for multiple mappings

    W. Kelly;W. Pugh;E. Rosser

  • Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results

    Tevfik Bultan;Richard Gerber;William Pugh

  • Finding more null pointer bugs, but not too many

    David Hovemeyer;William Pugh

  • A framework for unifying reordering transformations

    Wayne Kelly;William Pugh

  • The Google FindBugs fixit

    Nathaniel Ayewah;William Pugh

  • Finding bugs is easy : Track

    David Hovemeyer;William Pugh

Frequent Co-Authors

Tatiana Shpeisman
Tatiana Shpeisman Intel (United States)
Tevfik Bultan
Tevfik Bultan University of California, Santa Barbara
Dexter Kozen
Dexter Kozen Cornell University
Jeanne Ferrante
Jeanne Ferrante University of California, San Diego
Jan F. Prins
Jan F. Prins University of North Carolina at Chapel Hill
Samuel P. Midkiff
Samuel P. Midkiff Purdue University West Lafayette
Manish Gupta
Manish Gupta Google (United States)
Chau-Wen Tseng
Chau-Wen Tseng University of Maryland, College Park
John R. Gilbert
John R. Gilbert University of California, Santa Barbara
Michael Hicks
Michael Hicks University of Maryland, College Park

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees is a flexible way to expand your expertise and enhance your career prospects in tech and beyond. Whether you want to build a specialized skill set or accelerate your advancement, many pathways are available.

For students interested in the booming field of data analysis, consider earning an online masters for data science. These programs balance affordability with industry-relevant training, preparing graduates for in-demand data roles.

If you’re pursuing opportunities in construction or management, an accelerated online construction management degree can help you enter the workforce faster. These programs are designed for efficiency, letting you earn a respected credential in less time.

Many professionals also value the career boost from an MBA. For budget-conscious students, there are online mba cheap options that offer the flexibility and recognition to propel your business ambitions.

Finally, those eager to make quick progress may find value in one year graduate programs—online offerings that deliver a master’s credential on an accelerated timeline, opening doors to new opportunities sooner.

Best Scientists Citing William Pugh

Trending Scientists

Recently Published Articles