TPSA 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (45)

A Flavio AscariAscari, Flavio University of Pisa U-turn: Forward-driven backward analysis for incorrectness
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Refutation Committee Member in Program Committee within the TPSA-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Domain Reasoning In TopKAT: Reduction and Completeness
B Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States From Traces to Program Incorrectness: A Type-Theoretic Approach
Roberto BruniBruni, Roberto University of PisaItaly U-turn: Forward-driven backward analysis for incorrectness
C Pedro CarrottCarrott, Pedro Imperial College LondonUnited Kingdom Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Refutation
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Cyclic Message Histories for Automated Safety Verification of Distributed Algorithms
D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States From Traces to Program Incorrectness: A Type-Theoretic Approach
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
F Christian FontenotFontenot, Christian University of Colorado Boulder Cyclic Message Histories for Automated Safety Verification of Distributed Algorithms
Franz FranchettiFranchetti, Franz Carnegie Mellon University, USA Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Mike FranusichFranusich, Mike SpiralGen, Inc. Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Domain Reasoning In TopKAT: Reduction and Completeness
Lorenzo GazzellaGazzella, Lorenzo Università di Pisa Calculational design of Incorrectness Separation Logic
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy U-turn: Forward-driven backward analysis for incorrectness
Roberta GoriGori, Roberta University of PisaItaly Committee Member in Program Committee within the TPSA-track
Radu GrigoreGrigore, Radu Meta Improving Static Analysis using Information Collected at Runtime
H Kengo HirataHirata, Kengo University of Edinburgh Concurrent Quantum Separation Logic for Fine-Grained Parallelism
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States From Traces to Program Incorrectness: A Type-Theoretic Approach
K Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States Cyclic Message Histories for Automated Safety Verification of Distributed Algorithms
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany Partial Incorrectness Logic Committee Member in Program Committee within the TPSA-track
L James LiLi, James Cornell University Total Outcome Logic: Termination and Nontermination Proving for Effectful Branching
Andreas LööwLööw, Andreas Imperial College London Data Structure Abstraction and Incorrectness Separation Logic
M Yusuke MatsushitaMatsushita, Yusuke Kyoto University Concurrent Quantum Separation Logic for Fine-Grained Parallelism
O Peter O'HearnO'Hearn, Peter University College London, UK and Lacework, London, UK Committee Member in Program Committee within the TPSA-track
P David PichardiePichardie, David MetaFrance Enhancing Infer Compositional Analysis with Summary Specialization
Prasanth PrahladanPrahladan, Prasanth University of Colorado Boulder Distributed transactions over mergeable types: A meta-theory for 5G control-plane protocol verification
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Introduction U-turn: Forward-driven backward analysis for incorrectness Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Refutation Committee Member in Organizing Committee within the TPSA-track Committee Member in Program Committee within the TPSA-track
Sanil RaoRao, Sanil Carnegie Mellon University Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Adam RogalewiczRogalewicz, Adam Brno University of Technology, CzechiaCzechia Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract)
S Florian SextlSextl, Florian TU Wien, AustriaAustria Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract)
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Total Outcome Logic: Termination and Nontermination Proving for Effectful Branching
V Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States Committee Member in Program Committee within the TPSA-track
Lena VerschtVerscht, Lena RWTH Aachen University; Saarland UniversityGermany Partial Incorrectness Logic
Jules VillardVillard, Jules MetaUnited Kingdom Introduction Committee Member in Organizing Committee within the TPSA-track Committee Member in Program Committee within the TPSA-track
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract)
W Ryo WakizakaWakizaka, Ryo Kyoto UniversityJapan Concurrent Quantum Separation Logic for Fine-Grained Parallelism
Ānrán WángWáng, Ānrán Saarland University Partial Incorrectness Logic
Y Yongwei YuanYuan, Yongwei Purdue UniversityUnited States From Traces to Program Incorrectness: A Type-Theoretic Approach
Z Cheng ZhangZhang, Cheng University College London (UCL)United Kingdom Domain Reasoning In TopKAT: Reduction and Completeness
Naifeng ZhangZhang, Naifeng Carnegie Mellon University Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Zhe ZhouZhou, Zhe Purdue University From Traces to Program Incorrectness: A Type-Theoretic Approach
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Total Outcome Logic: Termination and Nontermination Proving for Effectful Branching Introduction Committee Member in Organizing Committee within the TPSA-track Committee Member in Program Committee within the TPSA-track
Conrad ZimmermanZimmerman, Conrad Northeastern UniversityUnited States Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
Florian ZulegerZuleger, Florian TU ViennaAustria Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract)