VMIL 2019 Contributors

Sun 20 - Fri 25 October 2019 Athens, Greece

co-located with SPLASH 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

A Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Committee Member in Program Committee within the VMIL-track
B Benoit BaudryBaudry, Benoit KTH Royal Institute of Technology, SwedenSweden Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Memory efficient CRDTs in dynamic environments
Guillaume BertholonBertholon, Guillaume École Normale Supérieure Towards seamless interfacing between dynamic languages and native code
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the VMIL-track
Steve BlackburnBlackburn, Steve Australian National University Australia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Committee Member in Organizing Committee within the VMIL-track
Didier BuchsBuchs, Didier University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Implementing a Language with Explicit Assignment Semantics
C Javier Cabrera ArteagaCabrera Arteaga, Javier KTH Royal Institute of Technology Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
Anthony CaninoCanino, Anthony SUNY BinghamtonUnited States Session Chair of Session #2 (part of VMIL) Committee Member in Program Committee within the VMIL-track
Shigeru ChibaChiba, Shigeru Graduate School of Information Science and Technology, The University of TokyoJapan Committee Member in Program Committee within the VMIL-track
E Javad Ebrahimian AmiriEbrahimian Amiri, Javad Australian National University / Data61Australia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
F Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Towards Gradual Checking of Reference Capabilities
G Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Towards Gradual Checking of Reference Capabilities Which of my Transient Type Checks are not (Almost) Free?
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the VMIL-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Memory efficient CRDTs in dynamic environments Committee Member in Program Committee within the VMIL-track
H Michael HomerHomer, Michael Victoria University of Wellington Which of my Transient Type Checks are not (Almost) Free?
Tony HoskingHosking, Tony Australian National University / Data61Australia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
K Stephen KellKell, Stephen University of Kent Towards seamless interfacing between dynamic languages and native code
L Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Organizing Committee within the VMIL-track
M Stefan MarrMarr, Stefan University of KentUnited Kingdom Which of my Transient Type Checks are not (Almost) Free?
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
N James NobleNoble, James Victoria University of WellingtonNew Zealand Towards Gradual Checking of Reference Capabilities Which of my Transient Type Checks are not (Almost) Free?
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
P Rohan PadhyePadhye, Rohan University of California, Berkeley Efficient Fail-Fast Dynamic Subtype Checking
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Committee Member in Program Committee within the VMIL-track
R Dimi RacordonRacordon, Dimi University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Implementing a Language with Explicit Assignment Semantics
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Which of my Transient Type Checks are not (Almost) Free?
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Keynote 2: Who is afraid of the Turnstile?
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Session Chair of Session #4 (part of VMIL)
S Koushik SenSen, Koushik University of California, BerkeleyUnited States Efficient Fail-Fast Dynamic Subtype Checking
Boris ShingarovShingarov, Boris LabWareCanada Formal Verification of JIT by Symbolic Execution
T Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)
V Jan VitekVitek, Jan Northeastern UniversityUnited States Committee Member in Program Committee within the VMIL-track
W Adam WelcWelc, Adam Uber TechnologiesUnited States Committee Member in Program Committee within the VMIL-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Towards Gradual Checking of Reference Capabilities