APLAS 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (122)

A Yuka AkinobuAkinobu, Yuka Japan Women’s University Generating Parallel Corpus of Python Code and Natural Language for Deep Learning
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
David AspinallAspinall, David University of Edinburgh Neural Networks, Secure by Construction: An Exploration of Refinement Types
Robert AtkeyAtkey, Robert University of Strathclyde Neural Networks, Secure by Construction: An Exploration of Refinement Types
B Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw An Abstract Machine for Strong Call by Value
Dariusz BiernackiBiernacki, Dariusz University of Wrocław An Abstract Machine for Strong Call by Value
Walter BinderBinder, Walter University of Lugano, Switzerland P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper)
Daiki BiseBise, Daiki Kyushu Institute of TechnologyJapan Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State University / JetBrains ResearchRussia Relational Synthesis for Pattern Matching Certified Semantics for Relational Programming
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee for APLAS 2020
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
C Luca CardelliCardelli, Luca Microsoft Research and University of Oxford Integrated Scientific Modeling and Lab Automation
Martin CeresaCeresa, Martin UNR - CIFASIS - CONICET Declarative Stream Runtime Verification (hLola)
Soham ChakrabortyChakraborty, Soham IIT DelhiIndia Committee Member in Program Committee for APLAS 2020
Witold CharatonikCharatonik, Witold Institute of Computer Science, University of Wroclaw An Abstract Machine for Strong Call by Value
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee for APLAS 2020 Session Chair of Program Generation, Transactions and Automation (part of APLAS Research Papers)
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Committee Member in Program Committee for APLAS 2020
Silvia CrafaCrafa, Silvia University of PadovaItaly Committee Member in Program Committee for APLAS 2020
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Committee Member in Program Committee for APLAS 2020
Mila Dalla PredaDalla Preda, Mila University of Verona, Italy Committee Member in Program Committee for APLAS 2020
Cristina DavidDavid, Cristina University of Oxford Committee Member in Program Committee for APLAS 2020 Session Chair of Synthesis and Program Transformation (part of APLAS Research Papers)
Benjamin DelawareDelaware, Benjamin Purdue University Committee Member in Program Committee for APLAS 2020 Session Chair of Program Analysis and Verification (part of APLAS Research Papers)
Tomasz DrabDrab, Tomasz Institute of Computer Science, University of Wroclaw An Abstract Machine for Strong Call by Value
Shashank Shekhar DubeyDubey, Shashank Shekhar IIT MadrasIndia Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
E Kento EmotoEmoto, Kento Kyushu Institute of TechnologyJapan General Vice-Chair in Organising Committee for APLAS 2020
F Leandro FacchinettiFacchinetti, Leandro The Johns Hopkins University A Set-Based Context Model for Program Analysis
Florian Rabe Florian Rabe University of ErlangenGermany Committee Member in Program Committee for APLAS 2020 Session Chair of Semantics (part of APLAS Research Papers)
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Jun FuruseFuruse, Jun Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
G Thomas GazagnaireGazagnaire, Thomas TaridesFrance Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee for APLAS 2020
Iaroslav GolovanovGolovanov, Iaroslav Department of Computer Science, Aalborg University Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Felipe GorostiagaGorostiaga, Felipe IMDEA Software Institute Declarative Stream Runtime Verification (hLola)
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Yong GuanGuan, Yong Capital Normal University, Beijing, ChinaChina Formal Verification of Atomicity Requirements for Smart Contracts
H Ning HanHan, Ning Capital Normal UniversityChina Formal Verification of Atomicity Requirements for Smart Contracts
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Committee Member in Program Committee for APLAS 2020
Vojtěch HavlenaHavlena, Vojtěch Brno University of Technology A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Tasuku HiraishiHiraishi, Tasuku Kyoto UniversityJapan Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Chih-Duo HongHong, Chih-Duo University of OxfordTaiwan Parameterized Synthesis with Safety Properties
Chuanjia HouHou, Chuanjia School of Software and Microelectronics, Peking University, Beijing, China Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Zhenjiang HuHu, Zhenjiang Peking University A Counterexample-Guided Debugger for Non-Recursive Datalog
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Workshop Chair in Organising Committee for APLAS 2020 Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan A New Refinement Type System for Automated nu-HFLZ Validity Checking
J Mathias Steen JakobsenJakobsen, Mathias Steen Department of Computer Science, Aalborg University, Denmark Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Tong JiaJia, Tong School of Software and Microelectronics, Peking University, Beijing, China Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
K Hiroyuki KatoKato, Hiroyuki National Institute of Informatics, Japan A Counterexample-Guided Debugger for Non-Recursive Datalog
Hiroyuki KatsuraKatsura, Hiroyuki The University of Tokyo A New Refinement Type System for Automated nu-HFLZ Validity Checking
Akira KawataKawata, Akira Kyoto University Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Mikkel Klinke KettunenKettunen, Mikkel Klinke Department of Computer Science, Aalborg University, Denmark Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Daniel KienitzKienitz, Daniel Heriot-Watt University Neural Networks, Secure by Construction: An Exploration of Refinement Types
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan A New Refinement Type System for Automated nu-HFLZ Validity Checking
Wen KokkeKokke, Wen University of Edinburgh Neural Networks, Secure by Construction: An Exploration of Refinement Types
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Neural Networks, Secure by Construction: An Exploration of Refinement Types
Tsuneyasu KomiyaKomiya, Tsuneyasu The University of Electro-CommunicationsJapan Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Dmitrii KosarevKosarev, Dmitrii Relational Synthesis for Pattern Matching
Kimio KuramitsuKuramitsu, Kimio Japan Women’s UniversityJapan Generating Parallel Corpus of Python Code and Natural Language for Deep Learning
L Ondřej LengálLengál, Ondřej Brno University of Technology A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Ximeng LiLi, Ximeng Capital Normal University Formal Verification of Atomicity Requirements for Smart Contracts
Ying LiLi, Ying School of Software and Microelectronics, Peking University, Beijing, China Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Anthony Widjaja LinLin, Anthony Widjaja Technische Universität KaiserslauternGermany Parameterized Synthesis with Safety Properties
Sam LindleyLindley, Sam Heriot-Watt University, UK / The University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee for APLAS 2020
Xiaotong LiuLiu, Xiaotong School of Software and Microelectronics, Peking University, Beijing, China Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
M Julian MackayMackay, Julian Victoria University of Wellington Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
Oliver MarkgrafMarkgraf, Oliver Technische Universität Kaiserslautern Parameterized Synthesis with Safety Properties
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Object Support for GPU Programming: Why and How
James McKinnaMcKinna, James University of Edinburgh Committee Member in Program Committee for APLAS 2020
Jan MidtgaardMidtgaard, Jan University of Southern DenmarkDenmark Stack-Driven Program Generation of WebAssembly
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia Committee Member in Program Committee for APLAS 2020
N Muhammad NajibNajib, Muhammad Technische Universität Kaiserslautern Parameterized Synthesis with Safety Properties
Daniel NeiderNeider, Daniel Max Planck Institute for Software SystemsGermany Parameterized Synthesis with Safety Properties
Yuki NishidaNishida, Yuki Kyoto University Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Emi NuijimaNuijima, Emi Japan Women’s UniversityJapan Generating Parallel Corpus of Python Code and Natural Language for Deep Learning
O Hakjoo OhOh, Hakjoo Korea University Committee Member in Program Committee for APLAS 2020
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Program Chair in Organising Committee for APLAS 2020
P Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States A Set-Based Context Model for Program Analysis
Árpád PerényiPerényi, Árpád University of Southern Denmark Stack-Driven Program Generation of WebAssembly
Nadia PolikarpovaPolikarpova, Nadia University of California at San Diego Generating Programs from Types
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
R Chen RanRan, Chen Kyoto UniversityJapan Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
António RavaraRavara, António Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper)
Dmitry RozplokhasRozplokhas, Dmitry Higher School of Economics and JetBrains Research, Russia Certified Semantics for Relational Programming
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Committee Member in Program Committee for APLAS 2020
S Hiromasa SaitoSaito, Hiromasa Kyoto UniversityJapan Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Local Arrangement Chair in Organising Committee for APLAS 2020
Tom SchrijversSchrijvers, Tom KU Leuven Committee Member in Program Committee for APLAS 2020
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Committee Member in Program Committee for APLAS 2020
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Committee Member in Program Committee for APLAS 2020 Session Chair of Types (part of APLAS Research Papers)
Zhiping ShiShi, Zhiping Capital Normal University Formal Verification of Atomicity Requirements for Smart Contracts
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Banyan: Coordination-free Transactions over Mergeable Replicated Data Types
Scott F. SmithSmith, Scott F. The Johns Hopkins University A Set-Based Context Model for Program Analysis
Dominic SteinhöfelSteinhöfel, Dominic Technical University of DarmstadtGermany REFINITY to Model and Prove Program Transformation Rules
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Committee Member in Program Committee for APLAS 2020
César SánchezSánchez, César IMDEA Software InstituteSpain Declarative Stream Runtime Verification (hLola)
T Tachio TerauchiTerauchi, Tachio Waseda University Session Chair of Debugging, Profiling and Constraint Solving (part of APLAS Research Papers)
Alwen TiuTiu, Alwen Committee Member in Program Committee for APLAS 2020
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in Program Committee for APLAS 2020
Van-Dang TranTran, Van-Dang National Institute of Informatics, Japan A Counterexample-Guided Debugger for Non-Recursive Datalog
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan A New Refinement Type System for Automated nu-HFLZ Validity Checking
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
U Kazunori UedaUeda, Kazunori Waseda University Capability Typing for HyperLMNtal
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Remote Arrangement Chair in Organising Committee for APLAS 2020
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Algebraic and coalgebraic perspectives on interaction laws
V Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands Committee Member in Program Committee for APLAS 2020
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Committee Member in Program Committee for APLAS 2020
Niels VoorneveldVoorneveld, Niels Tallinn University of Technology Algebraic and coalgebraic perspectives on interaction laws
Andrey VyatkinVyatkin, Andrey Saint Petersburg State University, Russia Certified Semantics for Relational Programming
W Stefan WalterWalter, Stefan Capability Typing for HyperLMNtal
Guohui WangWang, Guohui Capital Normal University, Beijing, ChinaChina Formal Verification of Atomicity Requirements for Smart Contracts
Meng WangWang, Meng University of Bristol, UKUnited Kingdom Committee Member in Program Committee for APLAS 2020
Ke WuWu, Ke Johns Hopkins University A Set-Based Context Model for Program Analysis
Nicolas WuWu, Nicolas Imperial College London, UKUnited Kingdom Committee Member in Program Committee for APLAS 2020
Y Masahiro YasugiYasugi, Masahiro Kyushu Institute of TechnologyJapan General Chair in Organising Committee for APLAS 2020 Evaluating Implementations of First-class Continuations for a Scheme Interpreter in an Extended SC Language
Ayaka YorihiroYorihiro, Ayaka Cornell University A Set-Based Context Model for Program Analysis
Hao YuYu, Hao Peking UniversityChina Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Yang YueYue, Yang University of California, Irvine Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?
Z Yizhou ZhangZhang, Yizhou University of Waterloo Committee Member in Program Committee for APLAS 2020