ECOOP and ISSTA 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (725)

A Eman Abdullah AlOmarAbdullah AlOmar, Eman Rochester Institute of Technology, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Dave AbrahamsAbrahams, Dave Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Yasemin AcarAcar, Yasemin Max Planck Institute for Security and Privacy Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Session Chair of Afternoon session 1 (part of VORTEX) Committee Member in Program Committee within the FTfJP-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications Gradual Program Analysis for Null Pointers PC Member in Program Committee within the ECOOP Technical Papers-track
Karim AliAli, Karim University of Alberta Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!
Abigail AlmanzaAlmanza, Abigail University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Nicolas AmatAmat, Nicolas LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Keynote - Dahl-Nygaard Senior Prize (time band 1) (part of ECOOP Keynotes) Session Chair of Keynote - Dahl-Nygaard Junior Prize (time band 1) (part of ECOOP Keynotes) Session Chair of Morning session (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Edward AndertAndert, Edward Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Luthfan Anshar LubisAnshar Lubis, Luthfan [Student Talk] Object-Oriented Programming with Versions
Tomoyuki AotaniAotani, Tomoyuki Mamezou Co.,Ltd. Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Sven ApelApel, Sven Saarland UniversityGermany Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Enabling Additional Parallelism in Asynchronous JavaScript Applications Enabling Additional Parallelism in Asynchronous JavaScript Applications
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Towards Aggregate Monitoring of Spatio-temporal Properties RM for Users’ Safety and Security in the Built Environment
B Johannes BaderBader, Johannes Jane Street Gradual Program Analysis for Null Pointers
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Committee Member in Program Committee within the COP-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Pietro BarbieriBarbieri, Pietro Università di GenovaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance PC Member in Program Committee for ISSTA 2021 Session Chair of Session 10 (time band 3) Symbolic Execution 1 (part of ISSTA Technical Papers)
Jiri BarnatBarnat, Jiri Masaryk University Masaryk University in Programming Committee within the SPIN-track
Earl T. BarrBarr, Earl T. University College London, UK PC Member in Program Committee for ISSTA 2021
Christian Bartolo BurlòBartolo Burlò, Christian Gran Sasso Science InstituteItaly On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice
Raef BassilyBassily, Raef Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Fabian Bauer-MarquartBauer-Marquart, Fabian Universität Konstanz Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
Tom BeckmannBeckmann, Tom Hasso Plattner Institute [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
Maurice H. ter BeekBeek, Maurice H. ter ISTI-CNRItaly ISTI-CNR in Programming Committee within the SPIN-track
Jonathan BellBell, Jonathan Northeastern University PC Member in Program Committee for ISSTA 2021 Session Chair of Session 12 (time band 1) Configuration and Dependency (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Alexandre BergelBergel, Alexandre University of ChileChile Session Chair of Session 2 (part of REBASE)
Jan BessaiBessai, Jan Technical University DortmundGermany Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
Yanxiang BiBi, Yanxiang Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Boosting Symbolic Execution via Constraint Solving Time Prediction
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases
Walter BinderBinder, Walter University of Lugano, Switzerland PC Member in Program Committee within the ECOOP Technical Papers-track
Arianna BlasiBlasi, Arianna Università della Svizzera italiana (USI)Switzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2021 Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Student Presentations Session 1 (part of ECOOP and ISSTA Doctoral Symposium)
Eric BoddenBodden, Eric Automated Cell Header Generator for Jupyter Notebooks
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany FanSASTic! The magic behind Static Application Security Testing Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis Dealing with Variability in API Misuse Specification PC Member in Program Committee within the ECOOP Technical Papers-track Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track
CF Bolz-TereickBolz-Tereick, CF Germany Threaded Code Generation with a Meta-tracing JIT Compiler Committee Member in Program Committee within the ICOOOLPS-track
Rodrigo BonifácioBonifácio, Rodrigo Computer Science Department - University of Brasília Dealing with Variability in API Misuse Specification
Utpal BoraBora, Utpal IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Dragan BosnackiBosnacki, Dragan Eindhoven University of Technology, The NetherlandsNetherlands Session Chair of Invited talk 1 (part of SPIN)
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Idris 2: Quantitative Type Theory in Practice Idris 2: Quantitative Type Theory in Practice
Carolin BrandtBrandt, Carolin Delft University of TechnologyNetherlands Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
David BremnerBremner, David University of New Brunswick An Eclipse OMR-based Garbage Collector for Python
Lionel BriandBriand, Lionel University of Luxembourg; University of OttawaLuxembourg ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1) Log-Based Slicing for System-Level Test Cases Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Kim BruceBruce, Kim Pomona CollegeUnited States Dahl-Nygaard Senior Prize: Theory to Understanding
Lei BuBu, Lei Nanjing UniversityChina Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Didier BuchsBuchs, Didier University of Geneva, Switzerland Fuel: A Compiler Framework for Safe Memory Management
Tevfik BultanBultan, Tevfik University of California, Santa BarbaraUnited States PC Member in Program Committee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
Maxime BuyseBuyse, Maxime Uber ATCPFrance ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Clément BéraBéra, Clément Google, AarhusDenmark Committee Member in Program Committee within the ICOOOLPS-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Workshops Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Workshops Co-Chair in Organizing Committee for ECOOP 2021 Workshops Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing Foundations of Software Testing Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
Julian BüningBüning, Julian RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom ISSTA General Chair in Organizing Committee for ECOOP and ISSTA 2021 General Chair in Organizing Comittee for ISSTA 2021 Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of ISSTA Impact Paper Award Talk (part of ISSTA Keynotes) Opening Session Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Yan CaiCai, Yan Institute of Software at Chinese Academy of SciencesChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Christian A. Candela-UribeCandela-Uribe, Christian A. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Rafael C. CardosoCardoso, Rafael C. RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia [Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options Committee Member in Program Committee within the COP-track
Elias CastegrenCastegren, Elias KTHSweden Committee Member in Organizing Committee within the IWACO-track
Dong ChaiChai, Dong HuaweiChina Predoo: Precision Testing of Deep Learning Operators
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Techniques for Evaluating Pragmatic Call Graph Builders
Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Session Chair of Session 4 (part of REBASE)
Satish ChandraChandra, Satish FacebookUnited States Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts) Machine Learning for Developer Productivity Testing/Analysis and ML/DL 1
Julio C. Chavarro-PorrasChavarro-Porras, Julio C. Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Guangke ChenChen, Guangke ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Haibo ChenChen, Haibo Jiangsu University Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
Junjie ChenChen, Junjie Tianjin UniversityChina PC Member in Program Committee for ISSTA 2021 Session Chair of Session 26 (time band 3) Testing Deep Learning Systems 5 (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Kaixiang ChenChen, Kaixiang Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Ting ChenChen, Ting University of Electronic Science and Technology of ChinaChina SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Xiang ChenChen, Xiang University of WaterlooCanada Probabilistic Model Checking of Randomized Java Code
Xueyuan ChenChen, Xueyuan Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Zehua ChenChen, Zehua National University of Defense TechnologyChina Synthesize Solving Strategy for Symbolic Execution
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Zhenbang ChenChen, Zhenbang National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina PC Member in Program Committee for ISSTA 2021 DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators
Runxiang ChengCheng, Runxiang University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing
Shaoyin ChengCheng, Shaoyin University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Yuanhui ChengCheng, Yuanhui University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Antoine ChenoyChenoy, Antoine Université catholique de LouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Shing-Chi CheungCheung, Shing-Chi University of WaterlooCanada PC Member in Program Committee for ISSTA 2021
Camelia Chisalita-CretuChisalita-Cretu, Camelia Babes-Bolyai University Cluj-NapocaRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Amine ChouchaneChouchane, Amine Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Maria ChristakisChristakis, Maria MPI-SWSGermany Workshops Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Workshops Co-Chair in Organizing Committee for ECOOP 2021 Workshops Co-Chair in Organizing Comittee for ISSTA 2021 Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
Vincenzo CianciaCiancia, Vincenzo Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALYItaly Spatial Model Checking and its applications to Medical Image Analysis
Giovanni CiattoCiatto, Giovanni Alma Mater Studiorum---Università di Bologna Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cliff ClickClick, Cliff meUnited States AA - Yet Another New Language
David CockCock, David ETH ZurichSwitzerland A model-checked I2C specification
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Fuel: A Compiler Framework for Safe Memory Management
Myra CohenCohen, Myra Iowa State UniversityUnited States ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
David CokCok, David Safer Software Consulting, LLC JML and OpenJML for Java 16 Organizing Chair in Program Committee Chair within the FTfJP-track
Christian ColomboColombo, Christian Runtime Verification for Trustworthy Secure Shell Deployment Committee Member in Program Committee within the VORTEX-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler
Emilio CoppaCoppa, Emilio Sapienza University of Rome Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the AISTA-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Axel CurmiCurmi, Axel Runtime Verification for Trustworthy Secure Shell Deployment
D Silvano DAL ZILIODAL ZILIO, Silvano LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly RM for Users’ Safety and Security in the Built Environment Committee Member in Program Committee within the VORTEX-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Eva DarulovaDarulova, Eva MPI-SWSGermany Interval Constraint-Based Mutation Testing of Numerical Specifications
Gaël de Chalendarde Chalendar, Gaël Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Session Chair of ECOOP Test of Time Award (time band 1) (part of ECOOP Keynotes) Session Chair of ECOOP Test of Time Award (time band 3) (part of ECOOP Keynotes)
Remi DelmasDelmas, Remi Uber ATCPFrance ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly PC Member in Program Committee within the ECOOP Technical Papers-track
Yuetang DengDeng, Yuetang TencentChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Xavier DevroeyDevroey, Xavier Delft University of TechnologyNetherlands Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Yash DhamijaDhamija, Yash York UniversityCanada Probabilistic Model Checking of Randomized Java Code
Giuseppe Di GiudaDi Giuda, Giuseppe RM for Users’ Safety and Security in the Built Environment
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of Waterloo Session Chair of Types (time band 2) (part of ECOOP Technical Papers) Session Chair of Program Analysis / Runtimes (time band 2) (part of ECOOP Technical Papers) Ensuring correct cryptographic algorithm and provider usage at compile time PC Member in Program Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Session Chair of Language Design (time band 2) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Crystal Chang DinDin, Crystal Chang University of BergenNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yifeng DingDing, Yifeng Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Laura DiosanDiosan, Laura Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon University Gradual Program Analysis for Null Pointers
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom C4: the C Compiler Concurrency Checker
Haoyu DongDong, Haoyu Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Jin Song DongDong, Jin Song National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Zhen DongDong, Zhen National University of SingaporeSingapore Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wensheng DouDou, Wensheng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Session Chair of Session 23 (time band 2) Testing 4 (part of ISSTA Technical Papers) Semantic Table Structure Identification in Spreadsheets
Xiaoning DuDu, Xiaoning Monash University, Australia Committee Member in Program Committee within the AISTA-track
Fabien DucheneDuchene, Fabien ICTEAM, UCLouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux
Vedran DunjkoDunjko, Vedran Leiden University Leiden University in Programming Committee within the SPIN-track
Isaac DunnDunn, Isaac University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Toward Optimal MC/DC Test Case Generation KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Saikat DuttaDutta, Saikat University of Illinois at Urbana-ChampaignUnited States TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Boris DüdderDüdder, Boris University of CopenhagenDenmark Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
E Sebastian EbertEbert, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Stefan EdelkampEdelkamp, Stefan University of KoblenzGermany University of Koblenz in Programming Committee within the SPIN-track
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Session Chair of Session 4 (time band 1) Testing Deep Learning Systems 2 (part of ISSTA Technical Papers) Advances in Testing
Joshua EllulEllul, Joshua University of Malta Optional Monitoring for Long-Lived Transactions
Daniel ElsnerElsner, Daniel TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Achiya ElyasafElyasaf, Achiya Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
Sebastian ErdwegErdweg, Sebastian JGU Mainz Posters Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Posters Co-Chair in Organizing Committee for ECOOP 2021 Posters Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Specification and Implementation of Type Systems Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Sam EstepEstep, Sam Carnegie Mellon University Gradual Program Analysis for Null Pointers
Karine Even-MendozaEven-Mendoza, Karine Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
Chunrong FangFang, Chunrong Nanjing UniversityChina TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators
Marie FarrellFarrell, Marie University of Liverpool Using Dafny to Solve the VerifyThis 2021 Challenges
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTfJP-track
Syyeda Zainab FatmiFatmi, Syyeda Zainab York UniversityCanada Probabilistic Model Checking of Randomized Java Code
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Florida State University in Programming Committee within the SPIN-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICOOOLPS-track
Yang FengFeng, Yang Nanjing UniversityChina DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Dileepa FernandoFernando, Dileepa Sri Lanka Technological CampusSri Lanka Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly RVPLAN: A General Purpose Framework for Replanning using Runtime Verification Committee Member in Program Committee within the VORTEX-track
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Increasing Confidence in Autonomous Systems
Olivier FlückigerFlückiger, Olivier Northeastern University The Strange and Wondrous Life of Functions in Ř Co-chair in Organizing Committee within the ICOOOLPS-track
George FourtounisFourtounis, George University of AthensGreece Session Chair of Types / Program Analysis (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language PL/SE for Concurrent / Distributed Systems
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of Afternoon session 2 (part of VORTEX) On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Ying FuFu, Ying Ant GroupChina SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
G Alessio GambiGambi, Alessio University of PassauGermany DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Han GaoGao, Han University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Xiang GaoGao, Xiang National University of SingaporeSingapore Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux
Yaoqing GaoGao, Yaoqing Huawei Canada Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
Carlos Gavidia-CalderonGavidia-Calderon, Carlos ThoughtWorks (UK) Ltd.United Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di BolognaItaly Multiparty Languages: the Choreographic and Multitier Cases
Michael GiardinoGiardino, Michael ETH ZurichSwitzerland A model-checked I2C specification
Pierre-Yves GibelloGibello, Pierre-Yves Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Thomas Given-WilsonGiven-Wilson, Thomas Université catholique de LouvainBelgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Toward Optimal MC/DC Test Case Generation KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Patrice GodefroidGodefroid, Patrice Microsoft Research, USAUnited States Committee Member in Programming Committee within the SPIN-track
Aviral GoelGoel, Aviral Northeastern University Non-Intrusive Migration from Lazy to Eager Evaluation Organizer in REBASE within the REBASE-track
Iaroslav GolovanovGolovanov, Iaroslav Aalborg University Behavioural Separation with Parallel Usages
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the IWACO-track
Rahul GopinathGopinath, Rahul CISPA, GermanyGermany Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Parallelism / Runtimes (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Michael GreenbergGreenberg, Michael Stevens Institute of Technology Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Advances in Type Systems PC Member in Program Committee within the ECOOP Technical Papers-track
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Gustavo GriecoGrieco, Gustavo Trail of Bits echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
Reese GrimsleyGrimsley, Reese CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Alex GroceGroce, Alex Northern Arizona UniversityUnited States echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
David GroveGrove, David IBM ResearchUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Daniel GrumbergGrumberg, Daniel Imperial College LondonUnited Kingdom Web Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Web Chair in Organizing Comittee for ISSTA 2021
Stefan GrunerGruner, Stefan University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Maximilian GrübelGrübel, Maximilian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Xiaodong GuGu, Xiaodong Shanghai Jiao Tong University, ChinaChina Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Binfa GuiGui, Binfa Nanjing University of Science and TechnologyChina UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Hendra GunadiGunadi, Hendra Australian National UniversityAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Jianmin GuoGuo, Jianmin Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Tudor GîrbaGîrba, Tudor feenk.com Molding Knowledge
Daniel Gómez BetancurGómez Betancur, Daniel Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
H Andrew HabibHabib, Andrew SnT, University of LuxembourgLuxembourg Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States ECOOP Artificat Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Session 5 (time band 2) Android Application Analysis and Testing (part of ISSTA Technical Papers) SAND: A Static Analysis Approach for Detecting SQL Antipatterns Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Philipp HallerHaller, Philipp KTHSweden Committee Member in Program Committee within the IWACO-track
Youssef HamadiHamadi, Youssef Uber Elevate ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Shi HanHan, Shi Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Yo-Sub HanHan, Yo-Sub Yonsei University Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Henri HansenHansen, Henri Tampere UniversityFinland Tampere University in Programming Committee within the SPIN-track
Dan HaoHao, Dan Peking UniversityChina PC Member in Program Committee for ISSTA 2021
Yu HaoHao, Yu Ohio State University Differential Privacy for Coverage Analysis of Software Traces
Yu HaoHao, Yu University of California at Riverside, USAUnited States Differential Privacy for Coverage Analysis of Software Traces
Wasif HaqueHaque, Wasif University of Texas at DallasUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Mark HarmanHarman, Mark University College LondonUnited Kingdom PC Member in Program Committee for ISSTA 2021
Arnd HartmannsHartmanns, Arnd University of TwenteNetherlands University of Twente in Programming Committee within the SPIN-track
Paul HarveyHarvey, Paul Rakuten Mobile Innovation StudioJapan Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Techniques for Evaluating Pragmatic Call Graph Builders MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Florian HauerHauer, Florian TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Dongjie HeHe, Dongjie University of New South Wales Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Jiawei HeHe, Jiawei Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Pinjia HeHe, Pinjia ETH Zurich Committee Member in Program Committee within the AISTA-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
George HeinemanHeineman, George WPIUnited States Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
George HeinemanHeineman, George Worcester Polytechnic Institute Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Ben HermannHermann, Ben Technical University DortmundGermany Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Adrian HerreraHerrera, Adrian Australian National University; DSTAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Asmae Heydari TabarHeydari Tabar, Asmae Technical University of DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
Kenji HisazumiHisazumi, Kenji Kyushu University [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System Committee Member in Program Committee within the COP-track
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States NASA/Caltech Jet Propulsion Laboratory in Programming Committee within the SPIN-track
Michael HomerHomer, Michael Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
Tony HoskingHosking, Tony Australian National University; CSIRO’s Data61Australia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Nora HossleHossle, Nora ETH ZurichSwitzerland A model-checked I2C specification
Yunhan HouHou, Yunhan Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Eve HuHu, Eve CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Heqing HuangHuang, Heqing Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Song HuangHuang, Song Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Xuejing HuangHuang, Xuejing The University of Hong Kong Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing
Marieke HuismanHuisman, Marieke University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
Lukas HumbelHumbel, Lukas ETH ZurichSwitzerland A model-checked I2C specification
Antti HyvärinenHyvärinen, Antti Università della Svizzera ItalianaSwitzerland Università della Svizzera Italiana in Programming Committee within the SPIN-track
Roni HäckiHäcki, Roni ETH ZurichSwitzerland A model-checked I2C specification
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Behavioural Separation with Parallel Usages
I Bob IannucciIannucci, Bob CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
J Jeroen J.A. KeirenJ.A. Keiren, Jeroen Eindhoven University of Technology Eindhoven University of Technology in Programming Committee within the SPIN-track
Foad JafarinejadJafarinejad, Foad Technical University of DarmstadtGermany NerdBug: Automated Bug Detection in Neural Networks
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Gunel JahangirovaJahangirova, Gunel USI LuganoSwitzerland DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
Aryaman JainJain, Aryaman University of Illinois at Urbana-ChampaignUnited States TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, GermanyGermany PatEC: Pattern-based Equivalence Checking Verifying Pipeline Implementations in OpenMP
Mathias Steen JakobsenJakobsen, Mathias Steen Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Nils JansenJansen, Nils Radboud University NijmegenNetherlands Radboud University Nijmegen in Programming Committee within the SPIN-track
Clothilde JeangoudouxJeangoudoux, Clothilde MPI-SWSGermany Interval Constraint-Based Mutation Testing of Numerical Specifications
Peter Gjøl JensenJensen, Peter Gjøl Aalborg University, DenmarkDenmark Aalborg University, Denmark in Programming Committee within the SPIN-track
Jan JečmenJečmen, Jan The Strange and Wondrous Life of Functions in Ř
Ranjit JhalaJhala, Ranjit University of California at San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Zhouyang JiaJia, Zhouyang National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Zhouxian JianJian, Zhouxian Beijing Jiaotong University Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
Muhui JiangJiang, Muhui Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Xinrui JiangJiang, Xinrui Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Yu JiangJiang, Yu Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Hai JinJin, Hai Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Carlee Joe-WongJoe-Wong, Carlee CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Richard JonesJones, Richard University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Open University of the Netherlands in Programming Committee within the SPIN-track Committee Member in Program Committee within the VORTEX-track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Organizing Committee within the IWACO-track
K Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
Ashwin Kallingal JoshyKallingal Joshy, Ashwin Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Ritu KapurKapur, Ritu Indian Institute of Technology, Ropar, India.India Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Stephen KellKell, Stephen King's College LondonUnited Kingdom The Two Cultures of Language Implementation
Colette KerrKerr, Colette ČVUTCzechia Userfault Objects: Transparent Programmable Memory
Mikkel Klinke KettunenKettunen, Mikkel Klinke Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Florida Gulf Coast UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Mohammad KhayatianKhayatian, Mohammad Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Gregor KiczalesKiczales, Gregor Session Chair of Session 3 (part of REBASE) ECOOP Test of Time Award
Sunghun KimKim, Sunghun Hong Kong University of Science and TechnologyHong Kong Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Alexandre KirszenbergKirszenberg, Alexandre LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Tim KlugeKluge, Tim TU Dresden, Germany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Matthew KolosickKolosick, Matthew University of California, San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Igor KonnovKonnov, Igor Informal Systems IncAustria Informal Systems Inc in Programming Committee within the SPIN-track
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Committee Member in Program Committee within the FTfJP-track
Alexander KovalenkoKovalenko, Alexander Czech Technical University in Prague CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Anil KoyuncuKoyuncu, Anil SNT, University of Luxembourg Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Practical Static Analysis and Bug Finding PC Member in Program Committee within the ECOOP Technical Papers-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Daniel KroeningKroening, Daniel AmazonUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Sebastián KrynskiKrynski, Sebastián Czech Technical University in Prague The Strange and Wondrous Life of Functions in Ř
Stefan KrügerKrüger, Stefan Independent ResearcherGermany Dealing with Variability in API Misuse Specification
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems PC Member in Program Committee within the ECOOP Technical Papers-track
Shreyansh KulshreshthaKulshreshtha, Shreyansh Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Session Chair of Potpourri (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Filip KřikavaKřikava, Filip Czech Technical University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Organizer in REBASE within the REBASE-track
L Alfons LaarmanLaarman, Alfons Leiden UniversityNetherlands SPIN Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Session Chair of Opening (part of SPIN) Session Chair of Closing statement (part of SPIN) Chair in Organizing Committee within the SPIN-track
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Andrei LascuLascu, Andrei Imperial College London Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
Sufian LatifLatif, Sufian Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Chris LattnerLattner, Chris SiFive Session Chair of Session 5 (part of REBASE)
Christoph LauterLauter, Christoph University of Alaska at AnchorageUnited States Interval Constraint-Based Mutation Testing of Numerical Specifications
Julia LawallLawall, Julia InriaFrance Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux PC Member in Program Committee within the ECOOP Technical Papers-track
Didier Le BotlanLe Botlan, Didier LAAS-CNRSFrance Accelerating the Computation of Dead and Concurrent Places using Reductions
Claire Le GouesLe Goues, Claire Carnegie Mellon University Let me fix that for you: An Overview of Automated Program Repair
Wei LeLe, Wei Iowa State UniversityUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2021 Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Student presentations Session 2 (part of ECOOP and ISSTA Doctoral Symposium) Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
Yeseop LeeLee, Yeseop Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Axel LegayLegay, Axel Université Catholique de Louvain, Belgium C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
Karoliina LehtinenLehtinen, Karoliina University of LiverpoolUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Caroline LemieuxLemieux, Caroline Microsoft ResearchUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Lucie LerchLerch, Lucie Czech Technical University in PragueCzechia Finance Chair in Organizing Committee for ECOOP and ISSTA 2021 Finance Chair in Organizing Committee for ECOOP 2021 Finance Chair in Organizing Comittee for ISSTA 2021
Stefan LeueLeue, Stefan Germany Session Chair of Invited talk 3 (part of SPIN)
Ding LiLi, Ding NEC LabsChina Committee Member in Program Committee within the AISTA-track
Feng LiLi, Feng Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Guiyin LiLi, Guiyin Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Huizhong LiLi, Huizhong WeBankChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Junxin LiLi, Junxin East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Wang LiLi, Wang National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Xiang LiLi, Xiang Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Xuandong LiLi, Xuandong Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Yishuai LiLi, Yishuai University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Yuanchun LiLi, Yuanchun Microsoft ResearchChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Yun LiLi, Yun Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Zheming LiLi, Zheming Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Kyle LiangLiang, Kyle Carnegie Mellon University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Tan LiangLiang, Tan Philipps-Universität Marburg Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
Zhenkai LiangLiang, Zhenkai National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Melissa LicciardelloLicciardello, Melissa ETH ZurichSwitzerland A model-checked I2C specification
Bruno LimaLima, Bruno Faculty of Engineering, University of Porto and INESC TECPortugal Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yun LinLin, Yun National University of SingaporeSingapore Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach Committee Member in Program Committee within the AISTA-track
Bingyan LiuLiu, Bingyan Peking UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Jia LiuLiu, Jia Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Jiawei LiuLiu, Jiawei Nanjing UniversityChina TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Predoo: Precision Testing of Deep Learning Operators
Yang LiuLiu, Yang Nanyang Technological University PC Member in Program Committee for ISSTA 2021 Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 1
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Yunxin LiuLiu, Yunxin Tsinghua UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Zixi LiuLiu, Zixi Nanjing UniversityChina DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Alberto Lluch LafuenteLluch Lafuente, Alberto Technical University of DenmarkDenmark Technical University of Denmark in Programming Committee within the SPIN-track
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina PC Member in Program Committee for ISSTA 2021
Jingbo LuLu, Jingbo UNSW Sydney Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Stephan LukasczykLukasczyk, Stephan University of PassauGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sicheng LuoLuo, Sicheng Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Boosting Symbolic Execution via Constraint Solving Time Prediction
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yunlai LuoLuo, Yunlai National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Grammar-Agnostic Symbolic Execution by Token Symbolization
Xiao LvLv, Xiao Microsoft ResearchChina Semantic Table Structure Identification in Spreadsheets
Yingjun LyuLyu, Yingjun AmazonUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns
M Fuchen MaMa, Fuchen Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Lei MaMa, Lei University of AlbertaCanada Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Meng MaMa, Meng Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Shiqing MaMa, Shiqing Rutgers University PC Member in Program Committee for ISSTA 2021 Session Chair of Session 13 (time band 2) Testing Deep Learning Systems 4 (part of ISSTA Technical Papers)
Magnus MadsenMadsen, Magnus Aarhus University Committee Member in Program Committee within the ICOOOLPS-track
Rasool MagharehMaghareh, Rasool HuaweiCanada Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation Toward Optimal MC/DC Test Case Generation
Shane MagrathMagrath, Shane DSTAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Kulani Tharaka MahadewaMahadewa, Kulani Tharaka National University of SingaporeSingapore Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Petr MajMaj, Petr Czech Technical University CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Namrata MalkaniMalkani, Namrata Indian Institute of Technology MandiIndia Refactoring Scala Programs to Promote Functional Design Patterns
Michaël MarcozziMarcozzi, Michaël Université Paris-Saclay, CEA, ListFrance Session Chair of Session 28 (time band 3) Fuzzing and Runtime Analysis (part of ISSTA Technical Papers)
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Paul MarinescuMarinescu, Paul FacebookUnited Kingdom PC Member in Program Committee for ISSTA 2021
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Sponsorship Co-Chair in Organizing Committee for ECOOP 2021 Sponsorship Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Session Chair of Session 7 (time band 2) Data Processing Application Analysis (part of ISSTA Technical Papers) Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing
Stefan MarrMarr, Stefan University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting Naïve Transient Cast Insertion Isn’t (That) Bad
Antoine MartinMartin, Antoine EPITA, LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Alberto Martin-LopezMartin-Lopez, Alberto Universidad de SevillaSpain RESTest: Automated Black-Box Testing of RESTful Web APIs Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom PC Member in Program Committee for ISSTA 2021 Session Chair of Session 15 (time band 3) Testing 1 (part of ISSTA Technical Papers)
Kuldeep S. MeelMeel, Kuldeep S. National University of Singapore National University of Singapore, Singapore in Programming Committee within the SPIN-track
Erik MeijerMeijer, Erik Variational Calculus for Dummies
Tom MelhamMelham, Tom University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Silvia MeschiniMeschini, Silvia RM for Users’ Safety and Security in the Built Environment
Salma MessaoudiMessaoudi, Salma University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) Session Chair of Multiparty Programming and Session Types (time band 1) (part of ECOOP Technical Papers) NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs Dealing with Variability in API Misuse Specification ECOOP 2022 Preview PL/SE for Concurrent / Distributed Systems PC Member in Program Committee within the ECOOP Technical Papers-track
Aleksandar MicicMicic, Aleksandar IBM, Canada An Eclipse OMR-based Garbage Collector for Python
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Programming Committee within the SPIN-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Mohamed Wiem MkaouerMkaouer, Mohamed Wiem Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ali MohebbiMohebbi, Ali USI LuganoSwitzerland Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Using Dafny to Solve the VerifyThis 2021 Challenges Steering Committee Chair in Steering Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Shouvick MondalMondal, Shouvick IIT MadrasIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Golla Monika RaniMonika Rani, Golla National Institute of Technology, Warangal KLEEMA: A DSE based Mutation Analyser
Steven MonteiroMonteiro, Steven University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Multiparty Languages: the Choreographic and Multitier Cases
Austin MordahlMordahl, Austin University of Texas at DallasUnited States The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Hugo MoreauMoreau, Hugo LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Sergio MoverMover, Sergio Ecole Polytechnique Session Chair of Session 2 (part of SPIN) Ecole Polytechnique in Programming Committee within the SPIN-track
Suchita MukherjeeMukherjee, Suchita University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Alan MycroftMycroft, Alan University of Cambridge, UK Source code patches from dynamic analysis Refactoring traces to identify concurrency improvements
Todd MytkowiczMytkowicz, Todd Microsoft ResearchUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark ECOOP General Chair in Organizing Committee for ECOOP and ISSTA 2021 General Chair in Organizing Committee for ECOOP 2021 Opening Session Modular Call Graph Construction for Security Scanning of Node.js Applications Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Rajagopal NagarajanNagarajan, Rajagopal Middlesex University Committee Member in Programming Committee within the SPIN-track
Tsuneo NakanishiNakanishi, Tsuneo [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada An Eclipse OMR-based Garbage Collector for Python
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs Dealing with Variability in API Misuse Specification Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Carlos Diego Nascimento DamascenoNascimento Damasceno, Carlos Diego Radboud University Nijmegen, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Publicity Chair in Organizing Committee for ECOOP and ISSTA 2021 Publicity Chair in Organizing Committee for ECOOP 2021 Publicity Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Modular Call Graph Construction for Security Scanning of Node.js Applications
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Session Chair of Session 2 (part of REBASE)
Andrew NisbetNisbet, Andrew University of Manchester, UK Committee Member in Program Committee within the ICOOOLPS-track
James NobleNoble, James Victoria University of WellingtonNew Zealand Session Chair of Keynote - Dahl-Nygaard Senior Prize (time band 2) (part of ECOOP Keynotes) Naïve Transient Cast Insertion Isn’t (That) Bad Committee Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology [Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore QFuzz: Quantitative Fuzzing for Side Channels QFuzz: Quantitative Fuzzing for Side Channels Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Michael NorrishNorrish, Michael CSIRO’s Data61; Australian National UniversityAustralia Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom ISSTA Artifact Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Session 14 (time band 2) Symbolic Execution 2 (part of ISSTA Technical Papers) Co-chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Muhammad Numair MansurNumair Mansur, Muhammad MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Madoda NxumaloNxumalo, Madoda University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
O Robert O'CallahanO'Callahan, Robert PernoscoNew Zealand Ubiquitous Omniscient Debugging PC Member in Program Committee within the ECOOP Technical Papers-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Session Chair of Empirical Studies / Parallelism (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Takeshi OhkawaOhkawa, Takeshi Tokai UniversityJapan [Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration
Willian OizumiOizumi, Willian PUC-Rio, BrazilBrazil Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Renzo OlivaresOlivares, Renzo University of California, RiversideUnited States Techniques for Evaluating Pragmatic Call Graph Builders
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Type-Directed Operational Semantics for Gradual Typing A Dependently Typed Calculus with Polymorphic Subtyping Type-Directed Operational Semantics for Gradual Typing Compositional Programming Compositional Programming Advances in Type Systems
Alessandro OrsoOrso, Alessandro Georgia TechUnited States PC Member in Program Committee for ISSTA 2021 Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Alex OrsoOrso, Alex Georgia Institute of Technology United States Session Chair of Session 3 (time band 1) Android Application Testing (part of ISSTA Technical Papers)
Indigo OrtonOrton, Indigo University of Cambridge, UK Source code patches from dynamic analysis Refactoring traces to identify concurrency improvements
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Session Chair of Program Analysis (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Gordon PacePace, Gordon University of MaltaMalta Optional Monitoring for Long-Lived Transactions
Rohan PadhyePadhye, Rohan Carnegie Mellon University PC Member in Program Committee for ISSTA 2021 Session Chair of Session 19 (time band 1) Testing 2 (part of ISSTA Technical Papers) Session Chair of Session 21 (time band 2) Testing 3 (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Cong PanPan, Cong Beihang UniversityChina Continuous Test Suite Failure Prediction
Minxue PanPan, Minxue Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Weiyu PanPan, Weiyu National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization
Yicheng PanPan, Yicheng Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Annibale PanichellaPanichella, Annibale Delft University of Technology; University of LuxembourgNetherlands PC Member in Program Committee for ISSTA 2021 Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Advances in Testing Log-Based Slicing for System-Level Test Cases
Mike PapadakisPapadakis, Mike University of Luxembourg, LuxembourgLuxembourg ISSTA Tools demonstrations Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Tool demonstrations co-chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Session Chair of Session 27 (time band 3) Bugs and Analysis 2 (part of ISSTA Technical Papers) Co-chair in Program Committee within the ISSTA Tool Demonstrations-track
Jihyeok ParkPark, Jihyeok KAISTSouth Korea JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
Chris ParninParnin, Chris North Carolina State University Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center PC Member in Program Committee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 1)
Felix PauckPauck, Felix Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mathias PayerPayer, Mathias EPFLSwitzerland Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing Seed Selection for Successful Fuzzing Seed Selection for Successful Fuzzing Gramatron: Effective Grammar-aware Fuzzing Gramatron: Effective Grammar-Aware Fuzzing
Yu PeiPei, Yu Hong Kong Polytechnic UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Bar Ilan University in Programming Committee within the SPIN-track
Hila PelegPeleg, Hila TechnionIsrael PC Member in Program Committee within the ECOOP Technical Papers-track
Laura PellegriniPellegrini, Laura RM for Users’ Safety and Security in the Built Environment
Chao PengPeng, Chao University of Edinburgh, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil PC Member in Program Committee within the ECOOP Technical Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Multiparty Languages: the Choreographic and Multitier Cases
Justyna PetkePetke, Justyna University College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Fabio PetrilloPetrillo, Fabio Université du Québec à Chicoutimi, CanadaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tatjana PetrovPetrov, Tatjana Universität KonstanzGermany Session Chair of Session 3 (part of SPIN) Universität Konstanz in Programming Committee within the SPIN-track
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland PC Member in Program Committee for ISSTA 2021 Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts) Session Chair of Session 9 (time band 3) Testing Deep Learning Systems 3 (part of ISSTA Technical Papers) Testing/Analysis and ML/DL 2 Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Wolfram PfeiferPfeifer, Wolfram Karlsruhe Institute of Technology (KIT)Germany Reconstructing Z3 Proofs in KeY: There and Back Again
Thuan PhamPham, Thuan The University of Melbourne Session Chair of Session 17 (time band 3) Testing Miscellaneous Systems (part of ISSTA Technical Papers) ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Luís PinaPina, Luís University of Illinois at ChicagoUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 8 (time band 2) Dynamic Analysis (part of ISSTA Technical Papers)
Denys PoshyvanykPoshyvanyk, Denys William and MaryUnited States PC Member in Program Committee for ISSTA 2021
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the IWACO-track
Hadrien PougetPouget, Hadrien University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks Exposing Previously Undetectable Faults in Deep Neural Networks
Michael PradelPradel, Michael University of StuttgartGermany ISSTA Tools demonstrations Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Tool demonstrations co-chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Session Chair of ISSTA Tool Demos (Live Discussion) 1 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (Live Discussion) 3 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (One-Minute Teasers) 1 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (One-Minute Teasers) 3 (part of ISSTA Tool Demonstrations) Session Chair of Session 16 (time band 3) Binary Analysis (part of ISSTA Technical Papers) Session Chair of Session 25 (time band 3) Testing and Analysis (part of ISSTA Technical Papers) Practical Static Analysis and Bug Finding Continuous Test Suite Failure Prediction Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking PC Member in Program Committee within the ECOOP Technical Papers-track Co-chair in Program Committee within the ISSTA Tool Demonstrations-track
Jyoti PrakashPrakash, Jyoti National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ashwin Prasad Shivarpatna VenkateshPrasad Shivarpatna Venkatesh, Ashwin Paderborn UniversityGermany Automated Cell Header Generator for Jupyter Notebooks
Mukul PrasadPrasad, Mukul Fujitsu Laboratories of AmericaUnited States PC Member in Program Committee for ISSTA 2021
Alexander PretschnerPretschner, Alexander TU MunichGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Session Chair of Session 6 (part of REBASE)
Geguang PuPu, Geguang East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Armand PuccettiPuccetti, Armand Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
Q Shaz QadeerQadeer, Shaz FacebookUnited States The Move language for the Diem Blockchain
Shisong QinQin, Shisong Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
R Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Fuel: A Compiler Framework for Safe Memory Management Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom Posters Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Posters Co-Chair in Organizing Committee for ECOOP 2021 Posters Co-Chair in Organizing Comittee for ISSTA 2021 Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Ohad RauRau, Ohad Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming Linear Promises: Towards Safer Concurrent Programming
Abdul RaufRauf, Abdul Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Silke ReimerReimer, Silke IVU Traffic TechnologiesGermany Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track
Meng RenRen, Meng Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Etienne RenaultRenault, Etienne LRDEFrance Go2Pins: a framework for the LTL verification of Go programs
Conor ReynoldsReynolds, Conor Maynooth UniversityIreland Using Dafny to Solve the VerifyThis 2021 Challenges
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Vincenzo RiccioRiccio, Vincenzo USI LuganoSwitzerland DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Cedric RichterRichter, Cedric Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
David RichterRichter, David Technical University of DarmstadtGermany Multiparty Languages: the Choreographic and Multitier Cases
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland ISSTA Artifact Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2021 Co-chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Timothy RoscoeRoscoe, Timothy ETH ZurichSwitzerland A model-checked I2C specification
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Session Chair of Session 4 (part of REBASE) Who is Afraid of the Turnstile?
Ori RothRoth, Ori TechnionIsrael Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Atanas RountevRountev, Atanas Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore PC Member in Program Committee for ISSTA 2021 ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Fixing Dependency Errors for Python Build Reproducibility Fixing Dependency Errors for Python Build Reproducibility
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain RESTest: Automated Black-Box Testing of RESTful Web APIs
Neha RungtaRungta, Neha Amazon Web ServicesUnited States PC Member in Program Committee for ISSTA 2021
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea PC Member in Program Committee for ISSTA 2021 ISSTA 2022 Preview PC Member in Program Committee within the ECOOP Technical Papers-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, Skopje Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Brennan SaetaSaeta, Brennan Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Multiparty Languages: the Choreographic and Multitier Cases
Jordan SamhiSamhi, Jordan University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John A. Sanabria-OrdoñezSanabria-Ordoñez, John A. University of Valle Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Linear Promises: Towards Safer Concurrent Programming
Hassan SartajSartaj, Hassan National University of Computer and Emerging Sciences, Islamabad, PakistanPakistan Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice Committee Member in Program Committee within the VORTEX-track
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Enabling Additional Parallelism in Asynchronous JavaScript Applications
Jonas SchifflSchiffl, Jonas Reconstructing Z3 Proofs in KeY: There and Back Again
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Daniel SchwynSchwyn, Daniel ETH ZurichSwitzerland A model-checked I2C specification
Max SchäferSchäfer, Max IBMUnited States Enabling Additional Parallelism in Asynchronous JavaScript Applications
Jan SchärSchär, Jan ETH ZurichSwitzerland A model-checked I2C specification
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany A Generic Type System for Featherweight Java
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Co-chair in Organizing Committee within the ICOOOLPS-track
Md Syadus SefatSefat, Md Syadus Virginia TechUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Elena SeghezziSeghezzi, Elena RM for Users’ Safety and Security in the Built Environment
Sergio SeguraSegura, Sergio Universidad de SevillaSpain RESTest: Automated Black-Box Testing of RESTful Web APIs
Jeeva SelvamSelvam, Jeeva University of Illinois at Urbana-ChampaignUnited States TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Koushik SenSen, Koushik University of California, Berkeley PC Member in Program Committee for ISSTA 2021
Luis E. Sepúlveda-RodríguezSepúlveda-Rodríguez, Luis E. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Camelia SerbanSerban, Camelia Department of Computer Science, Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Lambda-based object-oriented programming
Denys ShabalinShabalin, Denys EPFL, Switzerland Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Narges ShadabShadab, Narges University of California at RiversideUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fei ShaoShao, Fei Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Rishi SharmaSharma, Rishi Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Program Committee within the AISTA-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Best-Effort Lazy Evaluation for Python Software Built On APIs
Elena ShermanSherman, Elena Boise State UniversityUnited States PC Member in Program Committee for ISSTA 2021
August ShiShi, August University of Texas at AustinUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of ISSTA Tool Demos (One-Minute Teasers) 2 (part of ISSTA Tool Demonstrations) Session Chair of ISSTA Tool Demos (Live Discussion) 2 (part of ISSTA Tool Demonstrations) Session Chair of Session 11 (time band 1) Machine Learning and Testing (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Donghwan ShinShin, Donghwan University of LuxembourgLuxembourg Log-Based Slicing for System-Level Test Cases Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Finding Data Compatibility Bugs with JSON Subschema Checking Finding Data Compatibility Bugs with JSON Subschema Checking
Ali ShokriShokri, Ali Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
David ShriverShriver, David University of VirginiaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ziqi ShuaiShuai, Ziqi National University of Defense TechnologyChina Synthesize Solving Strategy for Symbolic Execution Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution
Stephen F. SiegelSiegel, Stephen F. University of DelawareUnited States University of Delaware in Programming Committee within the SPIN-track
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland Userfault Objects: Transparent Programmable Memory CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Julien SignolesSignoles, Julien CEA LISTFrance The E-ACSL Perspective on Runtime Assertion Checking
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom PC Member in Program Committee within the ECOOP Technical Papers-track
Somesh SinghSingh, Somesh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John L. SingletonSingleton, John L. GitHub, Inc.United States Committee Member in Program Committee within the FTfJP-track
Carsten SinzSinz, Carsten Karlsruhe Institute of Technology Karlsruhe Institute of Technology in Programming Committee within the SPIN-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens PC Member in Program Committee for ISSTA 2021 ISSTA 2022 Preview
Mary Lou SoffaSoffa, Mary Lou University of Virginia Keynote
Ana SokolovaSokolova, Ana University of SalzburgAustria SPIN Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Session Chair of Invited talk 2 (part of SPIN) Co-chair in Organizing Committee within the SPIN-track
Erikas SokolovasSokolovas, Erikas University of Twente, The NetherlandsNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Daniel SokolowskiSokolowski, Daniel TU DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Fu SongSong, Fu ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Wei SongSong, Wei Nanjing University of Science and TechnologyChina UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Jiri SrbaSrba, Jiri Aalborg University Aalborg University in Programming Committee within the SPIN-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States ECOOP PC Chair in Organizing Committee for ECOOP and ISSTA 2021 Program Committee Chair in Organizing Committee for ECOOP 2021 Opening Session Techniques for Evaluating Pragmatic Call Graph Builders Program Committee Chair in Program Committee within the ECOOP Technical Papers-track Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Prashast SrivastavaSrivastava, Prashast Purdue UniversityUnited States Gramatron: Effective Grammar-aware Fuzzing Gramatron: Effective Grammar-Aware Fuzzing
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Federico II University of Naples Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
Benjamin SteenhoekSteenhoek, Benjamin Iowa State UniversityUnited States Validating Static Warnings via Testing Code Fragments Validating Static Warnings via Testing Code Fragments
Thomas StifterStifter, Thomas IEELuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium ECOOP Artificat Evaluation Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Safety versus security: why have they not married yet?
Arnon SturmSturm, Arnon Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
Ting SuSu, Ting East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Zhendong SuSu, Zhendong ETH ZurichSwitzerland PC Member in Program Committee for ISSTA 2021 Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2)
Yulei SuiSui, Yulei University of Technology SydneyAustralia Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Alexander J. SummersSummers, Alexander J. University of British Columbia (UBC)Canada Session Chair of Modular Programming / Types (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the FTfJP-track
Chengnian SunSun, Chengnian University of WaterlooCanada PC Member in Program Committee for ISSTA 2021 Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Jingling SunSun, Jingling East China Normal UniversityChina Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Jun SunSun, Jun Singapore Management UniversitySingapore Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts) Symbolic Execution Attack as Defense: Characterizing Adversarial Examples using Robustness Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Ning SunSun, Ning Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Yaozhu SunSun, Yaozhu University of Hong KongChina Compositional Programming Compositional Programming
Joshua SunshineSunshine, Joshua Carnegie Mellon University Gradual Program Analysis for Null Pointers
Sebastian SztwiertniaSztwiertnia, Sebastian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
César SánchezSánchez, César IMDEA Software InstituteSpain Synchronous and Asynchronous Stream Runtime Verification
T Lavinia Chiara TagliabueTagliabue, Lavinia Chiara RM for Users’ Safety and Security in the Built Environment
Lin TanTan, Lin Purdue UniversityUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 2 (time band 1) Testing Deep Learning Systems 1 (part of ISSTA Technical Papers)
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina Session Chair of Session 18 (time band 3) Android Application Testing 2 (part of ISSTA Technical Papers) Automated Patch Backporting in Linux (Experience Paper) Automated Patch Backporting in Linux
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan [Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
Qiyi TangTang, Qiyi University of OxfordUnited Kingdom Probabilistic Model Checking of Randomized Java Code
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Éric TanterTanter, Éric University of Chile Gradual Program Analysis for Null Pointers
Michael TautschnigTautschnig, Michael Amazon Web Services Amazon Web Services in Programming Committee within the SPIN-track
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Semantic Matching of GUI Events for Test Reuse: Are We There Yet? Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Lorenzo TestaTesta, Lorenzo RM for Users’ Safety and Security in the Built Environment
Lorenzo TestaTesta, Lorenzo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Manas ThakurThakur, Manas Indian Institute of Technology Mandi Refactoring Scala Programs to Promote Functional Design Patterns Can we run in parallel? Automating Loop Parallelization for TornadoVM
Yann Thierry-MiegThierry-Mieg, Yann Sorbonne Université — LIP6France Committee Member in Programming Committee within the SPIN-track
Yongqiang TianTian, Yongqiang Tianjin UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Yuan TianTian, Yuan Queens University, Kingston, CanadaCanada Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Nils TimmTimm, Nils University of PretoriaSouth Africa Spotlight Abstraction in Model Checking Real-Time Task Schedulability
Frank TipTip, Frank Northeastern UniversityUnited States Summer School Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Summer School Co-Chair in Organizing Committee for ECOOP 2021 Summer School Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Enabling Additional Parallelism in Asynchronous JavaScript Applications Enabling Additional Parallelism in Asynchronous JavaScript Applications Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States Session Chair of Session 22 (time band 2) Bugs and Analysis 1 (part of ISSTA Technical Papers) QFuzz: Quantitative Fuzzing for Side Channels QFuzz: Quantitative Fuzzing for Side Channels
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Session Chair of Types (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Shukun TokasTokas, Shukun SINTEF Digital, Oslo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Anish TondwalkarTondwalkar, Anish University of California, San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Paolo TonellaTonella, Paolo USI LuganoSwitzerland PC Member in Program Committee for ISSTA 2021 DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Martin Toldam TorpTorp, Martin Toldam Aarhus UniversityDenmark Modular Call Graph Construction for Security Scanning of Node.js Applications
Gianluca TortaTorta, Gianluca Towards Aggregate Monitoring of Spatio-temporal Properties RM for Users’ Safety and Security in the Built Environment
Omer TrippTripp, Omer Google Inc.United States Sponsorship Co-Chair in Organizing Committee for ECOOP and ISSTA 2021
Omer TrippTripp, Omer AmazonUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2021 Sponsorship Co-Chair in Organizing Comittee for ISSTA 2021 PC Member in Program Committee for ISSTA 2021 Session Chair of Potpourri (time band 1) (part of ECOOP Technical Papers)
Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Session Chair of Session 24 (time band 2) Android and Web Application Testing (part of ISSTA Technical Papers)
Omer TrippTripp, Omer AmazonUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns PC Member in Program Committee within the ECOOP Technical Papers-track
U Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Reconstructing Z3 Proofs in KeY: There and Back Again Committee Member in Program Committee within the FTfJP-track
Ganesha UpadhyayaUpadhyaya, Ganesha Harmony.oneUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
V Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers Scope States
Franck van Breugelvan Breugel, Franck York University, CanadaCanada Probabilistic Model Checking of Randomized Java Code
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Aarhus University in Programming Committee within the SPIN-track
Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA University of Twente in Programming Committee within the SPIN-track
Moshe VardiVardi, Moshe The Rise and Fall of Linear Temporal Logic
Mark VellaVella, Mark Runtime Verification for Trustworthy Secure Shell Deployment
Alessandro VerriVerri, Alessandro Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Eelco VisserVisser, Eelco Delft University of Technology Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Session Chair of Modular Programming / Types (time band 3) (part of ECOOP Technical Papers) Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers Scope States Specification and Implementation of Type Systems PC Member in Program Committee within the ECOOP Technical Papers-track
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts) Symbolic Execution
Jan VitekVitek, Jan Northeastern University / Czech Technical UniversityCzechia Rebase Chair in Organizing Committee for ECOOP and ISSTA 2021 Non-Intrusive Migration from Lazy to Eager Evaluation The Strange and Wondrous Life of Functions in Ř CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories ECOOP 2022 Preview Organizer in REBASE within the REBASE-track
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael Technion—Israel Institute of Technology in Programming Committee within the SPIN-track
Sasha VolokhVolokh, Sasha University of Southern CaliforniaUnited States SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Caleb VossVoss, Caleb Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming Linear Promises: Towards Safer Concurrent Programming
W Ben WangWang, Ben Hohai University AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
Chong WangWang, Chong Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Daiwei WangWang, Daiwei Nanjing University TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Ji WangWang, Ji National University of Defense TechnologyChina Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution
Jiang WangWang, Jiang HuaweiChina Predoo: Precision Testing of Deep Learning Operators
Jingbo WangWang, Jingbo University of Southern California Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jingyi WangWang, Jingyi Zhejiang UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Jun WangWang, Jun Post LuxembourgLuxembourg Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper)
Ping WangWang, Ping Peking UniversityChina Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Shuai WangWang, Shuai Hong Kong University of Science and Technology Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Teng WangWang, Teng National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Wenyu WangWang, Wenyu University of Illinois at Urbana-ChampaignUnited States An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Xin WangWang, Xin Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Boosting Symbolic Execution via Constraint Solving Time Prediction
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Hanlin WeiWei, Hanlin The University of Queensland MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Session Chair of Session 20 (time band 1) Analysis (part of ISSTA Technical Papers) The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Pascal WeisenburgerWeisenburger, Pascal TU DarmstadtGermany Multiparty Languages: the Choreographic and Multitier Cases
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Committee Member in Program Committee within the IWACO-track
Georg WeissenbacherWeissenbacher, Georg TU WienAustria TU Wien in Programming Committee within the SPIN-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom C4: the C Compiler Concurrency Checker PC Member in Program Committee within the ECOOP Technical Papers-track
Maik WiesnerWiesner, Maik TU DarmstadtGermany Verifying Pipeline Implementations in OpenMP
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Session Chair of Session 1 (part of SPIN) Eindhoven University of Technology in Programming Committee within the SPIN-track
Maeve WildesWildes, Maeve McGill UniversityCanada Probabilistic Model Checking of Randomized Java Code
Matt WindsorWindsor, Matt University of York C4: the C Compiler Concurrency Checker
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ellen WittingenWittingen, Ellen University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
John WrennWrenn, John Brown UniversityUnited States Students can't test. Or can they?
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden Session Chair of Keynote - Dahl-Nygaard Junior Prize (time band 3) (part of ECOOP Keynotes)
Dinghao WuWu, Dinghao Pennsylvania State UniversityUnited States Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Rongxin WuWu, Rongxin Xiamen UniversityChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Yueming WuWu, Yueming Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
X Liao XiangkeXiangke, Liao National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States PC Member in Program Committee for ISSTA 2021 Session Chair of Session 1 (time band 1) Web Applications (part of ISSTA Technical Papers) WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Tao XieXie, Tao Peking UniversityChina Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 2 An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools Understanding and Finding System Setting-Related Defects in Android Apps Understanding and Finding System Setting-Related Defects in Android Apps
Xiaofei XieXie, Xiaofei Kyushu UniversityJapan Session Chair of Main Session (part of AISTA) Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track Co-chair in Organizing Committee within the AISTA-track
Weitian XingXing, Weitian University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Chuangjie XuXu, Chuangjie fortiss GmbHGermany A Generic Type System for Featherweight Java
Erci XuXu, Erci National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Hui XuXu, Hui Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Boosting Symbolic Execution via Constraint Solving Time Prediction
Jingwei XuXu, Jingwei Peking UniversityChina WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Rui XuXu, Rui Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Tianyin XuXu, Tianyin University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing
Tongtong XuXu, Tongtong Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Zhenyang XuXu, Zhenyang University of WaterlooCanada Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Jingling XueXue, Jingling UNSWAustralia Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Lei XueXue, Lei Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Mingqi XueXue, Mingqi A Dependently Typed Calculus with Polymorphic Subtyping
Yinxing XueXue, Yinxing University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Y Junqi YanYan, Junqi Nanjing University of Aeronautics and AstronauticsChina Runtime Detection of Memory Errors with Smart Status Runtime Detection of Memory Errors with Smart Status
Luyi YanYan, Luyi Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yuxiao YanYan, Yuxiao Xi'an Jiaotong University; Hong Kong Polytechnic UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sen YangYang, Sen Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Wei YangYang, Wei University of Texas at DallasUnited States HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Yiwei YangYang, Yiwei ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Ziyue YangYang, Ziyue Microsoft ResearchChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Peisen YaoYao, Peisen Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Tuba YavuzYavuz, Tuba University of FloridaUnited States PC Member in Program Committee for ISSTA 2021
Dan YeYe, Dan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Wenjia YeYe, Wenjia The University of Hong Kong Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing
Yanfang YeYe, Yanfang Case Western Reserve UniversityUnited States WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Zijing YinYin, Zijing Tsinghua UniversityChina Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Wei YouYou, Wei Renmin University of ChinaChina PC Member in Program Committee for ISSTA 2021
Tingting YuYu, Tingting Institute of software, Chinese academy of sciencesChina Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Tingting YuYu, Tingting University of KentuckyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Min YuanYuan, Min WeBankChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Ming YuanYuan, Ming Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Model-Based Testing of Networked Applications Model-Based Testing of Networked Applications
Andreas ZellerZeller, Andreas CISPAGermany Summer School Co-Chair in Organizing Committee for ECOOP and ISSTA 2021 Summer School Co-Chair in Organizing Committee for ECOOP 2021 Summer School Co-Chair in Organizing Comittee for ISSTA 2021 Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Session 1 (part of REBASE) ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track
Olivier ZendraZendra, Olivier Committee Member in Program Committee within the ICOOOLPS-track
Xia ZengZeng, Xia TencentChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Zhengran ZengZeng, Zhengran Southern University of Science and TechnologyChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Chao ZhangZhang, Chao Tsinghua UniversityChina iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Dongmei ZhangZhang, Dongmei Microsoft ResearchChina ISSTA 30th Panel on the Past and Future of Software Testing and Analysis (Panel 2) Semantic Table Structure Identification in Spreadsheets
Guofeng ZhangZhang, Guofeng Hunan UniversityChina Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization
Guoqiang ZhangZhang, Guoqiang North Carolina State University Best-Effort Lazy Evaluation for Python Software Built On APIs
Hailong ZhangZhang, Hailong Fordham University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Haotian ZhangZhang, Haotian KwaiChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Hongyu ZhangZhang, Hongyu University of NewcastleAustralia Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Lingfeng ZhangZhang, Lingfeng East China Normal UniversityChina Efficient White-Box Fairness Testing through Gradient Search Efficient White-box Fairness Testing through Gradient Search
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States PC Member in Program Committee for ISSTA 2021
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Session Chair of Potpourri (time band 2) (part of ECOOP Technical Papers) Session Chair of Session 6 (time band 2) Fuzzing (part of ISSTA Technical Papers)
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Test-Case Prioritization for Configuration Testing Test-Case Prioritization for Configuration Testing Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We? PC Member in Program Committee within the ECOOP Technical Papers-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Lu ZhangZhang, Lu Peking UniversityChina Session Chair of Multiparty Programming and Session Types (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Min ZhangZhang, Min East China Normal UniversityChina Efficient White-Box Fairness Testing through Gradient Search Efficient White-box Fairness Testing through Gradient Search
Quan ZhangZhang, Quan Tsinghua UniversityChina AdvDoor: Adversarial Backdoor Attack of Deep Learning System AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Tian ZhangZhang, Tian Nanjing UniversityChina GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Weiming ZhangZhang, Weiming University of Science and Technology of ChinaChina A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Weixin ZhangZhang, Weixin University of Bristol, UK Compositional Programming Compositional Programming
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States ISSTA PC Chair in Organizing Committee for ECOOP and ISSTA 2021 PC Chair in Organizing Comittee for ISSTA 2021 PC Chair in Program Committee for ISSTA 2021 Session Chair of ISSTA Impact Paper Award Talk (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Session Chair of Celebrating 30 Editions of ISSTA (part of ISSTA Keynotes) Opening Session Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Xufan ZhangZhang, Xufan Nanjing UniversityChina Predoo: Precision Testing of Deep Learning Operators
Yakun ZhangZhang, Yakun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Semantic Table Structure Identification in Spreadsheets
Yanjun ZhangZhang, Yanjun University of QueenslandAustralia Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
Ying ZhangZhang, Ying Peking UniversityChina WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Change WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes
Yuanliang ZhangZhang, Yuanliang National University of Defense TechnologyChina Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Yueling ZhangZhang, Yueling Singapore Management UniversitySingapore Efficient White-Box Fairness Testing through Gradient Search Efficient White-box Fairness Testing through Gradient Search
Yufeng ZhangZhang, Yufeng Hunan UniversityChina Grammar-Agnostic Symbolic Execution by Token Symbolization Synthesize Solving Strategy for Symbolic Execution Grammar-Agnostic Symbolic Execution by Token Symbolization Type and Interval aware Array Constraint Solving for Symbolic Execution Type and Interval Aware Array Constraint Solving for Symbolic Execution
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Deep Just-in-Time Defect Prediction: How Far Are We? Deep Just-in-Time Defect Prediction: How Far Are We?
Ziqi ZhangZhang, Ziqi Peking UniversityChina ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection
Bodong ZhaoZhao, Bodong Tsinghua UniversityChina RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina Attack as Defense: Characterizing Adversarial Examples using Robustness
Changyou ZhengZheng, Changyou Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Dan ZhengZheng, Dan Purdue University, Google Brain Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
Yajin ZhouZhou, Yajin Zhejiang UniversityChina Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
Yangfan ZhouZhou, Yangfan Fudan UniversityChina Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) Boosting Symbolic Execution via Constraint Solving Time Prediction
Tahereh ZohdinasabZohdinasab, Tahereh USI LuganoSwitzerland DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Deqing ZouZou, Deqing Huazhong University of Science and TechnologyChina HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Elena ZuccaZucca, Elena University of Genova Lambda-based object-oriented programming PC Member in Program Committee within the ECOOP Technical Papers-track Committee Member in Program Committee within the FTfJP-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms

Results (725)

Tracks

Co-hosted Conferences

Workshops