APLAS 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (104)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Committee Member in Program Committee within the APLAS Research Papers-track
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
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
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Hyper parametric timed CTL
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
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Automata-based approach for quantum circuit/program verification
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Session Chair of Session 1 (part of APLAS NIER) Specification and Verification for Higher-Order Imperative Programs
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
Albert CohenCohen, Albert Google DeepMindFrance K-Pop the Ultimate Compilation: No Kernel Left Behind Committee Member in Judges within the APLAS SRC & Posters-track
D Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Session Chair of Type theory and Semantic Frameworks II (part of APLAS Research Papers) 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
Yusuke FujiwaraFujiwara, Yusuke Kyoto University [non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
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 Session Chair of Session 2 (part of APLAS NIER) Session Chair of Closing (part of APLAS Events) Session Chair of Verification (remote) (part of APLAS Research Papers) Session Chair of Quantum (part of APLAS Research Papers) [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack 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 Committee Member in Judges within the APLAS SRC & Posters-track
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Compositional Probabilistic Model Checking with String Diagrams of MDPs
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
Ching HianHian, Ching Singapore University of Technology and Design, Singapore [SRC] Implementing a control flow obfuscation tool for Java
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Session Chair of Keynote 1 (part of APLAS Keynote) [non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays 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
Munehiro IwamiIwami, Munehiro Iwate Prefectural UniversityJapan [non-SRC] Disproving Termination of O-like Combinators by Tree Automata
J Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden Committee Member in Program Committee within the APLAS Research Papers-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Judges within the APLAS SRC & Posters-track
Satsuki KasuyaKasuya, Satsuki Institute of Science TokyoJapan [SRC] Vython: a Language with Dynamic Version Checking for Gradual Updating
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 Session Chair of Keynote 2 (part of APLAS Keynote) Session Chair of Keynote 1 (part of APLAS Keynote) Session Chair of Type theory and Semantic Frameworks (part of APLAS Research Papers) Session Chair of Probabilistic and Declarative Programming (part of APLAS Research Papers) 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 High-Order Fixpoint Logic for Automated Program Verification 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
Ashwina KumarKumar, Ashwina IIT Madras, IndiaIndia [SRC / Not under award selection] GPU Code Generation for Dynamic Graph Algorithms
L Kanguk LeeLee, Kanguk KAIST [SRC] Verified Exact Inference for Testing Quantum Circuit Transformers and Simulators
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 Session Chair of Logic (part of APLAS Research Papers) 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 Yusuke MatsushitaMatsushita, Yusuke The University of Tokyo [non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
Taiyo MizuhashiMizuhashi, Taiyo The University of Tokyo Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
Yuito MuraseMurase, Yuito Kyoto University, JapanJapan [SRC] Refined^2 Environment Classifiers
Koko MuroyaMuroya, Koko NIIJapan Session Chair of Finalist Presentation (part of APLAS SRC & Posters) Session Chair of Poster Session (part of APLAS SRC & Posters) Session Chair of Closing (part of APLAS Events) Climbing up a ladder: a new approach to contextual refinement Organizer in Organizer within the APLAS SRC & Posters-track Organizing Chair in Judges within the APLAS SRC & Posters-track Committee Member in Selection Committee within the APLAS SRC & Posters-track
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan [non-SRC] Disproving Termination of O-like Combinators by Tree Automata
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 Hyerin ParkPark, Hyerin KAIST [SRC] Testing and Finding Bugs in Homomorphic Encryption Libraries with Equivalence Partitioning
Jihee ParkPark, Jihee Korea Advanced Institute of Science and Technology (KAIST)South Korea [SRC] On the Equivalence Between Binary and Intermediate Representation Through Filtered-Simulation
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 How to design, document, and implement programming languages Steering Committee Chair in Steering Committee within the APLAS Research Papers-track
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
Ken SakayoriSakayori, Ken University of TokyoJapan Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Committee Member in Judges within the APLAS SRC & Posters-track
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 Informatics; SOKENDAIJapan 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
Yusung SimSim, Yusung Korea Advanced Institute of Science and Technology (KAIST) [SRC] Improving the WebAssembly Specification Framework for Future Proposals
Eugene SngSng, Eugene Ministry of Defence of Singapore Effective Search Space Pruning for Testing Deep Neural Networks
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia Deterministic Suffix-reading Automata
Pavle SuboticSubotic, Pavle Fantom FoundationSerbia Committee Member in Program Committee within the APLAS Research Papers-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan [non-SRC] Towards Ownership Refinement Type Inference with Nested Arrays
Takashi SuwaSuwa, Takashi Kyoto University and National Institute of InformaticsJapan [SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts
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 Institute of Science TokyoJapan Session Chair of Finalist Presentation (part of APLAS SRC & Posters) Session Chair of Poster Session (part of APLAS SRC & Posters) Session Chair of Closing (part of APLAS Events) Organizer in Organizer within the APLAS SRC & Posters-track Organizing Chair in Judges 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 Illinois Advanced Research Center at Singapore Ltd.Singapore Effective Search Space Pruning for Testing Deep Neural Networks
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Session Chair of Session 3 (part of APLAS NIER) Grammar-based Pattern Matching and Type Checking for Difference Data Structures 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 Masaki WagaWaga, Masaki Kyoto UniversityJapan Hyper parametric timed CTL
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 Session Chair of Verification (part of APLAS Research Papers) Generic Reasoning of the Locally Nameless Representation Verified and Verifying Compositional Compilation for Program Correctness and Safety Committee Member in Program Committee within the APLAS Research Papers-track
Cheng-Hui WengWeng, Cheng-Hui Nagoya UniversityJapan [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack
Y Naoki YamamotoYamamoto, Naoki Waseda UniversityJapan Grammar-based Pattern Matching and Type Checking for Difference Data Structures
Takuma YoshiokaYoshioka, Takuma Kyoto UniversityJapan [SRC] (Bi-)^3 directional Typing for Answer Type Modification
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