Publications

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

No results found. Try adjusting your filters or search terms to see more publications.

Analyzing Large Language Model Behavior via Embedding Analysis

Sourya Dey, Michael Robinson, Shauna Sweet, Andrew Lauziere, Jonathan Daugherty, and Caitlin Burgess

Paper

KATch: A Fast Symbolic Verifier for NetKAT

Mark Moeller, Jules Jacobs, Oliver Savary Belanger, David Darais,. Cole Schlesinger, Steffan Smolka, Nate Foster, and Alexandra Silva

VIEW PUBLICATION

Paper

Model Based Engineering Support for Future Attack Reconnaissance Aircraft: Final Report

Tyler D. Smith, Charlie Payne, Edward Sandberg, Moira Southern, Alex Mahrer, and Taisa Kushner

VIEW PUBLICATION

Tech Report

Daedalus: Safer Document Parsing

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood

VIEW PUBLICATION

Paper

Integrating Episodic and Semantic Memory in Machine Teammates to Enable Explainable After-Action Review and Intervention Planning in HAA Operations

E. Davis and K. Schleisman

VIEW PUBLICATION

Paper

DLKoopman: A deep learning software package for Koopman theory

Sourya Dey and Eric William Davis

VIEW PUBLICATION

Paper

The 2010 Census Confidentiality Protections Failed, Here's How and Why

John M. Abowed, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkle, Nathan Goldschlag, Daniel Kifer, Philip Leclerc, Ethan Lew, Scott Moore, Rolando A. Rodríguez, Ramy N. Tadros, and Lars Vilhuber

VIEW PUBLICATION

Paper

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification

J Hatcliff, D Stewart, J Belt, Robby, and A Schwerdfeger

VIEW PUBLICATION

Paper

Batched Differentially Private Information Retrieval

Kinan Dak Albab, Rawane Issa, Mayank Varia, and Kalman Graffi

VIEW PUBLICATION

Paper

Hecate: Abuse Reporting in Secure Messengers with Sealed Sender

Rawane Issa, Nicolas Alhaddad, and Mayank Varia

VIEW PUBLICATION

Paper

LAGOON: An Analysis Tool for Open Source Communities

Sourya Dey and Walt Woods

VIEW PUBLICATION

Paper

Measuring Digital Engineering Effectiveness for Embedded Computing Systems

Alfred R Schenker, Tyler D. Smith, and William Richard Nichols

VIEW PUBLICATION

Paper

PUBLICATIONS

Analyzing Large Language Model Behavior via Embedding Analysis

KATch: A Fast Symbolic Verifier for NetKAT

Model Based Engineering Support for Future Attack Reconnaissance Aircraft: Final Report

Daedalus: Safer Document Parsing

Integrating Episodic and Semantic Memory in Machine Teammates to Enable Explainable After-Action Review and Intervention Planning in HAA Operations

DLKoopman: A deep learning software package for Koopman theory

The 2010 Census Confidentiality Protections Failed, Here's How and Why

An AADL Contract Language Supporting Integrated Model- and Code-Level Verification

Batched Differentially Private Information Retrieval

Hecate: Abuse Reporting in Secure Messengers with Sealed Sender

LAGOON: An Analysis Tool for Open Source Communities

Measuring Digital Engineering Effectiveness for Embedded Computing Systems