D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 48 Citations 12,085 98 World Ranking 3969 National Ranking 2023

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

His scientific interests lie mostly in Theoretical computer science, Programming language, Java, Algorithm and Omega. His work on Abstract data type as part of general Theoretical computer science study is frequently linked to Presburger arithmetic, therefore connecting diverse disciplines of science. Java annotation and Generics in Java are the subjects of his Programming language studies.

As a part of the same scientific family, William Pugh mostly works in the field of Java, focusing on Software bug and, on occasion, Static analysis, Software engineering and Software quality. His Algorithm study combines topics in areas such as Finger search, Data structure and Dependence analysis. His study explores the link between Integer programming and topics such as Program transformation that cross with problems in Optimizing compiler.

His most cited work include:

  • Skip lists: a probabilistic alternative to balanced trees (1022 citations)
  • Finding bugs is easy (752 citations)
  • The Omega test: a fast and practical integer programming algorithm for dependence analysis (716 citations)

What are the main themes of his work throughout his whole career to date?

William Pugh mostly deals with Programming language, Java, Algorithm, Theoretical computer science and Static analysis. His work on Java concurrency, Java annotation and Real time Java as part of general Java research is often related to Memory model, thus linking different fields of science. The various areas that William Pugh examines in his Algorithm study include Statement, Loop interchange and Dependence analysis, Parallel computing.

His Theoretical computer science study incorporates themes from Skip list, Computation, Program slicing and Cache. His biological study spans a wide range of topics, including Software quality, Code, Static program analysis, Software and Software engineering. His research investigates the connection between Compiler and topics such as Integer programming that intersect with issues in Program transformation.

He most often published in these fields:

  • Programming language (36.89%)
  • Java (25.24%)
  • Algorithm (21.36%)

What were the highlights of his more recent work (between 2005-2017)?

  • Static analysis (17.48%)
  • Programming language (36.89%)
  • Java (25.24%)

In recent papers he was focusing on the following fields of study:

His primary areas of study are Static analysis, Programming language, Java, Software quality and Static program analysis. The concepts of his Static analysis study are interwoven with issues in Distributed computing, Computer security, Code and Software bug, Software. His studies deal with areas such as Codebase, Software release life cycle and Set as well as Software bug.

His research on Programming language frequently links to adjacent areas such as Theoretical computer science. William Pugh has included themes like World Wide Web and Software engineering in his Software quality study. His Static program analysis research incorporates elements of Algorithm, Software development process and Operations research.

Between 2005 and 2017, his most popular works were:

  • Using Static Analysis to Find Bugs (330 citations)
  • Evaluating static analysis defect warnings on production software (173 citations)
  • Experiences with marmoset: designing and using an advanced submission and testing system for programming courses (106 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

William Pugh spends much of his time researching Software quality, Static analysis, Java, Programming language and World Wide Web. His work carried out in the field of Software quality brings together such families of science as Software bug and Software engineering. His Static analysis research incorporates themes from Computer security, Software, Software development process and Static program analysis.

His study in the field of Software development is also linked to topics like SQL injection. His Software development process study combines topics in areas such as Software versioning, Codebase, Software release life cycle and Runtime library. His Programming language course of study focuses on Theoretical computer science and Source code.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Skip lists: a probabilistic alternative to balanced trees

William Pugh.
Communications of The ACM (1990)

1672 Citations

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

William Pugh.
conference on high performance computing (supercomputing) (1991)

1229 Citations

Finding bugs is easy

David Hovemeyer;William Pugh.
conference on object-oriented programming systems, languages, and applications (2004)

1223 Citations

The Java memory model

Jeremy Manson;William Pugh;Sarita V. Adve.
symposium on principles of programming languages (2005)

879 Citations

A practical algorithm for exact array dependence analysis

William Pugh.
Communications of The ACM (1992)

656 Citations

Using Static Analysis to Find Bugs

N. Ayewah;D. Hovemeyer;J.D. Morgenthaler;J. Penix.
IEEE Software (2008)

608 Citations

Evaluating static analysis defect warnings on production software

Nathaniel Ayewah;William Pugh;J. David Morgenthaler;John Penix.
workshop on program analysis for software tools and engineering (2007)

283 Citations

The Omega Library interface guide

Wayne Kelly;Vadim Maslov;William Pugh;Evan Rosser.
(1995)

259 Citations

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

William Pugh;David Wonnacott.
languages and compilers for parallel computing (1993)

253 Citations

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

Tevfik Bultan;Richard Gerber;William Pugh.
computer aided verification (1997)

247 Citations

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

Contact us

Best Scientists Citing William Pugh

Mahmut Kandemir

Mahmut Kandemir

Pennsylvania State University

Publications: 81

Albert Cohen

Albert Cohen

Google (United States)

Publications: 48

Francky Catthoor

Francky Catthoor

KU Leuven

Publications: 44

J. Ramanujam

J. Ramanujam

Louisiana State University

Publications: 35

Vivek Sarkar

Vivek Sarkar

Georgia Institute of Technology

Publications: 27

Guy E. Blelloch

Guy E. Blelloch

Carnegie Mellon University

Publications: 26

David Padua

David Padua

University of Illinois at Urbana-Champaign

Publications: 26

Roberto Tamassia

Roberto Tamassia

Brown University

Publications: 25

P. Sadayappan

P. Sadayappan

University of Utah

Publications: 24

Mary Hall

Mary Hall

University of Utah

Publications: 24

Ravi Kumar Arimilli

Ravi Kumar Arimilli

IBM (United States)

Publications: 23

Michael T. Goodrich

Michael T. Goodrich

University of California, Irvine

Publications: 23

Martin Rinard

Martin Rinard

MIT

Publications: 22

Scott D. Stoller

Scott D. Stoller

Stony Brook University

Publications: 22

Madanlal Musuvathi

Madanlal Musuvathi

Microsoft (United States)

Publications: 22

Tevfik Bultan

Tevfik Bultan

University of California, Santa Barbara

Publications: 21

Trending Scientists

Catuscia Palamidessi

Catuscia Palamidessi

French Institute for Research in Computer Science and Automation - INRIA

Yu-Peng Yuan

Yu-Peng Yuan

Anhui University

Jingui Qin

Jingui Qin

Wuhan University

John D. Currey

John D. Currey

University of York

Judith L. Bronstein

Judith L. Bronstein

University of Arizona

Shibu Jose

Shibu Jose

University of Missouri

Sanford J. Shattil

Sanford J. Shattil

University of California, San Diego

Ruth Welti

Ruth Welti

Kansas State University

Wanghua Gong

Wanghua Gong

Leidos (United States)

Peter S. Holt

Peter S. Holt

Agricultural Research Service

Mauro Moroni

Mauro Moroni

University of Milan

Richard L. Whitman

Richard L. Whitman

United States Geological Survey

Emma J. Bunce

Emma J. Bunce

University of Leicester

Tomoko Hasegawa

Tomoko Hasegawa

Ritsumeikan University

Paul L.A. Gabbott

Paul L.A. Gabbott

The Open University

Alexander Drzezga

Alexander Drzezga

University of Cologne

Something went wrong. Please try again later.