Kevin Donnelly

16 papers A 2B 2C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2018 B conf
Leveraging Lexical Resources and Constraint Grammar for Rule-Based Part-of-Speech Tagging in Welsh.
LREC
Steven Neale, Kevin Donnelly, Gareth Watkins, Dawn Knight
2010 J jnl
The Complexity of Restricted Variants of the Stable Paths Problem.
Fundam. Informaticae
Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets
2009 J jnl
apertium-cy - a collaboratively-developed free RBMT system for Welsh to English.
Prague Bull. Math. Linguistics
Francis M. Tyers, Kevin Donnelly
2008 J jnl
Transactional events.
J. Funct. Program.
Kevin Donnelly, Matthew Fluet
2007 J jnl
A Decision Procedure for Linear "Big O" Equations.
J. Autom. Reason.
Jeremy Avigad, Kevin Donnelly
2007 J jnl
A decision procedure for linear "big O" equations
CoRR
Jeremy Avigad, Kevin Donnelly
2007 J jnl
A formally verified proof of the prime number theorem.
ACM Trans. Comput. Log.
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
2007 — conf
System F with type equality coercions.
TLDI
Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
2006 — conf
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.
LFMTP@FLoC
Kevin Donnelly, Hongwei Xi
2006 C conf
Formal semantics of weak references.
ISMM
Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury
2006 A conf
Transactional events.
ICFP
Kevin Donnelly, Matthew Fluet
2005 J jnl
A formally verified proof of the prime number theorem
CoRR
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
2005 — conf
ATS: A Language That Combines Programming with Theorem Proving.
FroCoS
Sa Cui, Kevin Donnelly, Hongwei Xi
2005 — conf
Combining higher-order abstract syntax with first-order abstract syntax in ATS.
MERLIN
Kevin Donnelly, Hongwei Xi
2004 A conf
Formalizing O Notation in Isabelle/HOL.
IJCAR
Jeremy Avigad, Kevin Donnelly
2004 B conf
The Inverse Method for the Logic of Bunched Implications.
LPAR
Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park