PEPM 2018 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (64)

A Alex AikenAiken, Alex Stanford University Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk)
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Programme Committee within the PEPM-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Session 1-2 (part of PEPM) Selective CPS Transformation for Shift and Reset Steering Committee Chair in Steering Committee within the PEPM-track
B Jan BessaiBessai, Jan Technical University Dortmund Towards Language-independent Code Synthesis (Poster/Demo Talk)
David BromanBroman, David KTH Royal Institute of TechnologySweden Gradually Typed Symbolic Expressions
C Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Programme Committee within the PEPM-track
D Olivier DanvyDanvy, Olivier Yale-NUS College, Singapore Committee Member in Programme Committee within the PEPM-track
Dominic DugganDuggan, Dominic Dataflow Metaprogramming (Poster/Demo Talk)
Boris DüdderDüdder, Boris University of Copenhagen Towards Language-independent Code Synthesis (Poster/Demo Talk)
E Conal ElliottElliott, Conal Target, USAUnited States The Simple Essence of Automatic Differentiation (Invited Talk)
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Steering Committee within the PEPM-track
G Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Programme Committee within the PEPM-track
Simon J. GayGay, Simon J. University of Glasgow, UK Committee Member in Programme Committee within the PEPM-track
Andy GillGill, Andy University of Kansas, USA Committee Member in Programme Committee within the PEPM-track
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States On the Cost of Type-Tag Soundness
H George HeinemanHeineman, George Worcester Polytechnic Institute Towards Language-independent Code Synthesis (Poster/Demo Talk)
Fritz HengleinHenglein, Fritz DIKU, Denmark Session Chair of Session 2-1 (part of PEPM) Programme Co-Chair in Programme Committee within the PEPM-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi ImanishiImanishi, Akifumi Kyoto University A Guess-and-Assume Approach to Loop Fusion for Program Verification
Anastasia IzmaylovaIzmaylova, Anastasia Centrum Wiskunde & Informatica Committee Member in Programme Committee within the PEPM-track
J Barry JayJay, Barry University of Technology Sydney Session Chair of Session 2-3 (part of PEPM) Recursive Programs in Normal Form (Short Paper)
Johan JeuringJeuring, Johan Committee Member in Programme Committee within the PEPM-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Program Generation for ML Modules (Short Paper)
Ohad KammarKammar, Ohad University of OxfordUnited Kingdom Partially Static Data as Free Extension of Algebras (Short Paper)
Gabriele KellerKeller, Gabriele Data61,CSIRO (formerly NICTA) and UNSWAustralia Committee Member in Programme Committee within the PEPM-track
Johannes KinderKinder, Johannes Royal Holloway, University of London Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Oleg KiselyovKiselyov, Oleg Committee Member in Programme Committee within the PEPM-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of Informatics, JapanTaiwan Session Chair of Session 1-1 (part of PEPM) Programme Co-Chair in Programme Committee within the PEPM-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Committee Member in Programme Committee within the PEPM-track
Julia LawallLawall, Julia Inria/LIP6 Committee Member in Programme Committee within the PEPM-track
Blake LoringLoring, Blake Checking Cryptographic API Usage with Composable Annotations (Short Paper)
M Cyprien ManginMangin, Cyprien Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
Jan MidtgaardMidtgaard, Jan University of Southern DenmarkDenmark Developments in Property-Based Testing (Invited Talk)
Zeina MigeedMigeed, Zeina University of California, Los Angeles On the Cost of Type-Tag Soundness
Duncan MitchellMitchell, Duncan Royal Holloway, University of London Checking Cryptographic API Usage with Composable Annotations (Short Paper)
N Olivier NicoleNicole, Olivier Modular Macros (Poster/Demo Talk)
P Simon Peyton JonesPeyton Jones, Simon Microsoft Research Committee Member in Programme Committee within the PEPM-track
Frank PfenningPfenning, Frank Carnegie Mellon University, USAUnited States Session Chair of Session 1-3 (part of PEPM) Committee Member in Programme Committee within the PEPM-track
R Sriram RajamaniRajamani, Sriram Microsoft Research Committee Member in Programme Committee within the PEPM-track
Norman RamseyRamsey, Norman Committee Member in Programme Committee within the PEPM-track
Jakob RehofRehof, Jakob Technical University Dortmund Towards Language-independent Code Synthesis (Poster/Demo Talk)
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States Committee Member in Programme Committee within the PEPM-track
Sergei RomanenkoRomanenko, Sergei Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia Committee Member in Programme Committee within the PEPM-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Steering Committee within the PEPM-track Committee Member in Programme Committee within the PEPM-track
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Committee Member in Steering Committee within the PEPM-track
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk)
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Steering Committee within the PEPM-track
Peter SestoftSestoft, Peter IT University of Copenhagen Committee Member in Programme Committee within the PEPM-track
Wolfram ShulteShulte, Wolfram Facebook Committee Member in Programme Committee within the PEPM-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Gradually Typed Symbolic Expressions
Harald SondergaardSondergaard, Harald Committee Member in Programme Committee within the PEPM-track
Matthieu SozeauSozeau, Matthieu InriaFrance Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Session Chair of Session 2-2 (part of PEPM) A Guess-and-Assume Approach to Loop Fusion for Program Verification Committee Member in Programme Committee within the PEPM-track
U Chihiro UeharaUehara, Chihiro Ochanomizu University Selective CPS Transformation for Shift and Reset
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas Royal Holloway University of LondonNetherlands Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Martin VechevVechev, Martin ETH Zürich Committee Member in Programme Committee within the PEPM-track
Marcos VieraViera, Marcos University of the Republic, Uruguay Committee Member in Programme Committee within the PEPM-track
Tamara von Glehnvon Glehn, Tamara University of Cambridge Partially Static Data as Free Extension of Algebras (Short Paper)
W Takahisa WatanabeWatanabe, Takahisa University of Tsukuba, Japan Program Generation for ML Modules (Short Paper)
Leo WhiteWhite, Leo Jane Street Modular Macros (Poster/Demo Talk)
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Partially Static Data as Free Extension of Algebras (Short Paper) Modular Macros (Poster/Demo Talk) Committee Member in Steering Committee within the PEPM-track
Jianhua YaoYao, Jianhua Stevens Institute of Technology Dataflow Metaprogramming (Poster/Demo Talk)
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in Programme Committee within the PEPM-track
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS, Germany Committee Member in Programme Committee within the PEPM-track