Andrew M. Kent

According to our database, Andrew M. Kent authored at least 5 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Neurosymbolic Approach to Natural Language Formalization and Verification.

Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao

CoRR, November, 2025

2017

Migratory Typing: Ten Years Later.

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Occurrence typing modulo theories.

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

Design and evaluation of gradual typing for python.

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker

Proceedings of the DLS'14, 2014

2011

Linking the past: discovering historical social networks from documents and linking to a genealogical database.

Douglas J. Kennard, Andrew M. Kent, William A. Barrett

Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, 2011