444:
378:
391:
25:
384:
510:
42:
89:
61:
273:
525:
481:
428:
68:
75:
500:
57:
197:
314:'s department of computer science in College Park. He is on the technical advisory board for the static analysis company
520:
108:
474:
421:
46:
82:
455:
402:
296:
467:
414:
35:
505:
311:
280:
515:
284:
277:
187:
443:
8:
300:
265:
210:
152:
450:
This biographical article relating to a computer specialist in the United States is a
292:
315:
222:
183:
335:
451:
398:
304:
227:
494:
211:
Incremental computation and the incremental evaluation of functional programs
377:
299:. Pugh received a Ph.D. in computer science, with a minor in acting, from
269:
24:
390:
288:
166:
162:
362:
291:, and was highly influential in the development of the current
242:
204:
383:
336:"William Pugh, Jr. - The Mathematics Genealogy Project"
49:. Unsourced material may be challenged and removed.
492:
397:This article about an American scientist is a
475:
422:
511:University of Maryland, College Park faculty
310:In 2012 he became professor emeritus of the
482:
468:
429:
415:
109:Learn how and when to remove this message
16:American computer scientist (born 1960)
493:
58:"William Pugh" computer scientist
438:
371:
198:University of Maryland, College Park
47:adding citations to reliable sources
18:
13:
526:American computer specialist stubs
14:
537:
356:
442:
389:
382:
376:
23:
34:needs additional citations for
328:
283:. He was the co-author of the
1:
321:
501:American computer scientists
454:. You can help Knowledge by
401:. You can help Knowledge by
262:William Worthington Pugh Jr.
7:
264:(born 1960) is an American
10:
542:
437:
370:
303:. His thesis advisor was
237:
233:
221:
203:
193:
179:
172:
158:
148:
130:
123:
521:American scientist stubs
312:University of Maryland
340:www.mathgenealogy.org
281:Presburger arithmetic
285:static code analysis
228:Ray "Tim" Teitelbaum
188:Software Engineering
43:improve this article
301:Cornell University
266:computer scientist
153:Cornell University
463:
462:
410:
409:
268:who invented the
259:
258:
174:Scientific career
119:
118:
111:
93:
533:
484:
477:
470:
446:
439:
431:
424:
417:
393:
388:
387:
386:
380:
372:
350:
349:
347:
346:
332:
316:Fortify Software
255:
252:
250:
248:
246:
244:
223:Doctoral advisor
217:
184:Computer Science
144:
140:
138:
121:
120:
114:
107:
103:
100:
94:
92:
51:
27:
19:
541:
540:
536:
535:
534:
532:
531:
530:
491:
490:
489:
488:
436:
435:
381:
375:
368:
359:
354:
353:
344:
342:
334:
333:
329:
324:
241:
215:
149:Alma mater
142:
136:
134:
126:
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
539:
529:
528:
523:
518:
513:
508:
503:
487:
486:
479:
472:
464:
461:
460:
447:
434:
433:
426:
419:
411:
408:
407:
394:
366:
365:
358:
357:External links
355:
352:
351:
326:
325:
323:
320:
305:Tim Teitelbaum
257:
256:
239:
235:
234:
231:
230:
225:
219:
218:
207:
201:
200:
195:
191:
190:
181:
177:
176:
170:
169:
160:
159:Known for
156:
155:
150:
146:
145:
132:
128:
127:
124:
117:
116:
31:
29:
22:
15:
9:
6:
4:
3:
2:
538:
527:
524:
522:
519:
517:
514:
512:
509:
507:
506:Living people
504:
502:
499:
498:
496:
485:
480:
478:
473:
471:
466:
465:
459:
457:
453:
448:
445:
441:
440:
432:
427:
425:
420:
418:
413:
412:
406:
404:
400:
395:
392:
385:
379:
374:
373:
369:
364:
361:
360:
341:
337:
331:
327:
319:
317:
313:
308:
306:
302:
298:
297:Java language
294:
290:
286:
282:
279:
275:
271:
267:
263:
254:
240:
236:
232:
229:
226:
224:
220:
213:
212:
208:
206:
202:
199:
196:
192:
189:
185:
182:
178:
175:
171:
168:
164:
161:
157:
154:
151:
147:
143:(age 64)
141:June 14, 1960
133:
129:
122:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
456:expanding it
449:
403:expanding it
396:
367:
343:. Retrieved
339:
330:
309:
293:memory model
261:
260:
209:
194:Institutions
173:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
516:1960 births
495:Categories
345:2024-07-19
322:References
274:Omega test
137:1960-06-14
69:newspapers
270:skip list
125:Bill Pugh
99:July 2024
289:FindBugs
278:deciding
272:and the
167:FindBugs
163:Skiplist
363:Website
295:of the
238:Website
83:scholar
251:/~pugh
216:(1988)
214:
205:Thesis
180:Fields
85:
78:
71:
64:
56:
287:tool
90:JSTOR
76:books
452:stub
399:stub
276:for
249:.edu
247:.umd
131:Born
62:news
245:.cs
243:www
45:by
497::
338:.
318:.
307:.
186:,
165:,
139:)
483:e
476:t
469:v
458:.
430:e
423:t
416:v
405:.
348:.
253:/
135:(
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.