VORTEX 2018 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (325)

A Mithun P. AcharyaAcharya, Mithun P. ABB Corporate Research Committee Member in Program Committee within the TAV-CPS/IoT-track
Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Amal AhmedAhmed, Amal Northeastern UniversityUnited States Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Pekka AhoAho, Pekka Open University of the NetherlandsNetherlands Co-chair in Organizing Committee within the INTUITESTBEDS-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Who is to Blame? - Runtime Verification of Distributed Objects with Active Monitors Committee Member in Program Committee within the VORTEX-track
Karim AliAli, Karim University of AlbertaCanada Session Chair of Static Analysis (part of ECOOP Research Papers) Session Chair of Static Analysis (part of ISSTA Technical Papers) Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track Co-chair in Organizing Committee within the BenchWork-track
Shaukat AliAli, Shaukat Simula Research Lab Committee Member in Program Committee within the TAV-CPS/IoT-track
Saba AlimadadiAlimadadi, Saba Northeastern University Session Chair of Tool Demos (part of ISSTA Tool Demonstrations) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Amin AlipourAlipour, Amin University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the ML4PL-track
Emil AlégrothAlégroth, Emil Blekinge Institute of Technology Committee Member in Program Committee within the INTUITESTBEDS-track
Domenico AmalfitanoAmalfitano, Domenico University of Naples Federico II Committee Member in Program Committee within the INTUITESTBEDS-track
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ICOOOLPS-track
Davide AnconaAncona, Davide University of GenovaItaly Session Chair of Session 1 (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the COP-track
Andrea ArcuriArcuri, Andrea Westerdals Oslo ACT, and University of Luxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Committee Member in Program Committee within the VORTEX-track
Elias AthanasopoulosAthanasopoulos, Elias University of CyprusCyprus Committee Member in Program Committee within the WoSSCA-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly On Distributed runtime verification by aggregate computing
B Hamid BagheriBagheri, Hamid University of Nebraska-Lincoln, USA Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Mauro BaludaBaluda, Mauro Avaloq Evolution AGSwitzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Saam BaratiBarati, Saam AppleUnited States Speaker in Attendees within the WoSSCA-track
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Alexandre BartelBartel, Alexandre Technical University Darmstadt Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Moritz BellerBeller, Moritz Delft University of Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Manuel BenzBenz, Manuel University of PaderbornGermany Co-chair in Organizers within the Panathon-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Bernhard BergerBerger, Bernhard University of BremenGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Ivan BeschastnikhBeschastnikh, Ivan University of British ColumbiaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of Luxembourg, Luxembourg Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Lasse BlaauwbroekBlaauwbroek, Lasse Czech Institute for Informatics Robotics and CyberneticsCzechia Committee Member in Program Committee within the ML4PL-track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Program Committee within the BenchWork-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Session Chair of Keynote: Ernst & ISSTA 2019 Preview (part of ISSTA Keynotes) Co-chair in Organizers within the Panathon-track Program Chair in Program Committee within the ISSTA Technical Papers-track
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Ambrose Bonnaire-SergeantBonnaire-Sergeant, Ambrose Indiana University BloomingtonUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
William J. BowmanBowman, William J. Northeastern University, USAUnited States Committee Member in Program Committee within the FTfJP-track
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Committee Member in Program Committee within the FTfJP-track
Lionel BriandBriand, Lionel SnT Centre/University of LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Analysis of SLA Compliance in the Cloud
Richard BubelBubel, Richard Technische Universität DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tevfik BultanBultan, Tevfik University of California, Santa Barbara Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes) Session Chair of Optimization and Performance (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Clément BéraBéra, Clément RMOD - INRIA Lille Nord EuropeFrance Committee Member in Program Committee within the ICOOOLPS-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Secure and Sound (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Yan CaiCai, Yan Institute of Software, Chinese Academy of SciencesChina Committee Member in Program Committee within the TAV-CPS/IoT-track
Michael CarbinCarbin, Michael MITUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the COP-track
Chandler CarruthCarruth, Chandler GoogleUnited States Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Elias CastegrenCastegren, Elias Uppsala University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Lorenzo CavallaroCavallaro, Lorenzo Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Mariano CeccatoCeccato, Mariano Fondazione Bruno KesslerItaly Committee Member in Program Committee within the INTUITESTBEDS-track
Yannick ChevalierChevalier, Yannick Implementing security protocol monitors
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the ICOOOLPS-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Co-chair in Organizers within the Panathon-track Co-chair in Organizing Committee within the BenchWork-track
Jürgen CitoCito, Jürgen MITUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cliff ClickClick, Cliff SelfUnited States Committee Member in Program Committee within the WoSSCA-track
Riccardo CoppolaCoppola, Riccardo Politecnico di Torino Committee Member in Program Committee within the INTUITESTBEDS-track
João Costa SecoCosta Seco, João NOVA LINCS -- Universidade Nova de Lisboa SNITCH: dynamic dependent Information flow for independent Java bytecode
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SOAP-track
José Creissac CamposCreissac Campos, José University of Minho Committee Member in Program Committee within the INTUITESTBEDS-track
D Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Committee Member in Program Committee within the ICOOOLPS-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Distributed runtime verification by aggregate computing
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Session Chair of Session 2 (part of VORTEX) Run-time checking of data- and protocol-oriented properties of Java programs Analysis of SLA Compliance in the Cloud Committee Member in Program Committee within the VORTEX-track
Stijn De GouwDe Gouw, Stijn Analysis of SLA Compliance in the Cloud
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Renzo DegiovanniDegiovanni, Renzo Universidad Nacional de Río CuartoArgentina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Martin DeimanDeiman, Martin Testwerk Committee Member in Program Committee within the INTUITESTBEDS-track
Marcio Eduardo DelamaroDelamaro, Marcio Eduardo University of São Paulo Committee Member in Program Committee within the INTUITESTBEDS-track
Ankush DesaiDesai, Ankush University of California, Berkeley Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Committee Member in Program Committee within the FTfJP-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Committee Member in Steering Committee within the FTfJP-track
Jens DietrichDietrich, Jens Massey UniversityNew Zealand Committee Member in Program Committee within the BenchWork-track
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Brendan Dolan-GavittDolan-Gavitt, Brendan New York UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Session Chair of Porting and Repair (part of ISSTA Technical Papers) Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Session Chair of Testing (part of ECOOP Research Papers)
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonGreece Committee Member in Program Committee within the ECOOP Research Papers-track
Lydie Du BousquetDu Bousquet, Lydie LIG Committee Member in Program Committee within the INTUITESTBEDS-track
E Manuel EgeleEgele, Manuel Boston University, USAUnited States Committee Member in Program Committee within the WoSSCA-track
Michael EichbergEichberg, Michael TU Darmstadt, Germany Committee Member in Program Committee within the SOAP-track
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the FTfJP-track
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
Anna Rita FasolinoFasolino, Anna Rita Federico II University of NaplesItaly Co-chair in Organizing Committee within the INTUITESTBEDS-track
Mattia FazziniFazzini, Mattia Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Yu FengFeng, Yu University of Texas at Austin, USAChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pietro FerraraFerrara, Pietro JuliaSoft SRL, ItalyItaly Committee Member in Program Committee within the SOAP-track
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Michael FranzFranz, Michael University of California, IrvineUnited States Committee Member in Program Committee within the SALAD-track
Pietro FrigoFrigo, Pietro Vrije Universiteit AmsterdamNetherlands Speaker in Attendees within the WoSSCA-track
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
G Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Committee Member in Program Committee within the WoSSCA-track
Vahid GarousiGarousi, Vahid Wageningen University Committee Member in Program Committee within the INTUITESTBEDS-track
Johannes GeismannGeismann, Johannes Heinz Nixdorf Institute, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo SNITCH: dynamic dependent Information flow for independent Java bytecode
Elena GiachinoGiachino, Elena Analysis of SLA Compliance in the Cloud
Thomas GilrayGilray, Thomas University of Maryland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yoav GoldbergGoldberg, Yoav Bar Ilan UniversityIsrael Committee Member in Program Committee within the ML4PL-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Neville GrechGrech, Neville University of Athens Session Chair of Session III (part of DPA) Committee Member in Organizing Committee within the DPA-track
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Committee Member in Steering Committee within the FTfJP-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Committee Member in Program Committee within the TAV-CPS/IoT-track
Daniel GrusGrus, Daniel Graz University of TechnologyAustria Committee Member in Program Committee within the WoSSCA-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of TechnologyIsrael Committee Member in Program Committee within the COP-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Session Chair of Types (part of ECOOP Research Papers) Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Runtime Systems (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in Program Committee within the SOAP-track
William HarrisHarris, William GaloisUnited States Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the VORTEX-track
Byron HawkinsHawkins, Byron INRIA RennesFrance Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the COP-track
Görel HedinHedin, Görel Lund UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Mats HeimdahlHeimdahl, Mats University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Committee Member in Program Committee within the BenchWork-track
Ben HermannHermann, Ben University of PaderbornGermany Co-chair in Organizing Committee within the SOAP-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track Committee Member in Program Committee within the BenchWork-track
Stefan HeuleHeule, Stefan Stanford University, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Michael HiltonHilton, Michael Carnegie Mellon University, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Shin HongHong, Shin Handong Global UniversitySouth Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Petr HosekHosek, Petr Google, Inc.United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Aftab HussainHussain, Aftab University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Analysis of SLA Compliance in the Cloud Committee Member in Program Committee within the VORTEX-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of Formal Calculi (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of California, IrvineUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gunel JahangirovaJahangirova, Gunel Fondazione Bruno Kessler & University College LondonItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan, USA Committee Member in Program Committee within the VORTEX-track
Somesh JhaJha, Somesh University of Wisconsin, MadisonUnited States Committee Member in Program Committee within the SALAD-track
Martin JohnsJohns, Martin SAP Security Research / TU BraunschweigGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Timothy JonesJones, Timothy MontouxNew Zealand Committee Member in Program Committee within the FTfJP-track
Eric JulJul, Eric University of OsloNorway Session Chair of Awards & Keynote: Xu (part of ECOOP Keynotes) Session Chair of WoSSCA 2 (part of WoSSCA) Session Chair of WoSSCA 1 (part of WoSSCA) Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the WoSSCA-track Organizer in Attendees within the WoSSCA-track
René JustJust, René University of Massachusetts, USA Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
K Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Session Chair of Session 1 (part of COP) Session Chair of Session 2 (part of COP) Committee Member in Organizing Committee within the COP-track
Teemu KanstrénKanstrén, Teemu VTT Committee Member in Program Committee within the INTUITESTBEDS-track
Timotej KapusKapus, Timotej Imperial College London Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Fitsum KifetewKifetew, Fitsum Fondazione Bruno Kessler Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Miryung KimKim, Miryung University of California, Los AngelesUnited States Committee Member in Program Committee within the SALAD-track
Moonzoo KimKim, Moonzoo KAISTKorea, South Committee Member in Program Committee within the ISSTA Technical Papers-track
Taesoo KimKim, Taesoo Georgia TechUnited States Committee Member in Program Committee within the WoSSCA-track Committee Member in Program Committee within the SALAD-track
Engin KirdaKirda, Engin Northeastern UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Jacques KleinKlein, Jacques University of Luxembourg, SnTLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Laura KovacsKovacs, Laura Chalmers University of TechnologySweden Committee Member in Program Committee within the FTfJP-track
Murali Krishna RamanathanKrishna Ramanathan, Murali UberUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Siddharth KrishnaKrishna, Siddharth New York UniversityUnited States Committee Member in Program Committee within the FTfJP-track
Taddeus KroesKroes, Taddeus Vrije Universiteit AmsterdamNetherlands Speaker in Attendees within the WoSSCA-track
Stefan KrügerKrüger, Stefan University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Anil KurmusKurmus, Anil IBM ResearchSwitzerland Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Konstantin KuznetsovKuznetsov, Konstantin Saarland University, CISPAGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
L Yvan LabicheLabiche, Yvan Carleton University Committee Member in Program Committee within the INTUITESTBEDS-track
Chris LaffraLaffra, Chris Uber Technologies Session Chair of After Tea Session (part of ISAGT) Session Chair of After Lunch Session (part of ISAGT) Session Chair of Morning Session (part of ISAGT) Co-chair in Organizing Committee within the ISAGT-track Committee Member in Program Committee within the ISAGT-track
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Cosimo LaneveLaneve, Cosimo Analysis of SLA Compliance in the Cloud
Nhien-An Le-KhacLe-Khac, Nhien-An University College DublinIreland Speaker in Attendees within the WoSSCA-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Steering Committee within the FTfJP-track
Bruno LegeardLegeard, Bruno Smartesting Committee Member in Program Committee within the INTUITESTBEDS-track
Mohsen LesaniLesani, Mohsen University of California, RiversideUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Martin LeuckerLeucker, Martin University of LübeckGermany Session Chair of Session 3 (part of VORTEX) Stream-based runtime verification with hardware support Committee Member in Program Committee within the VORTEX-track
Ding LiLi, Ding NEC LabsChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Li LiLi, Li Monash University, AustraliaAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Jens LinckeLincke, Jens Hasso Plattner InstituteGermany Session Chair of Session 1 (part of COP) Session Chair of Session 2 (part of COP) Committee Member in Organizing Committee within the COP-track
Yang LiuLiu, Yang Nanyang Technological University, SingaporeSingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Yu David LiuLiu, Yu David State University of New York, BinghamtonUnited States Session Chair of Languages (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Committee Member in Program Committee within the ML4PL-track
M Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Magnus MadsenMadsen, Magnus Aalborg UniversityDenmark Session Chair of Session II (part of DPA) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Sam MalekMalek, Sam University of California, IrvineUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Roman ManevichManevich, Roman Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the SOAP-track
Ravi MangalMangal, Ravi Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Morley MaoMao, Morley University of MichiganUnited States Committee Member in Program Committee within the SALAD-track
Alexandru MargineanMarginean, Alexandru University College London, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly Committee Member in Program Committee within the INTUITESTBEDS-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Organizing Committee within the COP-track
Srdjan MaticMatic, Srdjan IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Stephen McCamantMcCamant, Stephen University of Minnesota Committee Member in Program Committee within the TAV-CPS/IoT-track
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom Committee Member in Program Committee within the TAV-CPS/IoT-track
Aastha MehtaMehta, Aastha MPI-SWSGermany Speaker in Attendees within the WoSSCA-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Sukarno MertogunoMertoguno, Sukarno ONRUnited States Speaker in Attendees within the WoSSCA-track
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Session Chair of Asynchrony and Concurrency (part of ECOOP Research Papers)
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States Program Chair in Program Committee within the ECOOP Research Papers-track
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Eliot MirandaMiranda, Eliot Cadence Design SystemsUnited States Committee Member in Program Committee within the ICOOOLPS-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Rosemary MonahanMonahan, Rosemary National University of Ireland Chair in Steering Committee within the FTfJP-track
Hyungon MoonMoon, Hyungon Georgia TechUnited States Speaker in Attendees within the WoSSCA-track
Kevin MoranMoran, Kevin College of William & MaryUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Robin MorissetMorisset, Robin AppleUnited States Speaker in Attendees within the WoSSCA-track
Sarah MountMount, Sarah King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Mohammad MousaviMousavi, Mohammad University of Leicester, UKUnited Kingdom Committee Member in Program Committee within the TAV-CPS/IoT-track
Rashmi MudduluruMudduluru, Rashmi University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Fabian MuehlboeckMuehlboeck, Fabian Cornell University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Onur MutluMutlu, Onur ETH Zurich Committee Member in Program Committee within the WoSSCA-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in Steering Committee within the FTfJP-track
N André N. MeyerN. Meyer, André University of Zurich Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Mei NagappanNagappan, Mei University of WaterlooCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Committee Member in Program Committee within the SALAD-track
Rumyana NeykovaNeykova, Rumyana Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Filip NiksicNiksic, Filip MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nate NystromNystrom, Nate Universita della Svizzera italiana Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
O Hamed OkhraviOkhravi, Hamed MIT Lincoln LabsUnited States Committee Member in Program Committee within the WoSSCA-track
Rafael OliveiraOliveira, Rafael USP Committee Member in Program Committee within the INTUITESTBEDS-track
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Alex OrsoOrso, Alex Georgia Institute of Technology United States Session Chair of Machine Learning (part of ISSTA Technical Papers)
P Gordon PacePace, Gordon University of MaltaMalta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Oded PadonPadon, Oded Tel Aviv UniversityIsrael Committee Member in Program Committee within the FTfJP-track
Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Committee Member in Program Committee within the VORTEX-track
Ana PaivaPaiva, Ana University of Porto Co-chair in Organizing Committee within the INTUITESTBEDS-track
Chris PalmerPalmer, Chris GoogleUnited States Speaker in Attendees within the WoSSCA-track
Jens PalsbergPalsberg, Jens University of California, Los AngelesUnited States Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the BenchWork-track
Tobias PapePape, Tobias HPI, GermanyGermany Committee Member in Program Committee within the ICOOOLPS-track
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UKUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Mathias PayerPayer, Mathias Purdue UniversityUnited States Co-chair in Organizing Committee within the WoSSCA-track
Hila PelegPeleg, Hila Technion, IsraelIsrael Session Chair of Session #1 (part of ML4PL) Session Chair of Session #3 (part of ML4PL) Committee Member in Organizing Committee within the ML4PL-track
Artem PelenitsynPelenitsyn, Artem Czech Technical University in PragueRussia Session Chair of Session #1 (part of ML4PL) Session Chair of Session #2 (part of ML4PL) Committee Member in Organizing Committee within the ML4PL-track
Gervasio Daniel PerezPerez, Gervasio Daniel Universidad de Buenos Aires Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Mauro PezzePezze, Mauro Università della Svizzera italiana (USI) and Università degli Studi di Milano BicoccaSwitzerland Committee Member in Program Committee within the INTUITESTBEDS-track Organizing Committee in Organizing Committee within the TAV-CPS/IoT-track
Quoc-Sang PhanPhan, Quoc-Sang Fujitsu Laboratories of AmericaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Filip PizloPizlo, Filip AppleUnited States Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the ML4PL-track
Michalis PolychronakisPolychronakis, Michalis Stony Brook UniversityUnited States Committee Member in Program Committee within the WoSSCA-track
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States Committee Member in Program Committee within the INTUITESTBEDS-track
Michael PradelPradel, Michael TU DarmstadtGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Wishnu PrasetyaPrasetya, Wishnu Utrecht University Committee Member in Program Committee within the INTUITESTBEDS-track
Sebastian ProkschProksch, Sebastian University of ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Violet Ka I PunPun, Violet Ka I Analysis of SLA Compliance in the Cloud
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Q Xiao QuQu, Xiao ABB Corporate Research Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
R Hany RagabRagab, Hany Vrije Universiteit AmsterdamItaly Speaker in Attendees within the WoSSCA-track
Rudolf RamlerRamler, Rudolf Software Competence Center Hagenberg Committee Member in Program Committee within the INTUITESTBEDS-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Potsdam Committee Member in Program Committee within the COP-track
Marianna RapoportRapoport, Marianna University of WaterlooCanada Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
António RavaraRavara, António Committee Member in Program Committee within the VORTEX-track
Baishakhi RayRay, Baishakhi Columbia University, New YorkUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Kaveh RazaviRazavi, Kaveh Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the WoSSCA-track
John RegehrRegehr, John University of UtahUnited States Committee Member in Program Committee within the WoSSCA-track
Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Committee Member in Program Committee within the INTUITESTBEDS-track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Program Committee within the SOAP-track
José Miguel RojasRojas, José Miguel University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Nico RosnerRosner, Nico University of California, Santa BarbaraUnited States Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifacts-track
Gregg RothermelRothermel, Gregg University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ISSTA Technical Papers-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Session Chair of Testing and Fault Localization (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Michael RusinowitchRusinowitch, Michael Implementing security protocol monitors
S Alireza SadeghiSadeghi, Alireza Google, IncUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Program Committee within the FTfJP-track Committee Member in Program Committee within the COP-track
Mark SantolucitoSantolucito, Mark Yale UniversityUnited States Committee Member in Program Committee within the ML4PL-track
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ECOOP Research Papers-track
Asanka SayakkaraSayakkara, Asanka University College DublinIreland Speaker in Attendees within the WoSSCA-track
Alceste ScalasScalas, Alceste Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mark ScanlonScanlon, Mark University College DublinIreland Speaker in Attendees within the WoSSCA-track
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Max SchaeferSchaefer, Max SemmleUnited Kingdom Session Chair of Session I (part of DPA) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the DPA-track
Stephan SchaikSchaik, Stephan Vrije Universiteit AmsterdamNetherlands Speaker in Attendees within the WoSSCA-track
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the VORTEX-track
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Sina ShamshiriShamshiri, Sina University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Scott F. SmithSmith, Scott F. The Johns Hopkins UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Oleg SokolskySokolsky, Oleg University of Pennsylvania, USA Committee Member in Program Committee within the VORTEX-track
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Committee Member in Program Committee within the COP-track
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track Tool Demos Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway On Distributed runtime verification by aggregate computing Committee Member in Program Committee within the VORTEX-track
Raoul StrackxStrackx, Raoul KU LeuvenBelgium Speaker in Attendees within the WoSSCA-track
Gianluca StringhiniStringhini, Gianluca University College LondonUnited Kingdom Committee Member in Program Committee within the WoSSCA-track
Yulei SuiSui, Yulei University of Technology Sydney, AustraliaAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Alexander J. SummersSummers, Alexander J. ETH ZurichSwitzerland Program Chair in Program Committee within the FTfJP-track
César SánchezSánchez, César IMDEA Software InstituteSpain Committee Member in Program Committee within the VORTEX-track
Mario SüdholtSüdholt, Mario IMT Atlantique, Nantes, France Committee Member in Program Committee within the COP-track
T Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Valerio TerragniTerragni, Valerio Università della Svizzera ItalianaSwitzerland Committee Member in Program Committee within the TAV-CPS/IoT-track
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Frank TipTip, Frank Northeastern UniversityUnited States Session Chair of Keynote: Zeller & ECOOP 2019 Preview (part of ECOOP Keynotes) Session Chair of Welcome & Keynote: De Moor (part of ECOOP Keynotes) Session Chair of Welcome & Keynote: Torlak (part of ISSTA Keynotes) Session Chair of Keynote: Visser, Khurshid, and Pasareanu & Awards (part of ISSTA Keynotes) Co-chair in Organizing Committee within the SALAD-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in Program Committee within the WoSSCA-track Speaker in Attendees within the WoSSCA-track
Paolo TonellaTonella, Paolo Fondazione Bruno KesslerItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Emma ToschTosch, Emma University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Omer TrippTripp, Omer Google Inc.United States Co-chair in Organizing Committee within the SOAP-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Speaker in Attendees within the WoSSCA-track
Hong-Linh TruongTruong, Hong-Linh TU Wien Committee Member in Program Committee within the TAV-CPS/IoT-track
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan Committee Member in Program Committee within the COP-track
V Mohsen VakilianVakilian, Mohsen Google Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Jo Van BulckVan Bulck, Jo KU LeuvenBelgium Speaker in Attendees within the WoSSCA-track
Tijs van der Stormvan der Storm, Tijs CWINetherlands Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Mandana VaziriVaziri, Mandana IBM ResearchUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the COP-track
Toon VerwaestVerwaest, Toon GoogleGermany Speaker in Attendees within the WoSSCA-track
Brian VinterVinter, Brian Københavns UniversitetDenmark Committee Member in Program Committee within the WoSSCA-track
Mirko ViroliViroli, Mirko University of Bologna On Distributed runtime verification by aggregate computing
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the ISSTA Technical Papers-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Session Chair of WoSSCA 3 (part of WoSSCA) Session Chair of SALAD 3 (part of SALAD) Comfy Chair in Organizing Committee within the WoSSCA-track Organizer in Attendees within the WoSSCA-track Co-chair in Organizing Committee within the SALAD-track
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de València and Open Universiteit Co-chair in Organizing Committee within the INTUITESTBEDS-track
W Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
X Harry XuXu, Harry University of California, Los AngelesUnited States Session Chair of SALAD 1 (part of SALAD) Session Chair of SALAD 2 (part of SALAD) Chair in Organizing Committee within the SALAD-track
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Y Wei YangYang, Wei University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Daphne YaoYao, Daphne Virginia TechUnited States Committee Member in Program Committee within the SALAD-track
Ming-Ho YeeYee, Ming-Ho Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tingting YuYu, Tingting University of KentuckyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Organizer in Organizing Committee within the TAV-CPS/IoT-track
Z Tadeu ZagalloZagallo, Tadeu Apple, Inc,Netherlands Speaker in Attendees within the WoSSCA-track
Gianluigi ZavattaroZavattaro, Gianluigi Analysis of SLA Compliance in the Cloud
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Program Committee within the SALAD-track
Andreas ZellerZeller, Andreas Saarland UniversityGermany Session Chair of Mobile (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Olivier ZendraZendra, Olivier INRIA / LORIAFrance Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Qirun ZhangZhang, Qirun University of California, DavisUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Committee Member in Program Committee within the SALAD-track
Meital ZilbersteinZilberstein, Meital TechnionIsrael Committee Member in Program Committee within the ML4PL-track
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program Committee within the FTfJP-track
Daniele ZuddasZuddas, Daniele Università della Svizzera italiana (USI)Italy Committee Member in Program Committee within the INTUITESTBEDS-track
Ç Ezgi ÇiçekÇiçek, Ezgi MPI-SWS, Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

VORTEX 2018 Contributors

Results (325)

Tracks

Co-hosted Conferences

Workshops