APLAS 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (77)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Committee Member in Program Committee within the APLAS Research Papers-track
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands Comparing semantic frameworks of dependently-sorted algebraic theories
Sandra AlvesAlves, Sandra University of PortoPortugal Extending the Quantitative Pattern-Matching Paradigm
B Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany OBRA: Oracle-based, relational, algorithmic type verification
C Lorenzo CeragioliCeragioli, Lorenzo IMT Lucca, Italy Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Selection Committee within the APLAS SRC & Posters-track
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
D Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Random-access lists, from EE to FP Committee Member in Program Committee within the APLAS Research Papers-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly On Computational Indistinguishability and Logical Relations
Marc de Vismede Visme, Marc Université Paris-Saclay, CNRS, INRIA-SIF, LMF Non-deterministic, probabilistic, and quantum effects through the lens of event structures
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
F Vitor FernandesFernandes, Vitor University of Minho Non-deterministic, probabilistic, and quantum effects through the lens of event structures
G Fabio GadducciGadducci, Fabio University of Pisa Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Zeinab GalalGalal, Zeinab University of Bologna On Computational Indistinguishability and Logical Relations
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan General Chair in Organizing Committee for APLAS 2024 General Chair in Organizing Committee within the APLAS Research Papers-track
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Committee Member in Program Committee within the APLAS Research Papers-track
Giulia GiustiGiusti, Giulia ENS Lyon On Computational Indistinguishability and Logical Relations
H Michael HanusHanus, Michael Kiel UniversityGermany Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark Committee Member in Program Committee within the APLAS Research Papers-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Type-Based Verification of Connectivity Constraints in Lattice Surgery Steering Committee Chair in Steering Committee within the APLAS Research Papers-track
Mirai IkebuchiIkebuchi, Mirai Kyoto UniversityJapan Publicity Co-Chair in Organizing Committee for APLAS 2024 Publicity Co-Chair in Organizing Committee within the APLAS Research Papers-track Committee Member in Program Committee within the APLAS Research Papers-track
Jun InoueInoue, Jun National Institute of Advanced Industrial Science and Technology, Japan Quantum Programming Without the Quantum Physics
J Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden Committee Member in Program Committee within the APLAS Research Papers-track
K Hiroyuki KatsuraKatsura, Hiroyuki The University of Tokyo Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance Extending the Quantitative Pattern-Matching Paradigm
Genki KimuraKimura, Genki The University of Tokyo Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan PC Chair in Organizing Committee for APLAS 2024 Program Chair in Organizing Committee within the APLAS Research Papers-track PC Chair in Program Committee within the APLAS Research Papers-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Committee Member in Selection Committee within the APLAS SRC & Posters-track Committee Member in Program Committee within the APLAS Research Papers-track
Naoki KobayashiKobayashi, Naoki University of TokyoJapan Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India Committee Member in Selection Committee within the APLAS SRC & Posters-track
L Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea Committee Member in Selection Committee within the APLAS SRC & Posters-track
Yeonseok LeeLee, Yeonseok Nagoya UniversityJapan Relative Completeness of Incorrectness Separation Logic
Peter Lefanu LumsdaineLefanu Lumsdaine, Peter Stockholm UniversitySweden Comparing semantic frameworks of dependently-sorted algebraic theories
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Committee Member in Program Committee within the APLAS Research Papers-track
Martin LesterLester, Martin University of Reading Committee Member in Program Committee within the APLAS Research Papers-track
Bohdan LiesnikovLiesnikov, Bohdan Delft University of Technology Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
Giuseppe LomurnoLomurno, Giuseppe University of Pisa, Italy Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
M Taiyo MizuhashiMizuhashi, Taiyo The University of Tokyo Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
Koko MuroyaMuroya, Koko RIMS, Kyoto UniversityJapan Organizer in Organizer within the APLAS SRC & Posters-track Committee Member in Selection Committee within the APLAS SRC & Posters-track
N Koji NakazawaNakazawa, Koji Graduate School of Informatics, Nagoya UniversityJapan Relative Completeness of Incorrectness Separation Logic
Yicheng NiNi, Yicheng Shanghai Jiao Tong University Generic Reasoning of the Locally Nameless Representation
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of StrathclydeUnited Kingdom Committee Member in Program Committee within the APLAS Research Papers-track
Paige Randall NorthNorth, Paige Randall Utrecht University Comparing semantic frameworks of dependently-sorted algebraic theories
P Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in Selection Committee within the APLAS SRC & Posters-track
Matija PretnarPretnar, Matija University of LjubljanaSlovenia Committee Member in Program Committee within the APLAS Research Papers-track
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Selection Committee within the APLAS SRC & Posters-track
Titouan QuennetQuennet, Titouan Université Paris Cité, CNRS, IRIF Random-access lists, from EE to FP
R Miguel RamosRamos, Miguel Universidade do Porto, LIACC; Université Paris Cité, IRIF, CNRSPortugal Extending the Quantitative Pattern-Matching Paradigm
Bala RangayaRangaya, Bala Singapore University of Technology and Design Effective Search Space Pruning for Testing Deep Neural Networks
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Chair in Steering Committee within the APLAS Research Papers-track
S Ken SakayoriSakayori, Ken University of TokyoJapan Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan Publicity Co-Chair in Organizing Committee for APLAS 2024 Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Publicity Co-Chair in Organizing Committee within the APLAS Research Papers-track
Shigeyuki SatoSato, Shigeyuki The University of Electro-CommunicationsJapan Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
Peter SchachteSchachte, Peter The University of MelbourneAustralia Committee Member in Program Committee within the APLAS Research Papers-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the APLAS Research Papers-track
Philipp SchusterSchuster, Philipp University of TübingenGermany Committee Member in Program Committee within the APLAS Research Papers-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Committee Member in Selection Committee within the APLAS SRC & Posters-track Committee Member in Program Committee within the APLAS Research Papers-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Program Committee within the APLAS Research Papers-track
Eugene SngSng, Eugene Ministry of Defence of Singapore Effective Search Space Pruning for Testing Deep Neural Networks
Pavle SuboticSubotic, Pavle Fantom FoundationSerbia Committee Member in Program Committee within the APLAS Research Papers-track
Yasunari SuzukiSuzuki, Yasunari NTT Computer and Data Science Laboratories Type-Based Verification of Connectivity Constraints in Lattice Surgery
T Yong Kiam TanTan, Yong Kiam *Institute for Infocomm Research, ASTAR** Committee Member in Program Committee within the APLAS Research Papers-track
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Organizer in Organizer within the APLAS SRC & Posters-track Committee Member in Selection Committee within the APLAS SRC & Posters-track
Kenjiro TauraTaura, Kenjiro The University of TokyoJapan Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
Gabriele TedeschiTedeschi, Gabriele University of Pisa, Italy Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
Peter ThiemannThiemann, Peter University of Freiburg, Germany A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
Minh-Thai TrinhTrinh, Minh-Thai Advanced Digital Sciences CenterSingapore Effective Search Space Pruning for Testing Deep Neural Networks
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Committee Member in Program Committee within the APLAS Research Papers-track
V Benoît ValironValiron, Benoît Université Paris-Saclay, CNRS, CentraleSupélec, LMF Non-deterministic, probabilistic, and quantum effects through the lens of event structures
Lisa VasilenkoVasilenko, Lisa IMDEA Software Institute and HSE University OBRA: Oracle-based, relational, algorithmic type verification
Niki VazouVazou, Niki IMDEA Software Institute OBRA: Oracle-based, relational, algorithmic type verification
German VidalVidal, German Universitat Politecnica de ValenciaSpain Explaining Explanations in Probabilistic Logic Programming
W Ryo WakizakaWakizaka, Ryo Kyoto UniversityJapan Type-Based Verification of Connectivity Constraints in Lattice Surgery
Di WangWang, Di Peking UniversityChina Committee Member in Selection Committee within the APLAS SRC & Posters-track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Generic Reasoning of the Locally Nameless Representation Committee Member in Program Committee within the APLAS Research Papers-track
Y Ki Yung AhnYung Ahn, Ki Hannam UniversitySouth Korea Committee Member in Program Committee within the APLAS Research Papers-track
Z YungYu ZhuangZhuang, YungYu National Central UniversityTaiwan Committee Member in Selection Committee within the APLAS SRC & Posters-track