Derek Williams

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 2

Top Topics

Complex Objects

Formative Evaluation

Top Venues

IBM J. Res. Dev.

Publications

Marcus Winter, Ian Brunswick, Derek Williams
Quantifying the Attention Potential of Pervasive Display Placements. CHIRA (2018)
L. Baba Arimilli, Bart Blaner, Ben C. Drerup, Charles F. Marino, Derek Williams, Eric N. Lais, Francesco A. Campisano, Guy L. Guthrie, Michael S. Floyd, Ross Leavens, Scot M. Willenborg, Ronald N. Kalla, Bülent Abali
IBM POWER9 processor and system features for computing in the cognitive era. IBM J. Res. Dev. 62 (4/5) (2018)
Hung Q. Le, Guy L. Guthrie, Derek Williams, Maged M. Michael, Brad Frey, William J. Starke, Cathy May, Rei Odaira, Takuya Nakaike
Transactional memory support in the IBM POWER8 processor. IBM J. Res. Dev. 59 (1) (2015)
Marcus Winter, Michael John Gorman, Ian Brunswick, Danny Browne, Derek Williams, Fionn Kidney
Fail Better: Lessons Learned from a Formative Evaluation of Social Object Labels. PATCH@IUI (2015)
Harold W. Cain, Maged M. Michael, Brad Frey, Cathy May, Derek Williams, Hung Q. Le
Robust architectural support for transactional memory in the power architecture. ISCA (2013)
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
Synchronising C/C++ and POWER. PLDI (2012)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
Understanding POWER multiprocessors. PLDI (2011)
Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, Judy Goldsmith
Factored MDP Elicitation and Plan Display. AAAI (2006)