Fergus Henderson
Google (United States)(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Speech Recognition and Synthesis, Software Testing and Debugging Techniques, Speech and Audio Processing
Most-Cited Works
- → ASVspoof 2019: A large-scale public database of synthesized, converted and replayed speech(2020)418 cited
- → The execution algorithm of mercury, an efficient purely declarative logic programming language(1996)332 cited
- → A semantics for imprecise exceptions(1999)102 cited
- → Accurate garbage collection in an uncooperative environment(2002)55 cited
- → The Implementation Technology of the Mercury Debugger(2000)20 cited
- → Type classes in Mercury(2000)17 cited
- → Compiling Mercury to High-Level C Code(2002)17 cited
- The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.(1994)
- → Software Engineering at Google(2017)14 cited