Derek Williams

According to our database, Derek Williams authored at least 9 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

IBM POWER9 processor and system features for computing in the cognitive era.

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 J. Res. Dev., 2018

Quantifying the Attention Potential of Pervasive Display Placements.

Marcus Winter, Ian Brunswick, Derek Williams

Proceedings of the 2nd International Conference on Computer-Human Interaction Research and Applications, 2018

2015

Transactional memory support in the IBM POWER8 processor.

Hung Q. Le, Guy L. Guthrie, Derek Williams, Maged M. Michael, Brad Frey, William J. Starke, Cathy May, Rei Odaira, Takuya Nakaike

IBM J. Res. Dev., 2015

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

Proceedings of 8th International Workshop on Personalized Access to Cultural Heritage co-located with the ACM Intelligent User Interfaces 2015 Conference (IUI 2015), Atlanta, USA, 29 March, 2015

2013

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

Proceedings of the 40th Annual International Symposium on Computer Architecture, 2013

2012

Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Understanding POWER multiprocessors.

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2006

Factored MDP Elicitation and Plan Display.

Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, Judy Goldsmith

Proceedings of the Proceedings, 2006