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

David Warren

dblp:18/6934 · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0002-4914-1344ORCID · corroborated

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

Artificial intelligence and machine learning · 2 · 2 first-author · 2 since 2021Systems, architecture and hardware · 2Security and privacy · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 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.

Network and information security
1 paper
Systems and software security · 100%
Software engineering, system software, and programming languages
1 paper
Software testing · 100%

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

TopicWeightPapersLastEvidence papers
Systems and software security › vulnerability discovery
fuzzing
0.212014
Optimizing Seed Selection for Fuzzing · USENIX Security Symposium 2014
Systems and software security
vulnerability discovery
0.212014
Optimizing Seed Selection for Fuzzing · USENIX Security Symposium 2014
Software testing
fuzzing
0.212014
Optimizing Seed Selection for Fuzzing · USENIX Security Symposium 2014
Software testing › fuzzing › seed scheduling
seed selection
0.212014
Optimizing Seed Selection for Fuzzing · USENIX Security Symposium 2014

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

optimization · 0.4
YearPublicationVenuePosition
2025 Bi-Directional Model Cascading with Proxy Confidence
abstract
Model Cascading, recently applied successfully to LLMs, is a simple but powerful technique that improves the efficiency of inference by selectively applying models of varying sizes. Models are used in sequence from smallest to largest, only deferring samples to large, costly models when smaller models are not sufficiently confident. Existing approaches to deferral use only limited small model confidence estimates because of the inaccessibility of the large model, although large model confidence is known to be important. We therefore propose a bi-directional approach to deferral that considers the confidence of small and large models in the cascade simultaneously through the use of a proxy for the large model. This requires a richer representation of model confidence to enable comparative calibration: we use an analysis of hidden states to improve post-invocation confidence of the small model, which in itself improves cascading results over prior approaches. We then combine this with a tiny proxy model to estimate pre-invocation confidence of the large model. We examine the proposed cascading system over challenging, multiple-choice datasets, finding improvements over standard cascading baselines reflected in reductions in deferrals to more costly models.
David Warren, Mark Dras
ECAI1
2025 Negotiation games with structured post-hoc intents
abstract
An important class of negotiation games that use human language do not have predefined ‘moves’: it is up to the agents in the game to define moves via natural language that will lead them towards their goal. In the context of other games, however, a notion of intents — structured moves from a predefined set — have been found to be useful. In this paper, we show that it is possible to define and learn post-hoc intents in a practical way for AI agents in a negotiation game, using a text-to-text Transformer model; we show that this improves agent performance, and further allows the definition of a wider range of agents for training.
David Warren, Mark Dras, Malcolm R. K. Ryan
Pattern Recognit. Lett.1
2020 Does autonomy help Help? The impact of unsolicited hints and choice on help avoidance and learning
Christa Cody, Mehak Maniktala, David Warren, Min Chi, Tiffany Barnes
EDM3
2014 Optimizing Seed Selection for Fuzzing
Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley
USENIX Security Symposium5
2003 Abstractions and primitives enabling runtime resource allocation for dynamic IP cores using virtual platform FPGAs
abstract
The platform approach to hardware design was originally suggested as a method of broadening the domain of applications a custom VLSI chip can be applied to by introducing additional programmability. In this paper we extend the idea of platform design with the objective broadening the range of applications of FPGAs by making runtime resource allocation available for FPGAs that do not support run time reconfiguration natively. We explore this approach by constructing a virtual platform FPGA; that is a reconfigurable platform implemented on top of a native FPGA. The paper gives an overview of the application programmer's interface of our proposed virtual platform and some of the communication primitives that we have implemented to construct the virtual platform. We note that there is a need for more work in identifying computation primitives for a virtual platform that strike a balance between supporting useful abstractions and having efficient implementations on typical native FPGAs.
David A. Kearney, Gerard Veldman, David Warren
FPT3
2002 Introducing ReConfigME: An Operating System for Reconfigurable Computing
Grant B. Wigley, David A. Kearney, David Warren
FPL3