Demo Data from EDBT 2026 / reviewers in the wild / expert
Derek Williams
dblp:54/4662
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Concurrent programming
memory models |
0.4 | 3 | 2012 | 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.3 | 2 | 2013 | 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.2 | 1 | 2013 | Robust architectural support for transactional memory in the power architecture · ISCA 2013 |
Memory systems
memory consistency |
0.2 | 1 | 2013 | Robust architectural support for transactional memory in the power architecture · ISCA 2013 |
Parallel and multicore computing
transactional memory |
0.2 | 1 | 2013 | Robust architectural support for transactional memory in the power architecture · ISCA 2013 |
Programming languages and type systems
language semantics |
0.1 | 1 | 2012 | Synchronising C/C++ and POWER · PLDI 2012 |
Concurrent programming › memory models
weak memory models |
0.1 | 1 | 2012 | Synchronising C/C++ and POWER · PLDI 2012 |
Parallel and multicore computing
memory model |
0.1 | 1 | 2012 | An Axiomatic Memory Model for POWER Multiprocessors · CAV 2012 |
Machine learning › Reinforcement learning
markov decision process |
0.1 | 1 | 2006 | Factored MDP Elicitation and Plan Display · AAAI 2006 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › plan representation
plan visualization |
0.1 | 1 | 2006 | Factored MDP Elicitation and Plan Display · AAAI 2006 |
Knowledge, reasoning and agents › Multi-agent systems › social choice › computational social choice
preference elicitation |
0.1 | 1 | 2006 | Factored MDP Elicitation and Plan Display · AAAI 2006 |
Processor architecture and microarchitecture
instruction set architecture |
0.0 | 1 | 2013 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | Quantifying the Attention Potential of Pervasive Display PlacementsabstractBeing 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 |
CHIRA | 3 |
| 2013 | Robust architectural support for transactional memory in the power architectureabstractOn 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 |
ISCA | 5 |
| 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 |
CAV | 10 |
| 2012 | Synchronising C/C++ and POWERabstractShared 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 |
PLDI | 8 |
| 2011 | Understanding POWER multiprocessorsabstractExploiting 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 |
PLDI | 5 |
| 2006 | Factored MDP Elicitation and Plan Display
Krol Kevin Mathias, Casey Lengacher, Derek Williams, Austin Cornett, Alex Dekhtyar, Judy Goldsmith |
AAAI | 3 |