William Pugh

IRL Name: 
William Worthington (Bill) Pugh Jr.

William Worthington (Bill) Pugh Jr. is an American computer scientist who invented the skip list and the Omega test for deciding Presburger arithmetic. He was the co-author of the static code analysis tool FindBugs, and was highly influential in the development of the current memory model of the Java language together with his PhD student Jeremy Manson.


He has spoken at numerous developer conferences, including JavaOne, Goto/Jaoo in Aarhus, the Devoxx conference in Antwerp, and CodeMash. At JavaOne, he received six JavaOne RockStar awards, given to the speakers that receive the highest evaluations from attendees.

He consulted for Google in 2000 - 2003 on research that resulted in US Patent 665 8423, on detecting duplicate and near-duplicate files.


He spent the 2008-2009 school year on sabbatical at Google, where, among other activities, he learned how to eat fire.