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.
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.
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.
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.
Skip lists: a probabilistic alternative to balanced trees
William Pugh.
Communications of The ACM (1990)
The Omega test: a fast and practical integer programming algorithm for dependence analysis
William Pugh.
conference on high performance computing (supercomputing) (1991)
Finding bugs is easy
David Hovemeyer;William Pugh.
conference on object-oriented programming systems, languages, and applications (2004)
The Java memory model
Jeremy Manson;William Pugh;Sarita V. Adve.
symposium on principles of programming languages (2005)
A practical algorithm for exact array dependence analysis
William Pugh.
Communications of The ACM (1992)
Using Static Analysis to Find Bugs
N. Ayewah;D. Hovemeyer;J.D. Morgenthaler;J. Penix.
IEEE Software (2008)
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)
The Omega Library interface guide
Wayne Kelly;Vadim Maslov;William Pugh;Evan Rosser.
(1995)
An Exact Method for Analysis of Value-based Array Data Dependences
William Pugh;David Wonnacott.
languages and compilers for parallel computing (1993)
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Tevfik Bultan;Richard Gerber;William Pugh.
computer aided verification (1997)
If you think any of the details on this page are incorrect, let us know.
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:
Modular AI
University of California, Santa Barbara
Purdue University West Lafayette
Google (United States)
Cornell University
University of California, San Diego
University of North Carolina at Chapel Hill
University of Maryland, College Park
University of Maryland, College Park
University of Washington
French Institute for Research in Computer Science and Automation - INRIA
Anhui University
Wuhan University
University of York
University of Arizona
University of Missouri
University of California, San Diego
Kansas State University
Leidos (United States)
Agricultural Research Service
University of Milan
United States Geological Survey
University of Leicester
Ritsumeikan University
The Open University
University of Cologne