APLAS 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (104)

Jonathan Aldrich Carnegie Mellon University United States Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track in APLAS 2020
David Aspinall University of Edinburgh Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track in APLAS 2020
Robert Atkey University of Strathclyde Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track in APLAS 2020
Malgorzata Biernacka University of Wroclaw Author of An Abstract Machine for Strong Call by Value within the Research Papers-track in APLAS 2020
Dariusz Biernacki University of Wrocław Author of An Abstract Machine for Strong Call by Value within the Research Papers-track in APLAS 2020
Walter Binder University of Lugano, Switzerland Author of P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper) within the Research Papers-track in APLAS 2020
Dmitri Boulytchev Saint Petersburg State University / JetBrains Research Russia Author of Certified Semantics for Relational Programming within the Research Papers-track in APLAS 2020 Author of Relational Synthesis for Pattern Matching within the Research Papers-track in APLAS 2020
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee for APLAS 2020
Mario Bravetti Università di Bologna Italy Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Martin Ceresa UNR - CIFASIS - CONICET Author of Declarative Stream Runtime Verification (hLola) within the Research Papers-track in APLAS 2020
Soham Chakraborty IIT Delhi India Committee Member in Program Committee for APLAS 2020
Witold Charatonik Institute of Computer Science, University of Wroclaw Author of An Abstract Machine for Strong Call by Value within the Research Papers-track in APLAS 2020
Yu-Fang Chen Academia Sinica, Taiwan Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track in APLAS 2020
Shigeru Chiba The University of Tokyo Japan Committee Member in Program Committee for APLAS 2020
Andreea Costea School of Computing, National University Of Singapore Singapore Committee Member in Program Committee for APLAS 2020
Silvia Crafa University of Padova Italy Committee Member in Program Committee for APLAS 2020
Pierre-Evariste Dagand LIP6/CNRS France Committee Member in Program Committee for APLAS 2020
Mila Dalla Preda University of Verona, Italy Committee Member in Program Committee for APLAS 2020
Cristina David University of Oxford Committee Member in Program Committee for APLAS 2020
Benjamin Delaware Purdue University Committee Member in Program Committee for APLAS 2020
Tomasz Drab Institute of Computer Science, University of Wroclaw Author of An Abstract Machine for Strong Call by Value within the Research Papers-track in APLAS 2020
Shashank Shekhar Dubey IIT Madras India Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track in APLAS 2020
Kento Emoto Kyushu Institute of Technology Japan General Vice-Chair in Organising Committee for APLAS 2020
Leandro Facchinetti The Johns Hopkins University Author of A Set-Based Context Model for Program Analysis within the Research Papers-track in APLAS 2020
Adrian Francalanza University of Malta Malta Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Thomas Gazagnaire Tarides France Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track in APLAS 2020
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Program Committee for APLAS 2020
Iaroslav Golovanov Department of Computer Science, Aalborg University Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Felipe Gorostiaga IMDEA Software Institute Author of Declarative Stream Runtime Verification (hLola) within the Research Papers-track in APLAS 2020
Lindsay Groves Victoria University of Wellington Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track in APLAS 2020
Yong Guan Capital Normal University, Beijing, China China Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track in APLAS 2020
Ning Han Capital Normal University China Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track in APLAS 2020
Ichiro Hasuo National Institute of Informatics, Japan Japan Committee Member in Program Committee for APLAS 2020
Vojtěch Havlena Brno University of Technology Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track in APLAS 2020
Chih-Duo Hong University of Oxford Taiwan Author of Parameterized Synthesis with Safety Properties within the Research Papers-track in APLAS 2020
Chuanjia Hou School of Software and Microelectronics, Peking University, Beijing, China Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Zhenjiang Hu Peking University, China Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track in APLAS 2020
Hans Hüttel Department of Computer Science, Aalborg University Denmark Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Atsushi Igarashi Kyoto University, Japan Japan Workshop Chair in Organising Committee for APLAS 2020
Naoki Iwayama University of Tokyo, Japan Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track in APLAS 2020
Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Tong Jia School of Software and Microelectronics, Peking University, Beijing, China Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Hiroyuki Kato National Institute of Informatics, Japan Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track in APLAS 2020
Hiroyuki Katsura The University of Tokyo Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track in APLAS 2020
Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Daniel Kienitz Heriot-Watt University Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track in APLAS 2020
Naoki Kobayashi University of Tokyo, Japan Japan Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track in APLAS 2020
Wen Kokke University of Edinburgh United Kingdom Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track in APLAS 2020
Ekaterina Komendantskaya Heriot-Watt University, UK Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track in APLAS 2020
Dmitrii Kosarev Author of Relational Synthesis for Pattern Matching within the Research Papers-track in APLAS 2020
Ondrej Lengal Brno University of Technology Czech Republic Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track in APLAS 2020
Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK United Kingdom Committee Member in Program Committee for APLAS 2020
Anthony Widjaja Lin Technische Universität Kaiserslautern Germany Author of Parameterized Synthesis with Safety Properties within the Research Papers-track in APLAS 2020
Xiaotong Liu School of Software and Microelectronics, Peking University, Beijing, China Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Ying Li School of Software and Microelectronics, Peking University, Beijing, China Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Ximeng Li Capital Normal University Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track in APLAS 2020
Julian Mackay Victoria University of Wellington Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track in APLAS 2020
Anil Madhavapeddy University of Cambridge Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track in APLAS 2020
Oliver Markgraf Technische Universität Kaiserslautern Author of Parameterized Synthesis with Safety Properties within the Research Papers-track in APLAS 2020
James McKinna University of Edinburgh Committee Member in Program Committee for APLAS 2020
Jan Midtgaard University of Southern Denmark Denmark Author of Stack-Driven Program Generation of WebAssembly within the Research Papers-track in APLAS 2020
Madhavan Mukund Chennai Mathematical Institute India Committee Member in Program Committee for APLAS 2020
Muhammad Najib Technische Universität Kaiserslautern Author of Parameterized Synthesis with Safety Properties within the Research Papers-track in APLAS 2020
Daniel Neider Max Planck Institute for Software Systems Germany Author of Parameterized Synthesis with Safety Properties within the Research Papers-track in APLAS 2020
Hakjoo Oh Korea University, South Korea Committee Member in Program Committee for APLAS 2020
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Program Chair in Organising Committee for APLAS 2020
Zachary Palmer Swarthmore College United States Author of A Set-Based Context Model for Program Analysis within the Research Papers-track in APLAS 2020
Árpád Perényi University of Southern Denmark Author of Stack-Driven Program Generation of WebAssembly within the Research Papers-track in APLAS 2020
Alex Potanin Victoria University of Wellington New Zealand Author of Syntactically Restricting Bounded Polymorphism for Decidable Subtyping within the Research Papers-track in APLAS 2020
Antonio Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS Portugal Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track in APLAS 2020
Andrea Rosà University of Lugano, Switzerland Switzerland Author of P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper) within the Research Papers-track in APLAS 2020
Dmitry Rozplokhas Higher School of Economics and JetBrains Research, Russia Author of Certified Semantics for Relational Programming within the Research Papers-track in APLAS 2020
Sukyoung Ryu KAIST South Korea Committee Member in Program Committee for APLAS 2020
Ryosuke Sato University of Tokyo, Japan Japan Local Arrangement Chair in Organising Committee for APLAS 2020
Tom Schrijvers KU Leuven Committee Member in Program Committee for APLAS 2020
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Committee Member in Program Committee for APLAS 2020
Marco Servetto Victoria University Wellington, New Zealand Committee Member in Program Committee for APLAS 2020
Zhiping Shi Capital Normal University Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track in APLAS 2020
KC Sivaramakrishnan IIT Madras India Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track in APLAS 2020
Scott F. Smith The Johns Hopkins University Author of A Set-Based Context Model for Program Analysis within the Research Papers-track in APLAS 2020
Dominic Steinhöfel Technical University of Darmstadt Germany Author of REFINITY to Model and Prove Program Transformation Rules within the Research Papers-track in APLAS 2020
Wouter Swierstra Utrecht University, Netherlands Netherlands Committee Member in Program Committee for APLAS 2020
César Sánchez IMDEA Software Institute Spain Author of Declarative Stream Runtime Verification (hLola) within the Research Papers-track in APLAS 2020
Alwen Tiu alwen.tiu@anu.edu.au Committee Member in Program Committee for APLAS 2020
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee for APLAS 2020
Van-Dang Tran National Institute of Informatics, Japan Author of A Counterexample-Guided Debugger for Non-Recursive Datalog within the Research Papers-track in APLAS 2020
Takeshi Tsukada Chiba University, Japan Japan Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track in APLAS 2020
Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track in APLAS 2020
Tomoharu Ugawa University of Tokyo Japan Remote Arrangement Chair in Organising Committee for APLAS 2020
Tarmo Uustalu Reykjavik University Iceland Author of Algebraic and coalgebraic perspectives on interaction laws within the Research Papers-track in APLAS 2020
Janis Voigtländer University of Duisburg-Essen Committee Member in Program Committee for APLAS 2020
Niels Voorneveld Tallinn University of Technology Author of Algebraic and coalgebraic perspectives on interaction laws within the Research Papers-track in APLAS 2020
Andrey Vyatkin Saint Petersburg State University, Russia Author of Certified Semantics for Relational Programming within the Research Papers-track in APLAS 2020
Guohui Wang Capital Normal University, Beijing, China China Author of Formal Verification of Atomicity Requirements for Smart Contracts within the Research Papers-track in APLAS 2020
Meng Wang University of Bristol, UK United Kingdom Committee Member in Program Committee for APLAS 2020
Ke Wu Johns Hopkins University Author of A Set-Based Context Model for Program Analysis within the Research Papers-track in APLAS 2020
Nicolas Wu Imperial College London, UK United Kingdom Committee Member in Program Committee for APLAS 2020
Masahiro Yasugi Kyushu Institute of Technology Japan General Chair in Organising Committee for APLAS 2020
Ayaka Yorihiro Cornell University Author of A Set-Based Context Model for Program Analysis within the Research Papers-track in APLAS 2020
Yang Yue University of California, Irvine Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Hao Yu Peking University China Author of Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? within the Research Papers-track in APLAS 2020
Yizhou Zhang University of Waterloo Canada Committee Member in Program Committee for APLAS 2020
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands Committee Member in Program Committee for APLAS 2020
Florian Rabe University of Erlangen Germany Committee Member in Program Committee for APLAS 2020