PEPM 2015 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (58)

A Andreas AbelAbel, Andreas Gothenburg University Committee Member in Program Committee within the PEPM-track
Elvira AlbertAlbert, Elvira Complutense University of Madrid Committee Member in Program Committee within the PEPM-track Committee Member in Steering Committee within the PEPM-track
Kazuyuki AsadaAsada, Kazuyuki University of Tokyo Verifying Relational Properties of Functional Programs by First-Order Refinement
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Analysis (part of PEPM) Welcome Program Co-Chair in Program Committee within the PEPM-track
Emil AxelssonAxelsson, Emil Chalmers University of Technology Generalising Tree Traversals to DAGs
B Casper Bach PoulsenBach Poulsen, Casper Swansea University Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Patrick BahrBahr, Patrick University of Copenhagen Generalising Tree Traversals to DAGs
Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw Committee Member in Program Committee within the PEPM-track
Matthias BlumeBlume, Matthias Google Committee Member in Program Committee within the PEPM-track
Jeroen BransenBransen, Jeroen Utrecht University Incremental Evaluation of Higher Order Attributes Linearly Ordered Attribute Grammars
C Cristiano CalcagnoCalcagno, Cristiano Facebook Committee Member in Program Committee within the PEPM-track
Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the PEPM-track
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Threads as Resource for Concurrency Verification Committee Member in Steering Committee within the PEPM-track
D Atze DijkstraDijkstra, Atze Utrecht University Incremental Evaluation of Higher Order Attributes Linearly Ordered Attribute Grammars
G John P. GallagherGallagher, John P. Roskilde University Constraint Specialisation in Horn Clause Verification Germán Puebla Memorial
Roberto GiacobazziGiacobazzi, Roberto University of Verona, Italy Germán Puebla Memorial
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK Session Chair of Tree and Grammars (part of PEPM) Committee Member in Program Committee within the PEPM-track
H Jurriaan HageHage, Jurriaan Utrecht University Session Chair of Transformation / Slicing (part of PEPM) Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages Object-sensitive Type Analysis of PHP Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics Committee Member in Steering Committee within the PEPM-track
Nao HirokawaHirokawa, Nao JAIST Committee Member in Program Committee within the PEPM-track
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan SWIN: Towards Type-Safe Java Program Adaptation between APIs
I Atsushi IgarashiIgarashi, Atsushi Kyoto University Committee Member in Program Committee within the PEPM-track
K Bishoksan KafleKafle, Bishoksan Roskilde University Constraint Specialisation in Horn Clause Verification
Husni KhanfarKhanfar, Husni Malardalen University Static Backward Demand-Driven Slicing
Oleg KiselyovKiselyov, Oleg Chair in Steering Committee within the PEPM-track
Andrei KlimovKlimov, Andrei Russian Academy of Sciences Committee Member in Program Committee within the PEPM-track
Naoki KobayashiKobayashi, Naoki University of Tokyo Verifying Relational Properties of Functional Programs by First-Order Refinement
Ruud KootKoot, Ruud Utrecht UniversityNetherlands Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Invited Talk: Desugaring in Practice: Opportunities and Challenges
L Duy-Khanh LeLe, Duy-Khanh National University of Singapore Threads as Resource for Concurrency Verification
Michael LeuschelLeuschel, Michael University of Düsseldorf Committee Member in Program Committee within the PEPM-track
Huiqing LiLi, Huiqing University of Kent Safe Concurrency Introduction through Slicing
Jun LiLi, Jun Peking University SWIN: Towards Type-Safe Java Program Adaptation between APIs
Sam LindleyLindley, Sam University of Edinburgh Committee Member in Program Committee within the PEPM-track
Bjorn LisperLisper, Bjorn Malardalen University Static Backward Demand-Driven Slicing
M Abu Naser MasudMasud, Abu Naser Malardalen University Static Backward Demand-Driven Slicing Germán Puebla Memorial
Michał MoskalMoskal, Michał Microsoft ResearchPoland Committee Member in Program Committee within the PEPM-track
Peter D. MossesMosses, Peter D. Swansea University Imperative Polymorphism by Store-Based Types as Abstract Interpretations
Shin-Cheng MuMu, Shin-Cheng Academia Sinica Committee Member in Steering Committee within the PEPM-track
N Keiko NakataNakata, Keiko Tallinn University of Technology Committee Member in Program Committee within the PEPM-track
Aditya NoriNori, Aditya Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
P Rahul PurandarePurandare, Rahul IIITD Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University / NTUA Session Chair of Verification (part of PEPM) Session Chair of Demo (part of PEPM) Session Chair of Welcome & Invited Talk (part of PEPM) Germán Puebla Memorial Welcome Program Co-Chair in Program Committee within the PEPM-track
Ryosuke SatoSato, Ryosuke University of Tokyo Verifying Relational Properties of Functional Programs by First-Order Refinement
Jeremy G. SiekSiek, Jeremy G. Indiana University Committee Member in Program Committee within the PEPM-track
S. Doaitse SwierstraSwierstra, S. Doaitse Utrecht University Incremental Evaluation of Higher Order Attributes
T Yong Meng TeoTeo, Yong Meng National University of Singapore Threads as Resource for Concurrency Verification
Peter ThiemannThiemann, Peter University of Freiburg Committee Member in Program Committee within the PEPM-track
Simon ThompsonThompson, Simon University of Kent Session Chair of Types / Code Mining (part of PEPM) Safe Concurrency Introduction through Slicing Committee Member in Steering Committee within the PEPM-track
Paolo TorriniTorrini, Paolo Swansea University Imperative Polymorphism by Store-Based Types as Abstract Interpretations
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of LondonNetherlands Linearly Ordered Attribute Grammars
Henk Erik van der Hoekvan der Hoek, Henk Erik Utrecht University Object-sensitive Type Analysis of PHP
Hidde VerstoepVerstoep, Hidde Utrecht University Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages
Venkatesh VinayakaraoVinayakarao, Venkatesh IIITD Demo Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources
Janis VoigtländerVoigtländer, Janis University of Bonn Committee Member in Program Committee within the PEPM-track
W Chenglong WangWang, Chenglong Peking University SWIN: Towards Type-Safe Java Program Adaptation between APIs
X Yingfei XiongXiong, Yingfei Peking University SWIN: Towards Type-Safe Java Program Adaptation between APIs
Y Kwangkeun YiYi, Kwangkeun Seoul National University Committee Member in Program Committee within the PEPM-track
Tetsuo YokoyamaYokoyama, Tetsuo Nanzan University Committee Member in Program Committee within the PEPM-track