APLAS 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (99)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance A Diamond Machine for Strong Evaluation
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq Environment-Friendly Monadic Equational Reasoning for OCaml
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan Compilation Semantics for a Programming Language with Versions
Tomoyuki AotaniAotani, Tomoyuki Sanyo-Onoda City UniversityJapan Compilation Semantics for a Programming Language with Versions
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Types and Semantics for Extensible Data Types
Pablo BarenbaumBarenbaum, Pablo Universidad Nacional de Quilmes (CONICET) & Universidad de Buenos Aires A Diamond Machine for Strong Evaluation
C Soham ChakrabortyChakraborty, Soham TU DelftNetherlands PC Member in Program Committee within the APLAS -track
Sheng ChenChen, Sheng University of Louisiana at Lafayette What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Session Chair of Static Analysis and Testing (part of APLAS ) PC Member in Program Committee within the APLAS -track
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
F Yannick ForsterForster, Yannick InriaFrance Session Chair of Keynote 2 (part of APLAS ) Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions Committee Member in Judges within the APLAS SRC & Posters-track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Session Chair of Types (part of APLAS ) Environment-Friendly Monadic Equational Reasoning for OCaml Committee Member in Selection Committee within the APLAS SRC & Posters-track Committee Member in Judges within the APLAS SRC & Posters-track
Chuqin GengGeng, Chuqin McGill University TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Kimball GermaneGermane, Kimball Brigham Young University m-CFA Exhibits Perfect Stack Precision
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Selection Committee within the APLAS SRC & Posters-track
Ronghui GuGu, Ronghui Columbia University, USA PC Member in Program Committee within the APLAS -track
H Dan HaoHao, Dan Peking UniversityChina What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan PC Member in Program Committee within the APLAS -track
Chih-Duo HongHong, Chih-Duo National Chengchi UniversityTaiwan Committee Member in Selection Committee within the APLAS SRC & Posters-track
Yin-Jung HuangHuang, Yin-Jung National Central UniversityTaiwan [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Session Chair of Interactive Theorem Proving (part of APLAS ) PC Chair in Program Committee within the APLAS -track PC Chair in Organizing Committee within the APLAS -track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Steering Committee Chair in Steering Committee within the APLAS -track
Ryo IkedaIkeda, Ryo University of Tokyo Argument Reduction of Constrained Horn Clauses Using Equality Constraints
Jin IshikawaIshikawa, Jin Oita UniversityJapan [SRC] Multiple Screen States for Programming with Small Screens
J Ralf JungJung, Ralf ETH ZürichSwitzerland PC Member in Program Committee within the APLAS -track
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom PC Member in Program Committee within the APLAS -track
Jeehoon KangKang, Jeehoon KAISTSouth Korea PC Member in Program Committee within the APLAS -track
Kevin KappelmannKappelmann, Kevin Technical University of MunichGermany Transport via Partial Galois Connections and Equivalences
Jieung KimKim, Jieung Inha UniversitySouth Korea PC Member in Program Committee within the APLAS -track
Dominik KirstKirst, Dominik Ben-Gurion UniversityGermany Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
Oleg KiselyovKiselyov, Oleg Committee Member in Selection Committee within the APLAS SRC & Posters-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Session Chair of Student Research Competition Presentations (part of APLAS SRC & Posters) Session Chair of Student Research Competition and Poster Session Awards (part of APLAS SRC & Posters) SRC & Posters Chair in Organiser within the APLAS SRC & Posters-track SRC & Posters Chair in Organizing Committee within the APLAS -track
Naoki KobayashiKobayashi, Naoki University of TokyoJapan A Neural-Network-Guided Approach to Program Verification and Synthesis Argument Reduction of Constrained Horn Clauses Using Equality Constraints
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands PC Member in Program Committee within the APLAS -track
Clemens KupkeKupke, Clemens University of StrathclydeUnited Kingdom A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
L Ori LahavLahav, Ori Tel Aviv UniversityIsrael PC Member in Program Committee within the APLAS -track
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States PC Member in Program Committee within the APLAS -track
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea PC Member in Program Committee within the APLAS -track
Wenhua LiLi, Wenhua National University of Singapore Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Hongjin LiangLiang, Hongjin Nanjing UniversityChina PC Member in Program Committee within the APLAS -track
Anthony Widjaja LinLin, Anthony Widjaja TU Kaiserslautern; MPI-SWSGermany Session Chair of NIER Session 2 (part of APLAS NIER) Counterfactual Explanations for Sequential Models through Computational Complexity
Nuno P. LopesLopes, Nuno P. INESC-ID; Instituto Superior Técnico - University of LisbonPortugal PC Member in Program Committee within the APLAS -track
M Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Compilation Semantics for a Programming Language with Versions
Kazuki MatsuokaMatsuoka, Kazuki Tokyo Institute of TechnologyJapan [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework
Akimasa MorihataMorihata, Akimasa University of TokyoJapan Committee Member in Selection Committee within the APLAS SRC & Posters-track
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan Session Chair of NIER Session 1 (part of APLAS NIER) Session Chair of Keynote 1 (part of APLAS ) Bottom-Up Construction of Sublist Trees General Chair in Organizing Committee within the APLAS -track
Niklas MückMück, Niklas Saarland University Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
N Chandrakana NandiNandi, Chandrakana CertoraUnited States PC Member in Program Committee within the APLAS -track
Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Typed Non-determinism in Functional and Concurrent Calculi
Fredrik Nordvall ForsbergNordvall Forsberg, Fredrik University of StrathclydeUnited Kingdom A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom PC Member in Program Committee within the APLAS -track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Data-Driven Static Analysis
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina PC Member in Program Committee within the APLAS -track
Dominic OrchardOrchard, Dominic University of Kent, UK and University of Cambridge, UKUnited Kingdom Committee Member in Selection Committee within the APLAS SRC & Posters-track
P Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Session Chair of Functional Languages (part of APLAS ) PC Member in Program Committee within the APLAS -track
Joseph PaulusPaulus, Joseph Typed Non-determinism in Functional and Concurrent Calculi
Gennady PekhimenkoPekhimenko, Gennady University of Toronto / Vector Institute TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland PC Member in Program Committee within the APLAS -track
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Typed Non-determinism in Functional and Concurrent Calculi
Q Yong Qi FooQi Foo, Yong National University of SingaporeSingapore [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs
R Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Chair in Steering Committee within the APLAS -track
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Environment-Friendly Monadic Equational Reasoning for OCaml
Ayumu SaitoSaito, Ayumu Tokyo Institute of Technology Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
Jin SanoSano, Jin Waseda UniversityJapan λGT: A Functional Language with Graphs as First-Class Data
Ryosuke SatoSato, Ryosuke University of TokyoJapan Argument Reduction of Constrained Horn Clauses Using Equality Constraints Publicity Chair in Organizing Committee within the APLAS -track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Committee Member in Selection Committee within the APLAS SRC & Posters-track Committee Member in Judges within the APLAS SRC & Posters-track
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Committee Member in Selection Committee within the APLAS SRC & Posters-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Verification (part of APLAS ) A Compositional Theory of Linearizability
Xujie SiSi, Xujie University of Toronto TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Yahui SongSong, Yahui Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
Yichen SongSong, Yichen Shanghai Jiao Tong University Towards a Framework for Developing Verified Assemblers for the ELF Format
Youngju SongSong, Youngju MPI-SWSGermany Committee Member in Selection Committee within the APLAS SRC & Posters-track
Matthieu SozeauSozeau, Matthieu InriaFrance PC Member in Program Committee within the APLAS -track
Qidong SuSu, Qidong University of Toronto / Vector Institute TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan PC Member in Program Committee within the APLAS -track
Ke SunSun, Ke Peking UniversityChina What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
Meng SunSun, Meng Shanghai Jiao Tong University Towards a Framework for Developing Verified Assemblers for the ELF Format
Yaozhu SunSun, Yaozhu University of Hong KongChina [SRC] Separate Compilation for Compositional Programming via Extensible Records
T Kento TakyuTakyu, Kento Waseda UniversityJapan [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language
Yong Kiam TanTan, Yong Kiam *Institute for Infocomm Research, ASTAR** Covering the Last Mile in Trustworthy Automated Reasoning with CakeML
Yudai TanabeTanabe, Yudai Kyoto UniversityJapan Compilation Semantics for a Programming Language with Versions Committee Member in Judges within the APLAS SRC & Posters-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Selection Committee within the APLAS SRC & Posters-track
U Kazunori UedaUeda, Kazunori Waseda UniversityJapan Session Chair of Keynote 3 (part of APLAS ) [Non-SRC] Encoding MELL Cut Elimination into a Hierarchical Graph Rewriting Language λGT: A Functional Language with Graphs as First-Class Data
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland PC Member in Program Committee within the APLAS -track
V Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands Typed Non-determinism in Functional and Concurrent Calculi
Cas van der Restvan der Rest, Cas Delft University of TechnologyNetherlands Types and Semantics for Extensible Data Types
W Bow-Yaw WangWang, Bow-Yaw Academia Sinica Certified Automatic Verification of Industrial Cryptographic Primitive Programs
Meng WangWang, Meng University of BristolUnited Kingdom What Types are Needed for Typing Dynamic Objects? A Python-based Empirical Study
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Towards a Framework for Developing Verified Assemblers for the ELF Format
Sean WattersWatters, Sean University of Strathclyde A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
John WickersonWickerson, John Imperial College LondonUnited Kingdom PC Member in Program Committee within the APLAS -track
Jinhua WuWu, Jinhua Shanghai Jiao Tong UniversityChina Towards a Framework for Developing Verified Assemblers for the ELF Format
Jui-Hsuan WuWu, Jui-Hsuan Institut Polytechnique de ParisFrance Proofs as Terms, Terms as Graphs
X Chuangjie XuXu, Chuangjie SonarSourceGermany Committee Member in Selection Committee within the APLAS SRC & Posters-track
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Towards a Framework for Developing Verified Assemblers for the ELF Format
Y Wei-Hsin YenYen, Wei-Hsin National Central UniversityTaiwan [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development
Z Danfeng ZhangZhang, Danfeng Duke University; Pennsylvania State UniversityUnited States PC Member in Program Committee within the APLAS -track
YungYu ZhuangZhuang, YungYu National Central UniversityTaiwan [Non-SRC] Towards a Programming Paradigm Approach for AI-Assisted Software Development Committee Member in Judges within the APLAS SRC & Posters-track

APLAS 2023 Contributors

Results (99)

Tracks

Co-hosted Events