APLAS 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (130)

A Beniamino AccattoliAccattoli, Beniamino Inria & Ecole Polytechnique Factorization and Normalization, Essentially
Mirna AdrianiAdriani, Mirna Universitas Indonesia General Chair in Organizing Committee for APLAS 2019 General Chair in Organizing Committee within the APLAS Research Papers-track Committee Member in Organizing Committee within the APLAS Local Participants-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States On Decidable Subtyping for Path Dependent Types
Nada AminAmin, Nada Harvard UniversityUnited States Lightweight Functional Logic Meta-Programming
Timos AntonopoulosAntonopoulos, Timos Yale UniversityUnited States Ordinary PC member in Program Committee within the APLAS Research Papers-track
B Sora BaeBae, Sora Oracle Labs, AustraliaSouth Korea Towards Understanding and Reasoning about Android Interoperations
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Session Chair of Language Design and Implementation (part of APLAS Research Papers) A Constant-time Preserving C Compiler Ordinary PC member in Program Committee within the APLAS Research Papers-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Lightweight Functional Logic Meta-Programming
C Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina A Verified Garbage Collector for Gallina
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder \| Amazon Committee Member in Steering Committee for APLAS 2019
Taolue ChenChen, Taolue Birkbeck, University of London Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Simulations in Rank-Based Buchi Automata Complementation J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper] Ordinary PC member in Program Committee within the APLAS Research Papers-track
Chang-Yi ChiangChiang, Chang-Yi Graduate Institute of Information Management, National Taipei University, Taiwan J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Co-chair in Steering Committee for APLAS 2019 Committee Member in Organizing Committee within the APLAS NIER-track
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Session Chair of Poster talk session (part of APLAS Posters) Session Chair of Poster session (part of APLAS Posters) A Survey on Technologies for Designing and Implementing Safe and Correct Distributed Software
Silvia CrafaCrafa, Silvia University of PadovaItaly Ordinary PC member in Program Committee within the APLAS Research Papers-track
Raimil CruzCruz, Raimil University of ChileChile Existential Types for Relaxed Noninterference
D Vijay D'SilvaD'Silva, Vijay Google Ordinary PC member in Program Committee within the APLAS Research Papers-track
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. Mimalloc: Free List Sharding in Action
Thomas DickersonDickerson, Thomas Brown UniversityUnited States Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Publicity Chair in Organizing Committee for APLAS 2019 Publicity Chair in Organizing Committee within the APLAS Research Papers-track Ordinary PC member in Program Committee within the APLAS Research Papers-track
Jonathan DiLorenzoDiLorenzo, Jonathan Cornell UniversityUnited States Transactional Forest: A DSL for Managing Concurrent Filestores
Rayna DimitrovaDimitrova, Rayna University of Leicester, UK Ordinary PC member in Program Committee within the APLAS Research Papers-track
Julian DolbyDolby, Julian IBM ResearchUnited States Ordinary PC member in Program Committee within the APLAS Research Papers-track
E Kento EmotoEmoto, Kento Kyushu Institute of TechnologyJapan Recursion Schemes in Coq
F Claudia FaggianFaggian, Claudia IRIFFrance Factorization and Normalization, Essentially
Xinyu FengFeng, Xinyu Nanjing UniversityChina Committee Member in Steering Committee for APLAS 2019
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Transactional Forest: A DSL for Managing Concurrent Filestores
Nate FosterFoster, Nate Cornell UniversityUnited States Transactional Forest: A DSL for Managing Concurrent Filestores Network Verification: Past, Present, and Future
Yuxi FuFu, Yuxi Shanghai Jiao Tong University, ChinaChina Committee Member in Steering Committee for APLAS 2019 On Probabilistic Process
G Graeme GangeGange, Graeme Dissecting Widening: Separating Termination from Information
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Committee Member in Steering Committee for APLAS 2019
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Ordinary PC member in Program Committee within the APLAS Research Papers-track
Lindsay GrovesGroves, Lindsay Victoria University of WellingtonNew Zealand On Decidable Subtyping for Path Dependent Types
Giulio GuerrieriGuerrieri, Giulio University of BathUnited Kingdom Factorization and Normalization, Essentially
H Long H. PhamH. Pham, Long Singapore University of Technology and Design Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Matthew HagueHague, Matthew Royal Holloway, University of LondonUnited Kingdom Ordinary PC member in Program Committee within the APLAS Research Papers-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Ordinary PC member in Program Committee within the APLAS Research Papers-track
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Ordinary PC member in Program Committee within the APLAS Research Papers-track
Vojtěch HavlenaHavlena, Vojtěch Brno University of Technology Simulations in Rank-Based Buchi Automata Complementation
Jilong HeHe, Jilong Institute of Software, Chinese Academy of Sciences Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Maurice HerlihyHerlihy, Maurice Brown University, USA Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Aquinas HoborHobor, Aquinas National University of Singapore, SingaporeSingapore Pumping, With or Without Choice A Verified Garbage Collector for Gallina Ordinary PC member in Program Committee within the APLAS Research Papers-track
Lukáš HolíkHolík, Lukáš Brno University of Technology J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper] Succinct Determinisation of Counting Automata via Sphere Construction
Youkichi HosoiHosoi, Youkichi The University of Tokyo A Type-Based HFL Model Checking Algorithm
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Steering Committee for APLAS 2019
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Co-chair in Steering Committee for APLAS 2019 Session Chair of Semantics (part of APLAS Research Papers) A Dependently Typed Multi-Stage Calculus Space-Efficient Gradual Typing in Coercion-Passing Style Manifest Contracts with Intersection Types Committee Member in Organizing Committee within the APLAS NIER-track
J Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Committee Member in Steering Committee for APLAS 2019
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Steering Committee for APLAS 2019
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Ordinary PC member in Program Committee within the APLAS Research Papers-track
Wei-Tsung KaoKao, Wei-Tsung Institute of Information Science, Academia Sinica, Taiwan J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]
Akira KawataKawata, Akira Kyoto University A Dependently Typed Multi-Stage Calculus
Daisuke KimuraKimura, Daisuke Toho University Japan Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
Johannes KinderKinder, Johannes Bundeswehr University MunichGermany Ordinary PC member in Program Committee within the APLAS Research Papers-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, Japan Committee Member in Steering Committee for APLAS 2019 A Type-Based HFL Model Checking Algorithm
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Ordinary PC member in Program Committee within the APLAS Research Papers-track
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Ordinary PC member in Program Committee within the APLAS Research Papers-track
L Quang Loc LeLe, Quang Loc Teesside UniversityUnited Kingdom Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning Ordinary PC member in Program Committee within the APLAS Research Papers-track
Sungho LeeLee, Sungho KAIST, South KoreaSouth Korea Towards Understanding and Reasoning about Android Interoperations
Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Mimalloc: Free List Sharding in Action
Ondřej LengálLengál, Ondřej Brno University of Technology Czechia Simulations in Rank-Based Buchi Automata Complementation Succinct Determinisation of Counting Automata via Sphere Construction
Martin LesterLester, Martin University of ReadingUnited Kingdom Ordinary PC member in Program Committee within the APLAS Research Papers-track
Elaine LiLi, Elaine Runtime Verification, Inc.United States Pumping, With or Without Choice
Hongjin LiangLiang, Hongjin Nanjing University, ChinaChina Ordinary PC member in Program Committee within the APLAS Research Papers-track
Anthony Widjaja LinLin, Anthony Widjaja Technische Universität KaiserslauternGermany PC Chair in Organizing Committee for APLAS 2019 Session Chair of Keynote 1 (part of APLAS Keynote Talks) Session Chair of Keynote 2 (part of APLAS Keynote Talks) Session Chair of Keynote 3 (part of APLAS Keynote Talks) Word Equations with Length Constraints and Presburger Arithmetic with Divisibility PC Chair in Organizing Committee within the APLAS Research Papers-track Chair in Program Committee within the APLAS Research Papers-track
Hsin-Hung LinLin, Hsin-Hung Institute of Information Science, Academia Sinica, Taiwan J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]
Huan LongLong, Huan Shanghai Jiao Tong University Uniform Random Process Model Revisited
M Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand On Decidable Subtyping for Path Dependent Types
Rupak MajumdarMajumdar, Rupak Max Planck Institute for Software Systems (MPI-SWS)Germany Word Equations with Length Constraints and Presburger Arithmetic with Divisibility
Kathryn ManciniMancini, Kathryn Cornell University Transactional Forest: A DSL for Managing Concurrent Filestores
Annabelle McIverMcIver, Annabelle Macquarie UniversityAustralia Session Chair of Program Analysis (part of APLAS Research Papers) Proving that Programs are Differentially Private
Roland MeyerMeyer, Roland TU BraunschweigGermany Ordinary PC member in Program Committee within the APLAS Research Papers-track
Masayuki MizunoMizuno, Masayuki Tohoku University Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Anshuman MohanMohan, Anshuman National University of SingaporeSingapore A Verified Garbage Collector for Gallina
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Committee Member in Steering Committee for APLAS 2019
Kosuke MurataMurata, Kosuke Kyushu Institute of Technology Recursion Schemes in Coq
Tukaram MuskeMuske, Tukaram Tata Consultancy Services LtdIndia Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
N Yutaka NagashimaNagashima, Yutaka Data61, Australia LiFtEr: Language to Encode Induction Heuristics for Isabelle/HOL
Muhammad NajibNajib, Muhammad University of OxfordUnited Kingdom Committee Member in Organizing Committee within the APLAS Local Participants-track
Koji NakazawaNakazawa, Koji Graduate School of Informatics, Nagoya UniversityJapan Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Dissecting Widening: Separating Termination from Information
Yuki NishidaNishida, Yuki Kyoto University Manifest Contracts with Intersection Types
P Sungwoo ParkPark, Sungwoo Pohang University of Science and Technology Committee Member in Steering Committee for APLAS 2019
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand On Decidable Subtyping for Path Dependent Types
R Tiark RompfRompf, Tiark Purdue UniversityUnited States Lightweight Functional Logic Meta-Programming
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Session Chair of Concurrency (part of APLAS Research Papers) On Strings in Software Model Checking
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Committee Member in Steering Committee for APLAS 2019 Towards Understanding and Reasoning about Android Interoperations
S Olli SaarikiviSaarikivi, Olli Succinct Determinisation of Counting Automata via Sphere Construction
Peter SchachteSchachte, Peter Dissecting Widening: Separating Termination from Information
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of TechnologyNetherlands Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Steering Committee for APLAS 2019
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee for APLAS 2019
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Ordinary PC member in Program Committee within the APLAS Research Papers-track
Harald SondergaardSondergaard, Harald Committee Member in Steering Committee for APLAS 2019 Dissecting Widening: Separating Termination from Information
Frank StephanStephan, Frank National University of Singapore Pumping, With or Without Choice
Peter J. StuckeyStuckey, Peter J. Monash University Dissecting Widening: Separating Termination from Information
Eijiro SumiiSumii, Eijiro Tohoku University Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Jun SunSun, Jun Singapore Management University, SingaporeSingapore Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
T Tomoya TabuchiTabuchi, Tomoya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Rohith TalluriTalluri, Rohith Tata Consultancy Services Ltd Reducing Static Analysis Alarms based on Non-impacting Control Dependencies
Éric TanterTanter, Éric University of Chile & Inria ParisChile Existential Types for Relaxed Noninterference
Makoto TatsutaTatsuta, Makoto National Institute of Informatics Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions Ordinary PC member in Program Committee within the APLAS Research Papers-track
Tachio TerauchiTerauchi, Tachio Waseda University Session Chair of Types (part of APLAS Research Papers) Ordinary PC member in Program Committee within the APLAS Research Papers-track
Peter ThiemannThiemann, Peter University of Freiburg, GermanyGermany Session Chair of Logic and Automata (part of APLAS Research Papers) Label-Dependent Session Types Ordinary PC member in Program Committee within the APLAS Research Papers-track
Alwen TiuTiu, Alwen Australian National University, AustraliaAustralia Ordinary PC member in Program Committee within the APLAS Research Papers-track
Yuya TsudaTsuda, Yuya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Takeshi TsukadaTsukada, Takeshi University of Tokyo, JapanJapan A Type-Based HFL Model Checking Algorithm Ordinary PC member in Program Committee within the APLAS Research Papers-track
Lenka TuroňováTuroňová, Lenka Brno University of Technology Succinct Determinisation of Counting Automata via Sphere Construction
U Kazunori UedaUeda, Kazunori Waseda University Committee Member in Steering Committee for APLAS 2019
Hiroshi UnnoUnno, Hiroshi University of TsukubaJapan Ordinary PC member in Program Committee within the APLAS Research Papers-track
V Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, Faculty of Sciences, University of LisbonPortugal Label-Dependent Session Types
Margus VeanesVeanes, Margus Microsoft Research Succinct Determinisation of Counting Automata via Sphere Construction
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper] Succinct Determinisation of Counting Automata via Sphere Construction Ordinary PC member in Program Committee within the APLAS Research Papers-track
W Shengyi WangWang, Shengyi A Verified Garbage Collector for Gallina
Yu-Ping WangWang, Yu-Ping Tsinghua University, ChinaChina Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Yean-Fu WenWen, Yean-Fu Graduate Institute of Information Management, National Taipei University, Taiwan J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]
Wei-Cheng WuWu, Wei-Cheng Institute of Information Science, Academia Sinica, Taiwan J-ReCoVer: Java Reducer Commutativity Veriﬁer [Tool Paper]
Zhilin WuWu, Zhilin State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Session Chair of Verification (part of APLAS Research Papers) Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
X Yu Xiang ZhuXiang Zhu, Yu Carnegie Mellon UniversityUnited States On Decidable Subtyping for Path Dependent Types
Xian XuXu, Xian East China University of Science and Technology Uniform Random Process Model Revisited
Y Jun YanYan, Jun Institute of Software, Chinese Academy of Sciences Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
Hongseok YangYang, Hongseok KAISTSouth Korea Committee Member in Steering Committee for APLAS 2019
Kwangkeun YiYi, Kwangkeun Seoul National UniversityKorea, South Committee Member in Steering Committee for APLAS 2019
Z Lijun ZhangZhang, Lijun Institute of Software, Chinese Academy of SciencesChina Ordinary PC member in Program Committee within the APLAS Research Papers-track
Wenbo ZhangZhang, Wenbo Uniform Random Process Model Revisited
Ben ZornZorn, Ben Microsoft Mimalloc: Free List Sharding in Action
Damien ZuffereyZufferey, Damien MPI-SWS Ordinary PC member in Program Committee within the APLAS Research Papers-track
Florian ZulegerZuleger, Florian TU ViennaAustria The Polynomial Complexity of Vector Addition Systems with States Ordinary PC member in Program Committee within the APLAS Research Papers-track