APLAS 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (85)

A 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
Viraj AgasheAgashe, Viraj Microsoft Research IndiaIndia Web Chair in Organising Committee for APLAS 2025
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Checking Consistency of Event-driven Traces
Guy AvniAvni, Guy University of HaifaAustria 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 Alexander BakstBakst, Alexander CertoraUnited States Committee Member in Program Committee within the APLAS Research Papers-track
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Committee Member in Program Committee within the APLAS Research Papers-track
C Taolue ChenChen, Taolue Birkbeck, University of LondonUnited Kingdom Decision Procedures for A Theory of String Sequences
Andreea CosteaCostea, Andreea TU DelftNetherlands Committee Member in Program Committee within the APLAS Research Papers-track
D Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Organizing Chair in Organising Committee for APLAS 2025 Session Chair of AI and Compiler Optimisation for Performance (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
Francesco DagninoDagnino, Francesco University of GenoaItaly 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
Sudakshina DuttaDutta, Sudakshina Indian Institute of Technology GoaIndia Committee Member in Selection Committee within the APLAS SRC and Posters-track
Alejandro Díaz-CaroDíaz-Caro, Alejandro INRIA / LORIA & UNQFrance A Quantum-Control Lambda-Calculus with Multiple Measurement Bases IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
E Ryunosuke EndoEndo, Ryunosuke Waseda University Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
F Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Program Committee within the APLAS Research Papers-track
G Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Fair Termination for Resource-Aware Active Objects
Samuel GrahnGrahn, Samuel Uppsala UniversitySweden Checking Consistency of Event-driven Traces
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 Compositional Probabilistic Model Checking with String Diagrams of MDPs
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the APLAS Research Papers-track
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
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the APLAS Research Papers-track
I Aman IftekharIftekhar, Aman IIT Patna Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in Program Committee within the APLAS Research Papers-track
Yoshihiro IshiguroIshiguro, Yoshihiro Nagoya University, AIST A Formal Foundation for Equational Reasoning on Probabilistic Programs
J Vincent JacksonJackson, Vincent University of MelbourneAustralia Memory Safety: Uniqueness as Separation.
Swati JaiswalJaiswal, Swati VNIT NagpurIndia Committee Member in Selection Committee within the APLAS SRC and Posters-track
Anushri JanaJana, Anushri TRDDC Pune Committee Member in Selection Committee within the APLAS SRC and Posters-track
Thierry JéronJéron, Thierry INRIA Property Grouping and Context-Aware Runtime Enforcement
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Expressive Power of One-Shot Control Operators and Coroutines
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Program Committee within the APLAS Research Papers-track
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan Committee Member in Program Committee within the APLAS Research Papers-track
Kentaro KobayashiKobayashi, Kentaro University of TsukubaJapan Expressive Power of One-Shot Control Operators and Coroutines
Raghavan KomondoorKomondoor, Raghavan Indian Institute of ScienceIndia Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
V Krishna NandivadaKrishna Nandivada, V IIT Madras Committee Member in Program Committee within the APLAS Research Papers-track
Sajiv Kumar J.S.Kumar J.S., Sajiv Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation
L Liyi LiLi, Liyi Iowa State UniversityUnited States Committee Member in Program Committee within the APLAS Research Papers-track
Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia Memory Safety: Uniqueness as Separation.
M wenbo mama, wenbo Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria Bidding Your Way to Better Decisions
PRITAM MANOHAR GHARATMANOHAR GHARAT, PRITAM Microsoft Research IndiaIndia General Chair in Organising Committee for APLAS 2025 Session Chair of Program Analysis, Specifications, and Decision Procedures (part of APLAS Research Papers)
Umang MathurMathur, Umang National University of Singapore, SingaporeSingapore Regular Theories and How to Decide Them
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee within the APLAS Research Papers-track
Rahul MishraMishra, Rahul IIT Patna Performance Optimization of HPC Workloads in Cloud Using AI-Driven Algorithms
Nicolas A. MonzonMonzon, Nicolas A. Universidad de la República & Universidad Argentina de la EmpresaArgentina A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
Peter MüllerMüller, Peter ETH ZurichSwitzerland 15 Years of Viper: Building and Evolving a Verification Infrastructure (Joint APLAS-ATVA Invited Talk)
N Kartik NagarNagar, Kartik IIT MadrasIndia Committee Member in Program Committee within the APLAS Research Papers-track
O Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Memory Safety: Uniqueness as Separation. Committee Member in Program Committee within the APLAS Research Papers-track
P Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Committee Member in Program Committee within the APLAS Research Papers-track
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Property Grouping and Context-Aware Runtime Enforcement
Alex PotaninPotanin, Alex Australian National UniversityAustralia Session Chair of Invited Talk (part of APLAS Keynotes) Session Chair of Quantum Programming and Logic (part of APLAS Research Papers) Session Chair of Type Systems, Safety, and Verification (part of APLAS Research Papers) PC Chair in Program Committee within the APLAS Research Papers-track
Sanjiva PrasadPrasad, Sanjiva Indian Institute of Technology DelhiIndia Session Chair of Control, Effects, and Decidability (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
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
R Govind RajanbabuRajanbabu, Govind Uppsala University Checking Consistency of Event-driven Traces
G. RamalingamRamalingam, G. MicrosoftUnited States Committee Member in Program Committee within the APLAS Research Papers-track
Aditi RasteRaste, Aditi Savitribai Phule Pune University (SSPU)India Committee Member in Selection Committee within the APLAS SRC and Posters-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Memory Safety: Uniqueness as Separation.
Subhajit RoyRoy, Subhajit IIT KanpurIndia Specification Inference modulo Oracles for Database-backed Web Applications
Philipp RuemmerRuemmer, Philipp University of Regensburg and Uppsala UniversityGermany Decision Procedures for A Theory of String Sequences
S Claudio Sacerdoti CoenSacerdoti Coen, Claudio University of Bologna Positive Sharing and Abstract Machines
Suman SadhukhanSadhukhan, Suman Bidding Your Way to Better Decisions
Indranil SahaSaha, Indranil IIT KanpurIndia PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements
Peter SchachteSchachte, Peter The University of MelbourneAustralia Memory Safety: Uniqueness as Separation.
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the APLAS Research Papers-track
Saumya ShankarShankar, Saumya International Institute of Information Technology BangaloreIndia Property Grouping and Context-Aware Runtime Enforcement
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Committee Member in Program Committee within the APLAS Research Papers-track
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
Zachary StoneStone, Zachary The MathComp-Analysis development team A Formal Foundation for Equational Reasoning on Probabilistic Programs
mingze sunsun, mingze Tiangong University ELTC: An End-to-End Large Language Model-Based Tensor Compilation Optimization Framework
T Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers Committee Member in Program Committee within the APLAS Research Papers-track
Manas ThakurThakur, Manas IIT BombayIndia Committee Member in Program Committee within the APLAS Research Papers-track
Ramanathan S. ThinniyamThinniyam, Ramanathan S. Uppsala UniversitySweden Checking Consistency of Event-driven Traces
Ulises TorrellaTorrella, Ulises Høgskulen på Vestlandet Fair Termination for Resource-Aware Active Objects
Nitesh TrivediTrivedi, Nitesh IIT KANPUR Specification Inference modulo Oracles for Database-backed Web Applications
W Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Committee Member in Program Committee within the APLAS Research Papers-track
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 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
Z Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation