SpecOps 2026 Contributors

Sat 3 - Fri 9 October 2026 Oakland, California, United States

co-located with SPLASH/ISSTA 2026

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

C José Pablo CambroneroCambronero, José Pablo Google, USAUnited States Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation Programme Committee in Program Committee within the SpecOps-track
Dorothy ChenChen, Dorothy Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Sam ChengCheng, Sam Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States SPINACH: Inferring Properties of Web Applications for Property-Based Testing
D Livio DalloroDalloro, Livio Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Cristina DavidDavid, Cristina University of BristolUnited Kingdom Programme Committee in Program Committee within the SpecOps-track
Saikat DuttaDutta, Saikat Cornell UniversityUnited States Co-chair in Program Committee within the SpecOps-track
E Ferhat ErataErata, Ferhat Amazon Web Services, USAUnited States Programme Committee in Program Committee within the SpecOps-track
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Programme Committee in Program Committee within the SpecOps-track
Alessio FerrariFerrari, Alessio University College Dublin; National Research CouncilIreland Programme Committee in Program Committee within the SpecOps-track
G Divya GopinathGopinath, Divya KBR; NASA AmesUnited States Programme Committee in Program Committee within the SpecOps-track
H Mehrad HaghshenasHaghshenas, Mehrad University of Waterloo RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer
I Franjo IvančićIvančić, Franjo Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
K Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States Programme Committee in Program Committee within the SpecOps-track
Andreas KatisKatis, Andreas KBR / NASA Ames Research Center Programme Committee in Program Committee within the SpecOps-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Programme Committee in Program Committee within the SpecOps-track
Pascal KesseliKesseli, Pascal Meta Programme Committee in Program Committee within the SpecOps-track
L Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Intent Formalization: Assessing the Quality of AI-Generated Formal Program Specifications
M Mark MarronMarron, Mark University of Kentucky Specifications for Humans, Agents, and Tooling
Anastasia MavridouMavridou, Anastasia KBR Inc / NASA Ames Research CenterUnited States Closing Remarks Co-chair in Program Committee within the SpecOps-track
James McClureMcClure, James Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Rajdeep MukherjeeMukherjee, Rajdeep Amazon, USAUnited States Opening Remarks Co-chair in Program Committee within the SpecOps-track
P Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing
Pardis PashakhanlooPashakhanloo, Pardis Amazon Web ServicesUnited States Programme Committee in Program Committee within the SpecOps-track
Brandon PaulsenPaulsen, Brandon AmazonUnited States Programme Committee in Program Committee within the SpecOps-track
Chao PengPeng, Chao TencentChina Programme Committee in Program Committee within the SpecOps-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States Programme Committee in Program Committee within the SpecOps-track
R Ajitha RajanRajan, Ajitha The University of EdinburghUnited Kingdom Programme Committee in Program Committee within the SpecOps-track
Savitha RaviRavi, Savitha UC San Diego SPINACH: Inferring Properties of Web Applications for Property-Based Testing
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Programme Committee in Program Committee within the SpecOps-track
Patrick RondonRondon, Patrick Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Joe RutlandRutland, Joe Amazon Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing
S Sherry ShiShi, Sherry Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
Marcelo SousaSousa, Marcelo University of Oxford Programme Committee in Program Committee within the SpecOps-track
T Michele TufanoTufano, Michele GoogleUnited States Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation Programme Committee in Program Committee within the SpecOps-track
Niranjan TulpuleTulpule, Niranjan Unlocking Safe Agentic Autonomy through Verification
W Renyao WeiWei, Renyao Google Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation
X Meng XuXu, Meng University of Waterloo RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer
Y He YeYe, He University College LondonUnited Kingdom Programme Committee in Program Committee within the SpecOps-track
Z Yangtian ZiZi, Yangtian Northeastern University Web Chair in Program Committee within the SpecOps-track