Derek Williams
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CHIRA | Quantifying the Attention Potential of Pervasive Display Placements. | Marcus Winter, Ian Brunswick, Derek Williams |
| 2015 | IUI | Fail Better: Lessons Learned from a Formative Evaluation of Social Object Labels. | Marcus Winter, Michael John Gorman, Ian Brunswick, Danny Browne, Derek Williams, Fionn Kidney |
| 2013 | ISCA | Robust architectural support for transactional memory in the power architecture. | Harold W. Cain, Maged M. Michael, Brad Frey, Cathy May, Derek Williams, Hung Q. Le |
| 2012 | CAV | An Axiomatic Memory Model for POWER Multiprocessors. | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2011 | PLDI | Understanding POWER multiprocessors. | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2006 | AAAI | Factored MDP Elicitation and Plan Display. | Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, Judy Goldsmith |