ECOOP 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (402)

A Mithun P. AcharyaAcharya, Mithun P. ABB Corporate Research Committee Member in Program Committee within the TAV-CPS/IoT-track
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA Targeted Test Generation for Actor Systems
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 Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track 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 Committee Member in Program Committee within the VORTEX-track
Abdulmajeed AlameerAlameer, Abdulmajeed University of Southern California, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Karim AliAli, Karim University of AlbertaCanada Web Chair in Organizing Committee for ECOOP 2018 Session Chair of Static Analysis (part of ECOOP Research Papers) Session Chair of Static Analysis (part of ISSTA Technical Papers) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs 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) Test of Time Award Modeling infinite behaviour by corules Committee Member in Academic Panel within the ECOOP and ISSTA Doc Symposium-track 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 ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions 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
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
Blake BassettBassett, Blake University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Lars BaumgärtnerBaumgärtner, Lars Philipps-Universität Marburg Fault-tolerant Distributed Reactive Programming
Jonathan BellBell, Jonathan George Mason UniversityUnited States CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Moritz BellerBeller, Moritz Delft University of Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Julia BelyakovaBelyakova, Julia Czech Technical University in PragueRussia Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-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
Xuan BiBi, Xuan The University of Hong KongChina Typed First-Class Traits The Essence of Nested Composition
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 CyberneticsCzech Republic 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) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Co-chair in Organizers within the Panathon-track Program Chair in Program Committee within the ISSTA Technical Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-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
Mateus BorgesBorges, Mateus Imperial College London Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-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 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Lionel BriandBriand, Lionel SnT Centre/University of LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
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 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Secure and Sound (part of ISSTA Technical Papers) Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-track 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
Joana CamposCampos, Joana University of Lisbon, Portugal Dependent Types for Class-based Mutable Objects
Chun CaoCao, Chun Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Michael CarbinCarbin, Michael MITUnited States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Posters Committee within the ECOOP and ISSTA Posters-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
Junjie ChenChen, Junjie Peking UniversityChina Learning to Accelerate Symbolic Execution via Code Transformation
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 Organizing Committee for ECOOP 2018 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Benjamin W ChungChung, Benjamin W Northeastern University KafKa: Gradual Typing for Objects
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 Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track Committee Member in Program Committee within the WoSSCA-track
Riccardo CoppolaCoppola, Riccardo Politecnico di Torino Committee Member in Program Committee within the INTUITESTBEDS-track
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
Raimil CruzCruz, Raimil University of ChileChile Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
D Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly Modeling infinite behaviour by corules
Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Committee Member in Program Committee within the ICOOOLPS-track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Session Chair of Session 2 (part of VORTEX) Committee Member in Program Committee within the VORTEX-track
Peli de Halleuxde Halleux, Peli Microsoft Research A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Static typing of complex presence constraints in interfaces
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Static typing of complex presence constraints in interfaces
Oege de Moorde Moor, Oege Semmle Program Analysis for Everyone
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the COP-track
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Mailbox Types for Unordered Interactions
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 Workshops Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Porting and Repair (part of ISSTA Technical Papers) Co-chair in Organizers within the Panathon-track Workshops Co-Chair in Organizing Committee within the ECOOP and ISSTA Workshops-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Philipp Dominik SchubertDominik Schubert, Philipp Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Alastair DonaldsonDonaldson, Alastair 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 Mentor in Mentors within the ECOOP and ISSTA Summer School-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
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Mentor in Mentors within the ECOOP and ISSTA Summer School-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 Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Committee Member in Program Committee within the SALAD-track
Bernd FreislebenFreisleben, Bernd Philipps-Universität Marburg Fault-tolerant Distributed Reactive Programming
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 Philippa GardnerGardner, Philippa Imperial College London A Concurrent Specification of POSIX File Systems
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
Julien Gascon-SamsonGascon-Samson, Julien ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Johannes GeismannGeismann, Johannes Heinz Nixdorf Institute, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
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
Shivanshu GoyalGoyal, Shivanshu University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Neville GrechGrech, Neville University of Athens Session Chair of Session III (part of DPA) Efficient Reflection String Analysis via Graph Coloring 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
Dan GrossmanGrossman, Dan University of WashingtonUnited States Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
Daniel GrusGrus, Daniel Graz University of TechnologyAustria Committee Member in Program Committee within the WoSSCA-track
Tianxiao GuGu, Tianxiao Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Alex GyoriGyori, Alex FacebookUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of TechnologyIsrael Committee Member in Program Committee within the COP-track
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Workshops Co-Chair in Organizing Committee for ECOOP 2018 Workshops Co-Chair in Organizing Committee within the ECOOP and ISSTA Workshops-track Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Types (part of ECOOP Research Papers) Distinguished Artifact Award 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 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Dan HaoHao, Dan Peking UniversityChina Learning to Accelerate Symbolic Execution via Code Transformation
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in Program Committee within the SOAP-track
Farah HaririHariri, Farah University of Illinois at Urbana-Champaign Targeted Test Generation for Actor Systems
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
Wenxiang HuHu, Wenxiang Peking University Learning to Accelerate Symbolic Execution via Code Transformation
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 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) ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing Committee within the COP-track
Hiroaki InoueInoue, Hiroaki Mitsubishi Electric Corporation, JapanJapan ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
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
Yanyan JiangJiang, Yanyan Nanjing UniversityChina Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Martin JohnsJohns, Martin SAP Security Research / TU BraunschweigGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Simon Peyton JonesJones, Simon Peyton Microsoft ResearchUnited Kingdom Speaker in Speakers within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Timothy JonesJones, Timothy MontouxNew Zealand Committee Member in Program Committee within the FTfJP-track
Alisa Joy MaasJoy Maas, Alisa University of Wisconsin-MadisonUnited States Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee within the ECOOP and ISSTA Student Volunteers-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) Dahl-Nygaard Awards Test of Time Award 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
Kumseok JungJung, Kumseok University of British ColumbiaSouth Korea ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
René JustJust, René University of Massachusetts, USA Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
K Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Safe Transferable Regions
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
George KastrinisKastrinis, George University of AthensGreece Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Session Chair of Test and Oracle Generation (part of ISSTA Technical Papers) Learning to Accelerate Symbolic Execution via Code Transformation 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 CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs 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
Pratap LakshmanLakshman, Pratap Microsoft, India A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Nhien-An Le-KhacLe-Khac, Nhien-An University College DublinIreland Speaker in Attendees within the WoSSCA-track
Gary LeavensLeavens, Gary 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) 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
Paley LiLi, Paley Northeastern UniversityNew Zealand KafKa: Gradual Typing for Objects
Sihan LiLi, Sihan Targeted Test Generation for Actor Systems
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
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland Theory and Practice of Coroutines with Snapshots
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
Jian LuLu, Jian Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
Georgy LukyanovLukyanov, Georgy Newcastle University, UKUnited Kingdom Committee Member in Program Committee within the ML4PL-track
M Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
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
Peyman MahdianMahdian, Peyman University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
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
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-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
Mira MeziniMezini, Mira TU DarmstadtGermany CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Fault-tolerant Distributed Reactive Programming
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly Type Regression Testing to Detect Breaking Changes in Node.js Libraries Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Definite Reference Mutability Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States Program Chair in Organizing Committee for ECOOP 2018
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 Distinguished Paper Award Welcome Program Chair in Program Committee within the ECOOP Research Papers-track Mentor in Mentors within the ECOOP and ISSTA Summer School-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
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Fault-tolerant Distributed Reactive Programming
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 Diversity Chair in Organizing Committee for ECOOP 2018 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 Type Regression Testing to Detect Breaking Changes in Node.js Libraries Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-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
Yeoul NaNa, Yeoul Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
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 Posters Chair in Organizing Committee for ECOOP 2018 Session Chair of Poster session (part of ECOOP and ISSTA Posters) Posters Chair in Posters Committee within the ECOOP and ISSTA Posters-track 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
Gian NtzikNtzik, Gian Imperial College London A Concurrent Specification of POSIX File Systems
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
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Typed First-Class Traits FHJ: A Formal Model for Hierarchical Dispatching and Overriding The Essence of Nested Composition
Rafael OliveiraOliveira, Rafael USP Committee Member in Program Committee within the INTUITESTBEDS-track
Nathalie OostvogelsOostvogels, Nathalie Vrije Universiteit BrusselBelgium Static typing of complex presence constraints in interfaces
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) Speaker in Speakers within the ECOOP and ISSTA Summer School-track
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 Mailbox Types for Unordered Interactions 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 ParkinsonParkinson, Matthew Microsoft Research, UKUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Corina S PasareanuPasareanu, Corina S NASA Ames Research CenterUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track Speaker in Speakers within the ECOOP and ISSTA Summer School-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Karthik PattabiramanPattabiraman, Karthik University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
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 Academic Panel within the ECOOP and ISSTA Doc Symposium-track 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
David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Luís PinaPina, Luís George Mason UniversityUnited States CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Pedro da Rocha PintoPinto, Pedro da Rocha Imperial College London A Concurrent Specification of POSIX File Systems
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
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Theory and Practice of Coroutines with Snapshots
Sebastian ProkschProksch, Sebastian University of ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Q Xiao QuQu, Xiao ABB Corporate Research Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mohaned QunaibitQunaibit, Mohaned University of California, IrvineUnited States Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
R Hany RagabRagab, Hany Vrije Universiteit AmsterdamItaly Speaker in Attendees within the WoSSCA-track
G. RamalingamRamalingam, G. Microsoft Research Safe Transferable Regions
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 Organizing Committee for ECOOP 2018 Distinguished Artifact Award Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Antonio RavaraRavara, Antonio 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
Armin Rezaiean-AselRezaiean-Asel, Armin University of British Columbia ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Committee Member in Program Committee within the INTUITESTBEDS-track
Manuel RiggerRigger, Manuel Johannes Kepler University LinzAustria Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-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 Publicity Chair in Organizing Committee for ECOOP 2018 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 Academic Panel within the ECOOP and ISSTA Doc Symposium-track Committee Member in Program Committee within the ISSTA Technical Papers-track
S Alireza SadeghiSadeghi, Alireza Google, IncUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Fault-tolerant Distributed Reactive Programming 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
Annabel SatinSatin, Annabel P.C.K.United Kingdom Finance Chair in Organizing Committee for ECOOP 2018
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
Tom SchrijversSchrijvers, Tom KU Leuven The Essence of Nested Composition
Jasper SchulzSchulz, Jasper King's College LondonGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP and ISSTA Doc Symposium-track
Christopher SchusterSchuster, Christopher University of California, Santa Cruz Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Marco ServettoServetto, Marco Victoria University of Wellington FHJ: A Formal Model for Hierarchical Dispatching and Overriding
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 Defensive Points-To Analysis: Effective Soundness via Laziness Efficient Reflection String Analysis via Graph Coloring Co-chair in Organizers within the Panathon-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Justin SmithSmith, Justin North Carolina State UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-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
Tyler SorensenSorensen, Tyler Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany Committee Member in Program Committee within the COP-track
Johannes SpäthSpäth, Johannes Fraunhofer IEMGermany CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Siwakorn SrisakaokulSrisakaokul, Siwakorn University of Illinois at Urbana-Champaign, USA A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track 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 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 Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Wei SunSun, Wei University of Nebraska-Lincoln, USA Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
Julian SutherlandSutherland, Julian Imperial College London A Concurrent Specification of POSIX File Systems
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 TanTan, Gang 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 General Chair in Organizing Committee for ECOOP 2018 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) Welcome Mentor in Mentors within the ECOOP and ISSTA Summer School-track 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
John TomanToman, John University of Washington, SeattleUnited States Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
Paolo TonellaTonella, Paolo Fondazione Bruno KesslerItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Martin Toldam TorpTorp, Martin Toldam Aarhus UniversityDenmark Type Regression Testing to Detect Breaking Changes in Node.js Libraries
Emma ToschTosch, Emma University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Sponsorship Chair in Organizing Committee for ECOOP 2018 Mentor in Mentors within the ECOOP and ISSTA Summer School-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 Local Organizing Co-Chair in Organizing Committee for ECOOP 2018 Welcome Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Dependent Types for Class-based Mutable Objects
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
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands Local Organizing Co-Chair in Organizing Committee for ECOOP 2018
Brian VinterVinter, Brian Københavns UniversitetDenmark Committee Member in Program Committee within the WoSSCA-track
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the ISSTA Technical Papers-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Comfy Chair in Organizing Committee for ECOOP 2018 Summer School Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Welcome: Peyton Jones (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Orso (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Click (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Møller (part of ECOOP and ISSTA Summer School) Session Chair of WoSSCA 3 (part of WoSSCA) Session Chair of SALAD 3 (part of SALAD) ECOOP 2019 Preview KafKa: Gradual Typing for Objects Summer School Co-Chair in Organizing Committee within the ECOOP and ISSTA Summer School-track 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
Stijn VolckaertVolckaert, Stijn University of California, Irvine Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
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 Posters Committee within the ECOOP and ISSTA Posters-track Committee Member in Program Committee within the SALAD-track Committee Member in Program Committee within the TAV-CPS/IoT-track
Yanlin WangWang, Yanlin University of Hong KongChina FHJ: A Formal Model for Hierarchical Dispatching and Overriding
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
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Mentor in Mentors within the ECOOP and ISSTA Summer School-track
X Tao XieXie, Tao A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
Chang XuXu, Chang Nanjing University Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
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) Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design 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 Vanya YanevaYaneva, Vanya University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Doc Symposium-track
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 Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee for ECOOP 2018 Student Volunteers Co-Chair in Organizing Committee within the ECOOP and ISSTA Student Volunteers-track 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
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance KafKa: Gradual Typing for Objects Committee Member in Posters Committee within the ECOOP and ISSTA Posters-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Program Committee within the SALAD-track
Andreas ZellerZeller, Andreas Saarland UniversityGermany Summer School Co-Chair in Organizing Committee for ECOOP 2018 Session Chair of Mobile (part of ISSTA Technical Papers) Session Chair of Lecture: Briand (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Ahmed (part of ECOOP and ISSTA Summer School) Session Chair of Lecture: Pasareanu (part of ECOOP and ISSTA Summer School) Parser-Directed Test Generation Committee Member in Program Committee within the ISSTA Technical Papers-track Summer School Co-Chair in Organizing Committee within the ECOOP and ISSTA Summer School-track Mentor in Mentors within the ECOOP and ISSTA Summer School-track
Olivier ZendraZendra, Olivier INRIA / LORIAFrance Committee Member in Program Committee within the ICOOOLPS-track Co-chair in Organizing Committee within the ICOOOLPS-track
Haoyuan ZhangZhang, Haoyuan FHJ: A Formal Model for Hierarchical Dispatching and Overriding
Lingming ZhangZhang, Lingming Learning to Accelerate Symbolic Execution via Code Transformation
Lu ZhangZhang, Lu Peking University Learning to Accelerate Symbolic Execution via Code Transformation
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 Modeling infinite behaviour by corules 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

ECOOP 2018 Contributors

Results (402)

Tracks

ECOOP and ISSTA 2018

Co-hosted Conferences

Workshops