☰

William Pugh

Affiliations: 
Computer Science University of Maryland, College Park, College Park, MD 
Area:
Programming Languages
Google:
"William Pugh"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Jeremy Manson grad student 2004 University of Maryland
David H. Hovemeyer grad student 2005 University of Maryland
Jaime W. Spacco grad student 2006 University of Maryland
Nathaniel Ayewah grad student 2010 University of Maryland

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Gil J, Pugh W, Weddell GE, et al. (2008) Two-dimensional bidirectional object layout Acm Transactions On Programming Languages and Systems. 30
Ayewah N, Hovemeyer D, Morgenthaler JD, et al. (2008) Using Static Analysis to Find Bugs Ieee Software. 25: 22-29
Hovemeyer D, Pugh W. (2004) Finding bugs is easy Sigplan Notices. 39: 92-106
Bultan T, Gerber R, Pugh W. (1999) Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results Acm Transactions On Programming Languages and Systems. 21: 747-789
Pugh W, Wonnacott D. (1998) Constraint-based array dependence analysis Acm Transactions On Programming Languages and Systems. 20: 635-678
Pugh W, Wonnacott D. (1995) Going beyond integer programming with the Omega test to eliminate false data dependences Ieee Transactions On Parallel and Distributed Systems. 6: 204-211
Pugh W, Wonnacott D. (1994) Static analysis of upper and lower bounds on dependences and parallelism Acm Transactions On Programming Languages and Systems. 16: 1248-1278
Kelly W, Pugh W. (1994) Selecting Affine Mappings Based On Performance Estimation Parallel Processing Letters. 4: 205-219
Stotts PD, Pugh W. (1994) Parallel finite automata for modeling concurrent software systems The Journal of Systems and Software. 27: 27-43
Nirkhe V, Pugh W. (1993) A partial evaluator for the Maruti hard real-time system Real-Time Systems. 5: 13-30
See more...