ATVA 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (208)

A Guillermo A. PerezA. Perez, Guillermo University of AntwerpBelgium Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University; Mälardalen UniversitySweden Checking Consistency of Event-driven Traces
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Positive Sharing and Abstract Machines
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan A Formal Foundation for Equational Reasoning on Probabilistic Programs
S. AkshayAkshay, S. PC Member in Programme Committee for ATVA 2025 Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Jie AnAn, Jie Institute of Software Chinese Academy of SciencesChina Artifact Evaluation Chair in Artifact Evaluation Committee for ATVA 2025 Componentwise Automata Learning for System Integration
Ashwani AnandAnand, Ashwani Max Planck Institute for Software Systems Quantitative Strategy Templates
Ayush AnandAnand, Ayush Indian Institute of Technology Bhubaneswar Prompt Runtime Enforcement
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Programme Committee in Programme Committee for ATVA 2025
Aniruddha Joshi Aniruddha Joshi UC BerkeleyUnited States Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Shaan AryamanAryaman, Shaan NYUUnited States Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Checking Consistency of Event-driven Traces
Guy AvniAvni, Guy University of HaifaAustria PC Member in Programme Committee for ATVA 2025 Bidding Your Way to Better Decisions
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Memory Safety: Uniqueness as Separation
B Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States PC Member in Programme Committee for ATVA 2025
A. R. BalasubramanianBalasubramanian, A. R. Technical University of MunichGermany PC Member in Programme Committee for ATVA 2025
Soumyadip BandyopadhyayBandyopadhyay, Soumyadip ACM MemberIndia Antarbhukti: Verifying Correctness of PLC Software during System Evolution
Ansuman BanerjeeBanerjee, Ansuman India Indian Statistical Institute http://www.isical.ac.in/~ansuman PC Member in Programme Committee for ATVA 2025
Suguman BansalBansal, Suguman Georgia Institute of Technology, USAUnited States PC Member in Programme Committee for ATVA 2025
Suguman BansalBansal, Suguman Georgia Institute of Technology, USAUnited States Inductive Generalization in Reinforcement Learning from Specifications
Ludovico BattistaBattista, Ludovico Fondazione Bruno Kessler (FBK)Italy Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates
Dirk BeyerBeyer, Dirk LMU MunichGermany PC Member in Programme Committee for ATVA 2025
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Talk 1: Verifying programs under weak consistency. Session Chair of Verification II (part of ATVA Papers)
Sebastiaan BrandBrand, Sebastiaan Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper)
C Michaël CadilhacCadilhac, Michaël Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Luca CardelliCardelli, Luca Microsoft Research and University of Oxford Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
Sujit Kumar ChakrabartiChakrabarti, Sujit Kumar International Institute of Information Technology, BangaloreIndia Organizing Chair in Organizing Committee for ATVA 2025
Supratik ChakrabortyChakraborty, Supratik IIT BombayIndia Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina PC Member in Programme Committee for ATVA 2025
Taolue ChenChen, Taolue Birkbeck, University of LondonUnited Kingdom Decision Procedures for A Theory of String Sequences
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan PC Member in Programme Committee for ATVA 2025 Steering Committee Member in Steering Committee for ATVA 2025
Yunja ChoiChoi, Yunja Kyungpook National UniversitySouth Korea PC Member in Programme Committee for ATVA 2025 Steering Committee Member in Steering Committee for ATVA 2025
Davide CorsiCorsi, Davide University of California, IrvineUnited States Efficient Dynamic Shielding for Parametric Safety Specifications
Christoph CsallnerCsallner, Christoph University of Texas at ArlingtonUnited States PC Member in Programme Committee for ATVA 2025
D Deepak D'SouzaD'Souza, Deepak Indian Institute of ScienceIndia General Chair in General Chair for ATVA 2025 Session Chair of Invited Talk 3 (part of ATVA Invited Talks)
Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Organizing Committee in Organizing Committee for ATVA 2025 Program Co-Chair in Programme Committee for ATVA 2025 Chair in Programme Committee for ATVA 2025 Session Chair of Invited Talk 2 (part of ATVA Invited Talks) Session Chair of AI and Compiler Optimisation for Performance (part of ATVA APLAS Papers)
Francesco DagninoDagnino, Francesco Fair Termination for Resource-Aware Active Objects
Kinnari DaveDave, Kinnari Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Rayna DimitrovaDimitrova, Rayna CISPA, GermanyGermany PC Member in Programme Committee for ATVA 2025
Susanna DonatelliDonatelli, Susanna Università degli Studi di TorinoItaly PC Member in Programme Committee for ATVA 2025
Alejandro Díaz-CaroDíaz-Caro, Alejandro INRIA / LORIA & UNQFrance IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
E Burak EkiciEkici, Burak University of Oxford, UK Committee Member in Artifact Evaluation Committee for ATVA 2025
Ryunosuke EndoEndo, Ryunosuke Waseda University Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
F Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States PC Member in Programme Committee for ATVA 2025
Vanessa FluegelFluegel, Vanessa University of Antwerp, Antwerp, BelgiumBelgium Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina PC Member in Programme Committee for ATVA 2025
Hiroya FujinamiFujinami, Hiroya Componentwise Automata Learning for System Integration
G Blaise GenestGenest, Blaise IPAL - CNRS - CNRS@CREATEFrance Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Fair Termination for Resource-Aware Active Objects
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar University of Oxford PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Ehsan Kafshdar GoharshadyGoharshady, Ehsan Kafshdar PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Priyanka GoliaGolia, Priyanka Indian Institute of Technology Delhi, New Delhi, IndiaIndia Artifact Evaluation Chair in Artifact Evaluation Committee for ATVA 2025
Samuel GrahnGrahn, Samuel Uppsala UniversitySweden Checking Consistency of Event-driven Traces
Orna GrumbergGrumberg, Orna Technion – Israel Institute of Technology PC Member in Programme Committee for ATVA 2025
Shibashis GuhaGuha, Shibashis Tata Institute of Fundamental Research MumbaiIndia PC Member in Programme Committee for ATVA 2025
Aarti GuptaGupta, Aarti Princeton University Network Abstractions for Modularity and Performance Verification
Ashutosh GuptaGupta, Ashutosh PC Member in Programme Committee for ATVA 2025
H Inzemamul HaqueHaque, Inzemamul Indian Institute of Technology Kanpur PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Committee Member in Programme Committee for ATVA 2025 Steering Committee Member in Steering Committee for ATVA 2025 Compositional Probabilistic Model Checking with String Diagrams of MDPs Session Chair of Monitoring and Runtime Verification (part of ATVA Papers) Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games Componentwise Automata Learning for System Integration
Linus HeckHeck, Linus Radboud UniversityNetherlands Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Frédéric HerbreteauHerbreteau, Frédéric Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800France PC Member in Programme Committee for ATVA 2025
Chiao HsiehHsieh, Chiao Kyoto UniversityJapan Committee Member in Artifact Evaluation Committee for ATVA 2025
Denghang HuHu, Denghang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Decision Procedures for A Theory of String Sequences
I Aman IftekharIftekhar, Aman IIT Patna Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
Hiroki IseriIseri, Hiroki NPO ASTER Minato-ku, TokyoJapan Componentwise Automata Learning for System Integration
Yoshihiro IshiguroIshiguro, Yoshihiro A Formal Foundation for Equational Reasoning on Probabilistic Programs
J Vincent JacksonJackson, Vincent University of MelbourneAustralia Memory Safety: Uniqueness as Separation
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, DenmarkDenmark TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
Jie-Hong Roland JiangJiang, Jie-Hong Roland National Taiwan University PC Member in Programme Committee for ATVA 2025 Steering Committee Member in Steering Committee for ATVA 2025
Sebastian JungesJunges, Sebastian Radboud University Learning Verified Monitors for Hidden Markov Models Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Thierry JéronJéron, Thierry INRIA Property Grouping and Context-Aware Runtime Enforcement Prompt Runtime Enforcement
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Expressive Power of One-Shot Control Operators and Coroutines
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Quantitative and Probabilistic Verification Quantitative and Probabilistic Verification
Mehrdad KarrabiKarrabi, Mehrdad Committee Member in Artifact Evaluation Committee for ATVA 2025 PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Kentaro KobayashiKobayashi, Kentaro University of TsukubaJapan Expressive Power of One-Shot Control Operators and Coroutines
Raghavan KomondoorKomondoor, Raghavan Indian Institute of ScienceIndia Program Co-Chair in Programme Committee for ATVA 2025 Chair in Programme Committee for ATVA 2025 Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation Session Chair of Tutorial 1 Part 2 (part of ATVA Tutorials and Workshops) Session Chair of Tutorial 1 Part 1 (part of ATVA Tutorials and Workshops)
Murali Krishna RamanathanKrishna Ramanathan, Murali AWS AI LabsUnited States PC Member in Programme Committee for ATVA 2025
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT BombayIndia PC Member in Programme Committee for ATVA 2025
Sajiv Kumar J.S.Kumar J.S., Sajiv Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
Orna KupfermanKupferman, Orna Hebrew UniversityIsrael PC Member in Programme Committee for ATVA 2025 Energy Games with Weight Uncertainty
Rohit KushwahKushwah, Rohit India Inductive Generalization in Reinforcement Learning from Specifications
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper)
Sumit LahiriLahiri, Sumit Indian Institute of Technology KanpurIndia Committee Member in Artifact Evaluation Committee for ATVA 2025
Yuke LiaoLiao, Yuke CNRS@CREATE, SingaporeSingapore Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia Memory Safety: Uniqueness as Separation
Milan Lopuhaä-ZwakenbergLopuhaä-Zwakenberg, Milan University of Twente PC Member in Programme Committee for ATVA 2025
Loïc Germerie Guizouarn Loïc Germerie Guizouarn University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Prompt Runtime Enforcement
Deyun LyuLyu, Deyun National Institute of InformaticsJapan Committee Member in Artifact Evaluation Committee for ATVA 2025
M wenbo mama, wenbo Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Kumar MadhukarMadhukar, Kumar IIT DelhiIndia PC Member in Programme Committee for ATVA 2025
Enrico MagnagoMagnago, Enrico Amazon Web Services Committee Member in Artifact Evaluation Committee for ATVA 2025
Anirban MajumdarMajumdar, Anirban India Learning Event-recording Automata Passively
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria Bidding Your Way to Better Decisions Efficient Dynamic Shielding for Parametric Safety Specifications
PRITAM MANOHAR GHARATMANOHAR GHARAT, PRITAM Microsoft Research IndiaIndia Session Chair of Program Analysis, Specifications, and Decision Procedures (part of ATVA APLAS Papers)
Shahar MaozMaoz, Shahar Tel Aviv UniversityIsrael PC Member in Programme Committee for ATVA 2025
Umang MathurMathur, Umang National University of SingaporeSingapore Programme Committee in Programme Committee for ATVA 2025
Umang MathurMathur, Umang National University of Singapore, SingaporeSingapore Regular Theories and How to Decide Them
Kuldeep S. MeelMeel, Kuldeep S. National University of Singapore Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification
Yan MiaoMiao, Yan University of Illinois Urbana-ChampaignUnited States Towards Unified Probabilistic Verification and Validation of Vision based Autonomy
Ashish MishraMishra, Ashish IIT HyderabadIndia PC Member in Programme Committee for ATVA 2025
Rahul MishraMishra, Rahul Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
Sayan MitraMitra, Sayan University of Illinois at Urbana-ChampaignUnited States Towards Unified Probabilistic Verification and Validation of Vision based Autonomy
Benjamin MonmegeMonmege, Benjamin Aix-Marseille UniversitéFrance PC Member in Programme Committee for ATVA 2025
Nicolas A. MonzonMonzon, Nicolas A. Universidad de la República & Universidad Argentina de la EmpresaArgentina A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Sergio MoverMover, Sergio Ecole PolytechniqueFrance PC Member in Programme Committee for ATVA 2025
Sayan MukherjeeMukherjee, Sayan Univ Rennes, Inria, CNRS, IRISA, France Session Chair of Games (part of ATVA Papers) Learning Event-recording Automata Passively Prompt Runtime Enforcement
Vishnu MuraliMurali, Vishnu University of Colorado BoulderUnited States Control Closure Certificates
Peter MüllerMüller, Peter ETH ZurichSwitzerland 15 Years of Viper: Building and Evolving a Verification Infrastructure
N Naama Shamash Halevy Naama Shamash Halevy The Hebrew UniversityIsrael Energy Games with Weight Uncertainty
Kartik NagarNagar, Kartik IIT MadrasIndia PC Member in Programme Committee for ATVA 2025 Replicated Data Types Replicated Data Types Session Chair of Verification I (part of ATVA Papers)
Satya Prakash NayakNayak, Satya Prakash Max Planck Institute for Software Systems (MPI-SWS)Germany Quantitative Strategy Templates
Daniel NeiderNeider, Daniel Technical University of Dortmund, GermanyGermany PC Member in Programme Committee for ATVA 2025
O Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Memory Safety: Uniqueness as Separation
Ocan Sankur Ocan Sankur University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Prompt Runtime Enforcement
Youssouf OualhadjOualhadj, Youssouf Université Paris Est - CréteilFrance PC Member in Programme Committee for ATVA 2025
Mohammed Adib OumerOumer, Mohammed Adib University of Colorado BoulderUnited States Control Closure Certificates
P P. S. Thiagarajan P. S. Thiagarajan Talk 2: Causally Deterministic (factored) Markov Decision Processes.
Awanish PandeyPandey, Awanish IIT RoorkeeIndia Committee Member in Artifact Evaluation Committee for ATVA 2025
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark PC Member in Programme Committee for ATVA 2025
Doron PeledPeled, Doron Bar Ilan UniversityIsrael PC Member in Programme Committee for ATVA 2025 Steering Committee Member in Steering Committee for ATVA 2025
Jordan PeperPeper, Jordan University of Florida, USAUnited States Towards Unified Probabilistic Verification and Validation of Vision based Autonomy
Kittiphon PhalakarnPhalakarn, Kittiphon National Institute of Informatics Session Chair of Learning (part of ATVA Papers) Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Lauren PickPick, Lauren The Chinese University of Hong KongHong Kong SAR China PC Member in Programme Committee for ATVA 2025
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Property Grouping and Context-Aware Runtime Enforcement Session Chair of Automata (part of ATVA Papers) Prompt Runtime Enforcement
Alex PotaninPotanin, Alex Australian National UniversityAustralia Session Chair of Invited Talk 1 (part of ATVA Invited Talks) Session Chair of Quantum Programming and Logic (part of ATVA APLAS Papers) Session Chair of Type Systems, Safety, and Verification (part of ATVA APLAS Papers)
Pavithra PrabhakarPrabhakar, Pavithra Kansas State UniversityUnited States Talk 3: Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems
Sumanth PrabhuPrabhu, Sumanth TCS Research PC Member in Programme Committee for ATVA 2025
Sanjiva PrasadPrasad, Sanjiva Indian Institute of Technology DelhiIndia Session Chair of Control, Effects, and Decidability (part of ATVA APLAS Papers)
M. PraveenPraveen, M. Chennai Mathematical InstituteIndia PC Member in Programme Committee for ATVA 2025
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Fair Termination for Resource-Aware Active Objects
Q Fei QiaoQiao, Fei Tsinghua University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States PC Member in Programme Committee for ATVA 2025
Tim QuatmannQuatmann, Tim RWTH Aachen UniversityGermany Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
R Ritam RahaRaha, Ritam University of Antwerp, Antwerp, BelgiumBelgium Quantitative Strategy Templates
Govind RajanbabuRajanbabu, Govind Uppsala University Session Chair of Hybrid and Dynamical Systems (part of ATVA Papers) Checking Consistency of Event-driven Traces
Shrisha RaoRao, Shrisha University of Antwerp, Antwerp, BelgiumBelgium Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Jean-François RaskinRaskin, Jean-François Université Libre de Bruxelles Learning Event-recording Automata Passively
Frédéric RecoulesRecoules, Frédéric CEA, List Committee Member in Artifact Evaluation Committee for ATVA 2025
Bruno Maria René GonzalezRené Gonzalez, Bruno Maria TU Berlin, GermanyGermany TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Memory Safety: Uniqueness as Separation
Andoni RodríguezRodríguez, Andoni IMDEA Software Institute, SpainSpain Efficient Dynamic Shielding for Parametric Safety Specifications
Subhajit RoyRoy, Subhajit IIT KanpurIndia PC Member in Programme Committee for ATVA 2025 Inductive Generalization in Reinforcement Learning from Specifications Specification Inference modulo Oracles for Database-backed Web Applications
Ivan RuchkinRuchkin, Ivan University of FloridaUnited States Towards Unified Probabilistic Verification and Validation of Vision based Autonomy
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Decision Procedures for A Theory of String Sequences
S Milad SaadatSaadat, Milad Sharif University of Technology, IranIran PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Claudio Sacerdoti CoenSacerdoti Coen, Claudio University of Bologna Positive Sharing and Abstract Machines
Suman SadhukhanSadhukhan, Suman Bidding Your Way to Better Decisions
Irmak SaglamSaglam, Irmak Max Planck Institute for Software Systems (MPI-SWS)Germany Quantitative Strategy Templates
Indranil SahaSaha, Indranil IIT KanpurIndia PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
Prakash SaivasanSaivasan, Prakash The Institute of Mathematical Sciences, India PC Member in Programme Committee for ATVA 2025
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States PC Member in Programme Committee for ATVA 2025
Santonu SarkarSarkar, Santonu BITS Pilani, IndiaIndia Antarbhukti: Verifying Correctness of PLC Software during System Evolution
Peter SchachteSchachte, Peter The University of MelbourneAustralia Memory Safety: Uniqueness as Separation
Stefan SchmidSchmid, Stefan TU Berlin, GermanyGermany TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
Anne-Kathrin SchmuckSchmuck, Anne-Kathrin Max Planck Institute for Software SystemsGermany PC Member in Programme Committee for ATVA 2025 Quantitative Strategy Templates
Hans-Jörg SchurrSchurr, Hans-Jörg The University of Iowa Committee Member in Artifact Evaluation Committee for ATVA 2025
Maximilian SeeligerSeeliger, Maximilian Vienna University of Technology, AustriaAustria PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)
Sanjit SeshiaSeshia, Sanjit UC Berkeley Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Saumya ShankarShankar, Saumya International Institute of Information Technology BangaloreIndia Organizing Committee in Organizing Committee for ATVA 2025 Property Grouping and Context-Aware Runtime Enforcement
Arpit SharmaSharma, Arpit Indian Institute of Science Education and Research Bhopal India PC Member in Programme Committee for ATVA 2025
Rahul SharmaSharma, Rahul Microsoft Research LLMs meet Program Synthesis
Arijit ShawShaw, Arijit Chennai Mathematical InstituteIndia Committee Member in Artifact Evaluation Committee for ATVA 2025
Shetal Shah Shetal Shah IIT Bombay, IndiaIndia Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Pankaj SiwanSiwan, Pankaj PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
Fu SongSong, Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software TechnologyChina Decision Procedures for A Theory of String Sequences
qingzeng songsong, qingzeng Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Jip SpelSpel, Jip RWTH Aachen UniversityGermany Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Giuseppe SquillaceSquillace, Giuseppe Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
Jiri SrbaSrba, Jiri TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Chair in Programme Committee for ATVA 2025 Program Co-Chair in Programme Committee for ATVA 2025 Session Chair of Tutorial 2 Part 1 (part of ATVA Tutorials and Workshops) Session Chair of Tutorial 2 Part 2 (part of ATVA Tutorials and Workshops)
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada PC Member in Programme Committee for ATVA 2025
Zachary StoneStone, Zachary The MathComp-Analysis development team A Formal Foundation for Equational Reasoning on Probabilistic Programs
Han SuSu, Han Institute of Software, Chinese Academy of SciencesChina Committee Member in Artifact Evaluation Committee for ATVA 2025
Vignesh SubramanianSubramanian, Vignesh Inductive Generalization in Reinforcement Learning from Specifications
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Componentwise Automata Learning for System Integration
mingze sunsun, mingze Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Yican SunSun, Yican Peking UniversityChina Committee Member in Artifact Evaluation Committee for ATVA 2025
Vaishnavi SundararajanSundararajan, Vaishnavi IIT DelhiIndia PC Member in Programme Committee for ATVA 2025
Nathalie SznajderSznajder, Nathalie Sorbonne Université, CNRS, LIP6France PC Member in Programme Committee for ATVA 2025
César SánchezSánchez, César IMDEA Software InstituteSpain Efficient Dynamic Shielding for Parametric Safety Specifications
T Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Aalok ThakkarThakkar, Aalok Ashoka University Committee Member in Artifact Evaluation Committee for ATVA 2025
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States PC Member in Programme Committee for ATVA 2025
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala UniversitySweden Checking Consistency of Event-driven Traces
Stefano TonettaTonetta, Stefano tonettas@fbk.eu Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates
Hazem TorfahTorfah, Hazem Chalmers University of TechnologySweden Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
Ulises TorrellaTorrella, Ulises Høgskulen på Vestlandet Fair Termination for Resource-Aware Active Objects
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
Nitesh TrivediTrivedi, Nitesh Specification Inference modulo Oracles for Database-backed Web Applications
Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
V Luko van der Maasvan der Maas, Luko Radboud University Nijmegen, NetherlandsNetherlands Learning Verified Monitors for Hidden Markov Models
Andrea VandinVandin, Andrea DTU, DenmarkDenmark Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE (tool paper)
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael PC Member in Programme Committee for ATVA 2025
W Masaki WagaWaga, Masaki Kyoto UniversityJapan PC Member in Programme Committee for ATVA 2025 Componentwise Automata Learning for System Integration
Pascal WeilWeil, Pascal Talk 4: On the average-case complexity of the word problem in subgroups of GL_d(Z)
Jui-Hsuan WuWu, Jui-Hsuan CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668France Positive Sharing and Abstract Machines
Zhilin WuWu, Zhilin Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina PC Member in Programme Committee for ATVA 2025 Decision Procedures for A Theory of String Sequences
X yongjiang xuexue, yongjiang Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Y Nayuta YanagisawaYanagisawa, Nayuta Japan Componentwise Automata Learning for System Integration
Yun Chen Tsai Yun Chen Tsai National Institute of Informatics, JapanJapan Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
Z Majid ZamaniZamani, Majid Control Closure Certificates
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
Xindi ZhangZhang, Xindi Institute of Software / CAS ChinaChina Committee Member in Artifact Evaluation Committee for ATVA 2025
Yedi ZhangZhang, Yedi National University of Singapore Committee Member in Artifact Evaluation Committee for ATVA 2025
Martin ZimmermannZimmermann, Martin University of LiverpoolUnited Kingdom TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper)
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore PolyQEnt: A Polynomial Quantified Entailment Solver (tool paper)