Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
A-Genus and the Sigma Model
Published in Rutgers Mathematics/Physics Conference, hep-th/9406023, 1994
Lecture notes: derivation of the connection between the Â-genus of spacetime loop space and the genus one partition function of the N=1/2 sigma model; remarks on generalizations.
Recommended citation: Kelly Davis. (1994). "A-Genus and the Sigma Model." Rutgers Mathematics/Physics Conference. hep-th/9406023.
Download Paper
M-Theory and Enhanced Gauge Symmetry
Published in hep-th/9601102, 1996
Section of Ph.D. thesis: compatibility of M-Theory/Type IIA results with six-dimensional string-string duality; M-Theory on K3×S¹ and relation to Heterotic theory on T⁴.
Recommended citation: Kelly Davis. (1996). "M-Theory and Enhanced Gauge Symmetry." Section of Ph.D. Thesis. hep-th/9601102.
Download Paper
Generalized Topological Sigma Model
Published in hep-th/9703113, 1997
Section of Ph.D. thesis: the M-Theoretic analog of the standard topological sigma model; observables in cohomology of moduli of supersymmetric maps; correlation functions and non-perturbative corrections.
Recommended citation: Kelly Davis. (1997). "Generalized Topological Sigma Model." Section of Ph.D. Thesis. hep-th/9703113.
Download Paper
Study of M-Theoretic Alcubierre Type Warp Drive
Published in NASA Breakthrough Propulsion Workshop (NASA/CP-199-208694), 1999
Examination of hints that an Alcubierre-type warp drive might be constructed within M-Theory; review of superstring theory and M-Theory and relevant physical states.
Recommended citation: Kelly Davis. (1999). "Study of M-Theoretic Alcubierre Type Warp Drive." Proceedings NASA Breakthrough Propulsion Workshop (NASA/CP-199-208694).
Download Paper
Manage Distributed Sessions
Published in Java World, 2001
Using RMI and the Proxy API (JDK 1.3) to allow one or more Servlet servers to maintain session information on session servers, avoiding a single point of failure.
Recommended citation: Kelly Davis and Robert Di Marco. (2001). "Manage Distributed Sessions." Java World (now InfoWorld).
Download Paper
Enabling Applications on the Grid: A GridLab Overview
Published in International Journal of High Performance Computing Applications, 2003
Overview of GridLab: vision of grid-empowered applications, general architecture, and introduction to the GAT (Grid Application Toolkit) architecture.
Recommended citation: Gabrielle Allen, Kelly Davis, Konstantinos N. Dolkas, Nikolaos D. Doulamis, Tom Goodale, Thilo Kielmann, André Merzky, Jarek Nabrzyski, Juliusz Pukacki, Thomas Radke, Michael Russell, Ed Seidel, John Shalf, Ian Taylor. (2003). "Enabling Applications on the Grid: A GridLab Overview." Int. J. High Per. Comp. App..
Download Paper
GAT: Towards Generic and Easy Application Programming Interfaces for the Grid
Published in Proceedings of the IEEE, Vol. 93, Issue 3, 2005
Presents the GridLab software architecture with GAT, environment-specific adaptors, and GridLab services; outlines the GAT API and demonstrates benefits for dynamic grid applications.
Recommended citation: Gabrielle Allen, Kelly Davis, Tom Goodale, Andrei Hutanu, Hartmut Kaiser, Thilo Kielmann, André Merzky, Rob van Nieuwpoort, Alexander Reinefeld, Florian Schintke, Thorsten Schütt, Ed Seidel, Brygg Ullmer. (2005). "GAT: Towards Generic and Easy Application Programming Interfaces for the Grid." Proceedings of the IEEE. 93(3), 534–550.
Download Paper
Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds
Published in Quantum Topology (submitted), 2011
We prove that unitary axiomatic TQFT in four dimensions cannot detect changes in smooth structure; we resolve the apparent contradiction with Donaldson–Witten theory by introducing axioms for differential quantum field theory.
Recommended citation: Kelly Davis. (2011). "Axiomatic TQFT, Axiomatic DQFT, and Exotic 4-Manifolds." Quantum Topology (submitted).
Download Paper
Amazon Elastic Compute Cloud vs Andrews–Curtis Conjecture
Published in WIP, 2014
A parallel algorithm that searches for counterexamples to the Andrews–Curtis conjecture, run on Amazon EC2; motivated by connections to the smooth four-dimensional Poincaré conjecture.
Recommended citation: Kelly Davis. (2014). "Amazon Elastic Compute Cloud vs Andrews–Curtis Conjecture." Work in progress.
Common Voice: A Massively-Multilingual Speech Corpus
Published in LREC 2020, 2020
The Common Voice corpus is a massively-multilingual collection of transcribed speech for ASR and related research, with 29+ languages and 2,500+ hours of crowdsourced audio.
Recommended citation: Rosana Ardila, Megan Branson, Kelly Davis, Michael Henretty, Michael Kohler, Josh Meyer, Reuben Morais, Lindsay Saunders, Francis M. Tyers, Gregor Weber. (2020). "Common Voice: A Massively-Multilingual Speech Corpus." LREC 2020.
Download Paper
Interpreting Pretrained Contextualized Representations via Reductions to Static Embeddings
Published in ACL 2020, 2020
Methods for converting contextualized representations (e.g. ELMo, BERT) to static lookup-table embeddings; analysis of representational quality and social biases across pretrained models.
Recommended citation: Rishi Bommasani, Kelly Davis, Claire Cardie. (2020). "Interpreting Pretrained Contextualized Representations via Reductions to Static Embeddings." ACL 2020.
Download Paper
XTTS: a Massively Multilingual Zero-Shot Text-to-Speech Model
Published in INTERSPEECH 2024, 2024
XTTS enables multilingual zero-shot TTS in 16 languages with state-of-the-art results, building on Tortoise with novel modifications for multilingual training, improved voice cloning, and faster training and inference.
Recommended citation: Edresson Casanova, Kelly Davis, Eren Gölge, Görkem Göknar, Iulian Gulea, Logan Hart, Aya Aljafari, Joshua Meyer, Reuben Morais, Samuel Olayemi, Julian Weber. (2024). "XTTS: a Massively Multilingual Zero-Shot Text-to-Speech Model." INTERSPEECH 2024.
Download Paper
Gödel’s Poetry
Published in arXiv Pre-print, 2025
Formal, automated theorem proving using specialized language models for Lean4 proof generation combined with recursive decomposition of difficult theorems into simpler entailing propositions.
Recommended citation: Kelly Davis. (2025). "Gödel's Poetry." arXiv Pre-print.
Download Paper
talks
Architecture and Use of GAT
Published:
Series of lectures to an audience of computer science professors and researchers on the architecture and use of the Grid Application Toolkit (GAT).
Architecture and Use of GAT
Published:
Lecture to an audience of computer science graduate students and professors on the architecture and use of the Grid Application Toolkit (GAT).
Architecture and Use of GAT
Published:
Lecture to an audience of computer science graduate students and professors on the architecture and use of the Grid Application Toolkit (GAT).
Architecture and Use of GAT
Published:
Lecture to an audience of computer science graduate students and professors on the architecture and use of the Grid Application Toolkit (GAT).
Persistent Homology
Published:
Lecture to an audience of data science professionals on the basics of persistent homology.
Deep Speech + Yandex STT
Published:
Lecture to an audience of machine learning practitioners on Deep Speech, following the STT lead from Yandex presenting on their STT engine.
Deep Speech
Published:
Lecture to an audience of machine learning practitioners on Deep Speech.
Deep Speech
Published:
Lecture to an audience of machine learning practitioners and the general public on Deep Speech.
Deep Speech
Published:
Lecture to an audience of machine learning practitioners and the general public on Deep Speech.
Deep Speech
Published:
Lecture to an audience of machine learning practitioners and the general public on Deep Speech.
Common Voice
Published:
Keynote to an audience of Celtic language technologists on Common Voice.
Bergamot NMT
Published:
Lecture to an audience of EU-based language technologists on the H2020 Bergamot Neural Machine Translation work.
Common Voice + Deep Speech
Published:
Keynote to an audience of language technologists on Common Voice and Deep Speech.
teaching
Classical Physics and the Beginnings of Modern Physics
Laboratory course, Rutgers University, Department of Physics, 1995
Taught and supervised bi-weekly junior/senior level physics labs covering classical physics and the beginnings of modern physics. This included short lectures, helping students with the material, computer instruction, grading quizzes, grading weekly assignments, and helping students during office hours.
Topological Sigma Models and their Relation to Topological Genera
Graduate seminar / lecture series, Rutgers University, Department of Mathematics, 1995
Presented a series of lectures to an audience of mathematics graduate students and mathematics professors on various aspects of topological sigma models and their relation to topological genera.