VLDB 2026 Research / reviewers in the wild / expert
Fergus Henderson
dblp:h/FergusHenderson
· DBLP profile ↗
5ranked-venue papers
1as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-authorArtificial intelligence and machine learning · 1Databases, data management, data science and information retrieval · 1Graphics, computer vision, multimedia, augmented reality and games · 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.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › language semantics › dynamic semantics
exception semantics |
0.0 | 1 | 1999 | A Semantics for Imprecise Exceptions · PLDI 1999 |
Programming languages and type systems › functional language
haskell |
0.0 | 1 | 1999 | A Semantics for Imprecise Exceptions · PLDI 1999 |
Programming languages and type systems › functional language
lazy functional languages |
0.0 | 1 | 1999 | A Semantics for Imprecise Exceptions · PLDI 1999 |
Methods — techniques the papers use, named apart from their topics
operational semantics · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Fast, Compact, and High Quality LSTM-RNN Based Statistical Parametric Speech Synthesizers for Mobile DevicesabstractAcoustic models based on long short-term memory recurrent neural networks (LSTM-RNNs) were applied to statistical parametric speech synthesis (SPSS) and showed significant improvements in naturalness and latency over those based on hidden Markov models (HMMs). This paper describes further optimizations of LSTM-RNN-based SPSS for deployment on mobile devices; weight quantization, multi-frame inference, and robust inference using an ε-contaminated Gaussian loss function. Experimental results in subjective listening tests show that these optimizations can make LSTM-RNN-based SPSS comparable to HMM-based SPSS in runtime speed while maintaining naturalness. Evaluations between LSTM-RNN- based SPSS and HMM-driven unit selection speech synthesis are also presented. Heiga Zen, Yannis Agiomyrgiannakis, Niels Egberts, Fergus Henderson, Przemyslaw Szczepaniak |
INTERSPEECH | 4 |
| 2002 | Compiling Mercury to High-Level C Code
Fergus Henderson, Zoltan Somogyi |
CC | 1 |
| 1999 | A Semantics for Imprecise ExceptionsabstractSome modern superscalar microprocessors provide only imprecise exceptions. That is, they do not guarantee to report the same exception that would be encountered by a straightforward sequential execution of the program. In exchange, they offer increased performance or decreased chip area (which amount to much the same thing).This performance/precision tradeoff has not so far been much explored at the programming language level. In this paper we propose a design for imprecise exceptions in the lazy functional programming language Haskell. We discuss several designs, and conclude that imprecision is essential if the language is still to enjoy its current rich algebra of transformations. We sketch a precise semantics for the language extended with exceptions.The paper shows how to extend Haskell with exceptions without crippling the language or its compilers. We do not yet have enough experience of using the new mechanism to know whether it strikes an appropriate balance between expressiveness and performance. Simon L. Peyton Jones, Alastair Reid 0001, Fergus Henderson, Tony Hoare, Simon Marlow |
PLDI | 3 |
| 1999 | Run Time Type Information in Mercury
Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery |
PPDP | 3 |
| 1997 | Database Transactions in a Purely Declarative Logic Programming Language
David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi |
DASFAA | 4 |