Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Derek Williams

dblp:54/4662 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
0since 2021 · last 2018
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4Artificial intelligence and machine learning · 1Systems, architecture and hardware · 1Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Parallel and multicore computing · 46% Memory systems · 45% Processor architecture and microarchitecture · 9%
Software engineering, system software, and programming languages
3 papers
Concurrent programming · 80% Programming languages and type systems · 20%
Artificial intelligence
1 paper
Reinforcement learning · 33% Multi-agent systems · 33% Planning, search and constraint satisfaction · 33%

Topics — the 12 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Concurrent programming
memory models
0.432012
Synchronising C/C++ and POWER · PLDI 2012
An Axiomatic Memory Model for POWER Multiprocessors · CAV 2012
Understanding POWER multiprocessors · PLDI 2011
Memory systems › memory consistency › memory consistency model
weak memory model
0.322013
Robust architectural support for transactional memory in the power architecture · ISCA 2013
Understanding POWER multiprocessors · PLDI 2011
Parallel and multicore computing › transactional memory
hardware transactional memory
0.212013
Robust architectural support for transactional memory in the power architecture · ISCA 2013
Memory systems
memory consistency
0.212013
Robust architectural support for transactional memory in the power architecture · ISCA 2013
Parallel and multicore computing
transactional memory
0.212013
Robust architectural support for transactional memory in the power architecture · ISCA 2013
Programming languages and type systems
language semantics
0.112012
Synchronising C/C++ and POWER · PLDI 2012
Concurrent programming › memory models
weak memory models
0.112012
Synchronising C/C++ and POWER · PLDI 2012
Parallel and multicore computing
memory model
0.112012
An Axiomatic Memory Model for POWER Multiprocessors · CAV 2012
Machine learning › Reinforcement learning
markov decision process
0.112006
Factored MDP Elicitation and Plan Display · AAAI 2006
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › plan representation
plan visualization
0.112006
Factored MDP Elicitation and Plan Display · AAAI 2006
Knowledge, reasoning and agents › Multi-agent systems › social choice › computational social choice
preference elicitation
0.112006
Factored MDP Elicitation and Plan Display · AAAI 2006
Processor architecture and microarchitecture
instruction set architecture
0.012013
Robust architectural support for transactional memory in the power architecture · ISCA 2013

Methods — techniques the papers use, named apart from their topics

axiomatic semantics · 0.3operational semantics · 0.2litmus testing · 0.2architectural semantics · 0.2
YearPublicationVenuePosition
2018 Quantifying the Attention Potential of Pervasive Display Placements
abstract
Being able to quantify the attention potential of pervasive display placements holds promise in selecting suitable placements, scoping expectations of impact, informing display designs and calibrating engagement data against placement-related factors when evaluating display designs. This paper contributes a first version of an instrument to quantify the attention potential of display placements, focusing in particular on small interactive displays in museum environments. It reports on an empirical evaluation revealing strong and significant correlations between quantified attention potential and measured attention and engagement. The paper describes the methodology of the evaluation, discusses its findings and their limitations, and concludes with a call for more research into quantifying the attention potential of display placements.
Marcus Winter, Ian Brunswick, Derek Williams
CHIRA3
2013 Robust architectural support for transactional memory in the power architecture
abstract
On the twentieth anniversary of the original publication [10], following ten years of intense activity in the research literature, hardware support for transactional memory (TM) has finally become a commercial reality, with HTM-enabled chips currently or soon-to-be available from many hardware vendors. In this paper we describe architectural support for TM added to a future version of the Power ISA™. Two imperatives drove the development: the desire to complement our weakly-consistent memory model with a more friendly interface to simplify the development and porting of multithreaded applications, and the need for robustness beyond that of some early implementations. In the process of commercializing the feature, we had to resolve some previously unexplored interactions between TM and existing features of the ISA, for example translation shootdown, interrupt handling, atomic read-modify-write primitives, and our weakly consistent memory model. We describe these interactions, the overall architecture, and discuss the motivation and rationale for our choices of architectural semantics, beyond what is typically found in reference manuals.
Harold W. Cain, Maged M. Michael, Brad Frey, Cathy May, Derek Williams, Hung Q. Le
ISCA5
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
CAV10
2012 Synchronising C/C++ and POWER
abstract
Shared memory concurrency relies on synchronisation primitives: compare-and-swap, load-reserve/store-conditional (aka LL/SC), language-level mutexes, and so on. In a sequentially consistent setting, or even in the TSO setting of x86 and Sparc, these have well-understood semantics. But in the very relaxed settings of IBM®, POWER®, ARM, or C/C++, it remains surprisingly unclear exactly what the programmer can depend on.
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
PLDI8
2011 Understanding POWER multiprocessors
abstract
Exploiting today's multiprocessors requires high-performance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requires a good understanding of the observable processor behaviour that can be relied on. Unfortunately this critical hardware/software interface is not at all clear for several current multiprocessors.
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
PLDI5
2006 Factored MDP Elicitation and Plan Display
Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, Judy Goldsmith
AAAI3