[2026]
Compositional Proof Carrying Code for Safety-Critical Autonomous Fleets
A. Miller, P. Nakamura, L. Chen • ACM Transactions on Programming Languages and Systems
Formal MethodsAutonomous Systems
[Archive]
Publications
Peer-reviewed contributions from our faculty, students, and collaborators across the major venues in computer science.
[2026]
Energy-Proportional Spiking Transformers on Analog Neuromorphic Substrates
H. Tanaka, J. Doe, R. Vance • ISCA 2026
Neural ArchitectureHardware
[2026]
Auditable Agent Protocols: Verifying Tool-Using Language Models at Runtime
M. Sterling, S. K. Gupta • IEEE Symposium on Security and Privacy
AI SafetyFormal Methods
[2025]
Distributed Consensus Under Adversarial Latency in Planetary-Scale Networks
L. Chen, B. Sterling, H. Kaur • OSDI 2025
Distributed SystemsSecurity
[2025]
Differentiable Program Synthesis for Scientific Model Discovery
S. Roberts, A. Miller • ICML 2025
Program SynthesisMachine Learning
[2024]
Scalable Verification of Decentralized Autonomous Systems in Dynamic Grids
A. Miller, L. Chen, S. K. Gupta • Communications of the ACM
Formal MethodsAutonomous Systems
[2024]
Neural Plasticity in Low-Energy Neuromorphic Hardware: A Comparative Study
J. Doe, H. Tanaka • IEEE Symposium on Security and Privacy
Neural ArchitectureHardware
[2023]
Formal Methods for Ethically Constrained AI Decision Engines
R. Vance, M. Sterling • International Journal of Robotics Research
Formal MethodsAI Ethics
[2023]
Zero-Shot Generalization in Decentralized Multi-Agent Swarms
H. Kaur, B. Sterling • NeurIPS 2023
Autonomous SystemsMulti-Agent
[2023]
Differentiable Physics Engines for Real-time Policy Refinement
L. Aris, et al. • CVPR 2023
RoboticsSimulation
[2022]
Temporal Coherence in Sparse Transformer Architectures for Long-form Synthesis
J. Chen, A. Miller, S. Roberts • ICLR 2024
Neural ArchitectureTransformers
[2022]
Robustness of Sparse Distributed Representations in Adversarial Scenarios
J. Kovic, S. Jenkins • NeurIPS 2023
Neural ArchitectureSecurity
[2021]
Secure Composition of Heterogeneous Distributed Protocols
L. Chen, A. Miller • ACM SIGCOMM
Formal MethodsDistributed Systems