TalkCompliance at the Speed of Innovation: Leveraging AI-Driven Automation for Real-Time Regulatory ReadLarry Carvalho, Anca Sailer, et al.KubeCon EU 2025
PaperPrototyping a query compiler using coq (Experience report)Joshua S. Auerbach, Martin Hirzel, et al.Proceedings of the ACM on Programming Languages
Short paperMeasuring What Matters: An Aggregate Metric for Assessing Enterprise Code SummariesAshita Saxena, Palanivel Kodeswaran, et al.FSE 2025
