ECOOP and ISSTA 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1168)

A Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Joshua AckermanAckerman, Joshua Dartmouth College, USA Large Language Models for Fuzzing Parsers
Rifqi Adlan ApriyadiAdlan Apriyadi, Rifqi Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de TelecomunicaçõesPortugal Toward Tool-Independent Summaries for Symbolic Execution Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA PC Member in Program Committee within the ECOOP Research Papers-track
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICET, Argentina EvoSpex: A Search-based Tool for Postcondition Inference PC Member in Technical Papers within the ISSTA Technical Papers-track
Noubar AkopianAkopian, Noubar Ruhr University BochumGermany RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Michel AlbonicoAlbonico, Michel Federal University of Technology - Paraná (UTFPR)Brazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Planning your dissertation topic Fairness Testing For Recommender Systems Quantitative Robustness Analysis of Neural Networks Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Karim AliAli, Karim University of Alberta Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Kevin AllixAllix, Kevin CentraleSupélecFrance Guided Retraining to Enhance the Detection of Difficult Android Malware
Eman Abdullah AlOmarAlOmar, Eman Abdullah Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Juan C. AlonsoAlonso, Juan C. University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
Ziyad AlsaeedAlsaeed, Ziyad Qassim UniversitySaudi Arabia Finding Short Slow Inputs Faster with Grammar-Based Search TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Nada AminAmin, Nada Harvard UniversityUnited States The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Idan AmitAmit, Idan The Hebrew University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan Polymorphism for Programming With Versions
Tomoyuki AotaniAotani, Tomoyuki Sanyo-Onoda City UniversityJapan Committee Member in Program Committee within the COP-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Iván Arcuschin MorenoArcuschin Moreno, Iván University of Buenos Aires, ArgentinaArgentina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Maite ArratibelArratibel, Maite OronaSpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Jamshed AshurovAshurov, Jamshed UC San Diego Characterizing WebAssembly Performance in the Era of Serverless Computing
Syeda Mahnur AsifAsif, Syeda Mahnur CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
Aslan AskarovAskarov, Aslan Aarhus University External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Isabella AttisanoAttisano, Isabella Villanova UniversityUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Session Chair of ECOOP 4: Types (part of ECOOP Research Papers) Combining Static and Runtime Verification with AC and Coq Runtime Monitoring of Human Behaviour with Aggregate Computing on Android Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Marco AutiliAutili, Marco University of L'Aquila, ItalyItaly External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Petr BabkinBabkin, Petr J.P. Morgan AI ResearchUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Riyadh BaghdadiBaghdadi, Riyadh NYU Abu DhabiUnited Arab Emirates PC Member in Program Committee within the ECOOP Research Papers-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia Security Checking of Trigger-Action-Programming Smart Home Integrations Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Daniel BaierBaier, Daniel Ludwig Maximilian University of MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Davide BalzarottiBalzarotti, Davide EURECOM CrabSandwich: Fuzzing Rust with Rust
Sebastian BanescuBanescu, Sebastian TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Abdul Ali BangashBangash, Abdul Ali University of Alberta, CanadaCanada Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023
Shenglin BaoBao, Shenglin Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
talank baralbaral, talank Optimizing Continuous Development and Predicting Test Information in Software Development
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance PC Member in Technical Papers within the ISSTA Technical Papers-track
Earl T. BarrBarr, Earl T. University College London; Google DeepMindUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance CodeGrid: A Grid Representation of Code PC Member in Technical Papers within the ISSTA Technical Papers-track
Nils BarsBars, Nils CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Adam D. BarwellBarwell, Adam D. University of St Andrews and University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Mark BattyBatty, Mark University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 Session Chair of ISSTA 2: Fuzzing 1 (part of ISSTA Technical Papers) Session Chair of Tool Demo Presentations (part of ISSTA Tool Demonstrations) Session Chair of Tool Demonstrations (part of ISSTA Tool Demonstrations) PC Member in Technical Papers within the ISSTA Technical Papers-track Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Bachir BendrissouBendrissou, Bachir Imperial College LondonUnited Kingdom Grammar Mutation for Testing Input Parsers
Alexandre BergelBergel, Alexandre University of ChileChile PC Member in Technical Papers within the ISSTA Technical Papers-track
Bernhard BergerBerger, Bernhard Hamburg University of TechnologyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Emery BergerBerger, Emery How to conduct impactful research Quantitative Symbolic Similarity Analysis Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Type Automata SlipCover: Near Zero-Overhead Code Coverage for Python
Thorsten BergerBerger, Thorsten Ruhr University Bochum RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Lukas BernhardBernhard, Lukas CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Sahil BhatiaBhatia, Sahil University of California, Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Monitoring for resource-awareness Multi-Graded Featherweight Java
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg PC Member in Technical Papers within the ISSTA Technical Papers-track
Annette BieniusaBieniusa, Annette Kaiserslautern LoRe: A Programming Model for Verifiably Safe Local-First Software
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the COP-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Andrew P. BlackBlack, Andrew P. AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Aymeric BlotBlot, Aymeric Université du Littoral Côte d'OpaleFrance Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Viviana BonoBono, Viviana University of TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
James BornholtBornholt, James University of Texas at AustinUnited States Synthesis-Aided Crash Consistency for Storage Systems
Henrique Botelho GuerraBotelho Guerra, Henrique INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Valentin BourcierBourcier, Valentin INRIAFrance Debugging Video Games: A Systematic Mapping
Katharina BrandlBrandl, Katharina JGU MainzGermany Modular Abstract Definitional Interpreters for WebAssembly
Oliver BračevacBračevac, Oliver Galois, Inc.United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
David BremnerBremner, David University of New Brunswick Towards Reliable Memory Management for Python Native Extensions
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
Dan BruceBruce, Dan University College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Lei BuBu, Lei Nanjing UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing Security Checking of Trigger-Action-Programming Smart Home Integrations
Richard BubelBubel, Richard Technische Universität DarmstadtGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yegor BugayenkoBugayenko, Yegor HuaweiRussia An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Optimizing Continuous Development and Predicting Test Information in Software Development Understanding and Improving the Adoption of Large Language Models Automatic Testing and Benchmarking for Configurable Static Analysis Tools Sparse Symbolic Execution Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
Luca BurattiBuratti, Luca IBM ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom Sparse Symbolic Execution KDAlloc: The KLEE Deterministic Allocator
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation A Direct-Style Effect Notation for Sequential and Parallel Programs
Marcel BöhmeBöhme, Marcel MPI-SP; Monash UniversityGermany Session Chair of ISSTA 8: Fuzzing 2 (part of ISSTA Technical Papers) Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Julian BüningBüning, Julian RWTH Aachen UniversityGermany KDAlloc: The KLEE Deterministic Allocator
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of ISSTA 9: Testing 2 (part of ISSTA Technical Papers) Three Colours of Fuzzing: Reflections and Open Challenges Grammar Mutation for Testing Input Parsers KDAlloc: The KLEE Deterministic Allocator GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track
Xiangrui CaiCai, Xiangrui Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Yan CaiCai, Yan Institute of Software at Chinese Academy of SciencesChina Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Dylan CallaghanCallaghan, Dylan Stellenbosch UniversitySouth Africa Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
José CamposCampos, José University of Porto, PortugalPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Huayang CaoCao, Huayang National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Sergio CardenasCardenas, Sergio Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate Center Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Dynamically Updatable Multiparty Session Protocols
Mariano CeccatoCeccato, Mariano University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Semantics for Noninterference with Interaction Trees
Sang Kil ChaCha, Sang Kil KAIST, South KoreaSouth Korea Committee Member in Program Committee within the FUZZING-track
Tej ChajedChajed, Tej VMware ResearchUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Satish ChandraChandra, Satish Meta PlatformsUnited States Machine Learning for Software Engineering Machine Learning for Software Engineering
Mahin ChandramohanChandramohan, Mahin Oracle Labs On Leveraging Tests to Infer Nullable Annotations
Oliver ChangChang, Oliver Google Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Huina ChaoChao, Huina Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Avik ChaudhuriChaudhuri, Avik Facebook, USA PC Member in Program Committee within the FTfJP-track
An Ran ChenChen, An Ran Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Chang ChenChen, Chang Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Chu ChenChen, Chu Qufu Normal UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Chunyang ChenChen, Chunyang Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Guoqiang ChenChen, Guoqiang Donghwan Shin Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Huaming ChenChen, Huaming The University of SydneyAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jiachi ChenChen, Jiachi Sun Yat-sen UniversityChina Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Definition and Detection of Defects in NFT Smart Contracts
Jianjun ChenChen, Jianjun Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Junjie ChenChen, Junjie Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Vectorizing Program Ingredients for Better JVM Testing Silent Compiler Bug De-duplication via Three-Dimensional Analysis Fuzzing Deep Learning Compilers with HirGen PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Kai ChenChen, Kai Institute of Information Engineering at Chinese Academy of SciencesChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Kaixiang ChenChen, Kaixiang Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Lin ChenChen, Lin Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Mengjie ChenChen, Mengjie Mask NetworkChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Rui ChenChen, Rui Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Sen ChenChen, Sen Tianjin UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Simin ChenChen, Simin University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Xiangqun ChenChen, Xiangqun Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiao ChenChen, Xiao Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yixiang ChenChen, Yixiang East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Yufan ChenChen, Yufan Xidian UniversityChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Yufei ChenChen, Yufei Xi’an Jiaotong University; City University of Hong KongChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Yufeng ChenChen, Yufeng Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yuting ChenChen, Yuting Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Zhenpeng ChenChen, Zhenpeng University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Zhuo ChenChen, Zhuo Zhejiang University; Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Kai ChengCheng, Kai Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences; Sangfor TechnologiesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Mingfei ChengCheng, Mingfei Singapore Management UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Siyuan ChengCheng, Siyuan Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael ChesserChesser, Michael University of AdelaideAustralia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Fuzzing Deep Learning Compilers with HirGen ConfFix: Repairing Configuration Compatibility Issues in Android Apps ωTest: WebView-Oriented Testing for Android Applications PC Member in Technical Papers within the ISSTA Technical Papers-track
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of ECOOP 6: Design (part of ECOOP Research Papers) Committee Member in Program Committee within the ICOOOLPS-track PC Member in Program Committee within the ECOOP Research Papers-track
Mingun ChoCho, Mingun University of California at DavisUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Wonkeun ChoiChoi, Wonkeun KAISTSouth Korea A Bayesian Framework for Automated Debugging
Chun Yong ChongChong, Chun Yong Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yiu Wai ChowChow, Yiu Wai University of StuttgartGermany Beware of the Unexpected: Bimodal Taint Analysis
Maria ChristakisChristakis, Maria TU WienAustria Dependency-Aware Metamorphic Testing of Datalog Engines Green Fuzzer Benchmarking
Benjamin ChungChung, Benjamin Northeastern University A Retrospective on Julia
David ClarkClark, David University College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Myra CohenCohen, Myra Iowa State UniversityUnited States Session Chair of ISSTA Online 1: SE and Deep Learning (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
Simon CookseyCooksey, Simon University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Emilio CoppaCoppa, Emilio Sapienza University of Rome Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Davide CorradiniCorradini, Davide University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Lázaro CostaCosta, Lázaro Faculty of Engineering of the University of PortoPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Eduard Costel PinconschiCostel Pinconschi, Eduard Instituto Superior Técnico, University of Lisboa & INESC-IDPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Steven CostiouCostiou, Steven INRIA LilleFrance Debugging Video Games: A Systematic Mapping Committee Member in Program Committee within the DEBT-track
Andrew CraikCraik, Andrew ChronosoftAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Caroline CronjägerCronjäger, Caroline Ruhr-Universität Bochum Exact Separation Logic
Addison CrumpCrump, Addison CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Jiancong CuiCui, Jiancong University of Chinese Academy of Sciences; Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Lei CuiCui, Lei Zhongguancun LaboratoryChina API2Vec: Learning Representations of API Sequences for Malware Detection
Siwei CuiCui, Siwei Texas A & M UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
George CybenkoCybenko, George Dartmouth College, USA Large Language Models for Fuzzing Parsers
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States Session Chair of ISSTA 11: Testing 3 (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Arnaud Daby-SeesaramDaby-Seesaram, Arnaud ENS Paris Saclay Modular Verification of State-Based CRDTs in Separation Logic
Francesco DagninoDagnino, Francesco University of GenoaItaly Multi-Graded Featherweight Java
Jinglin DaiDai, Jinglin Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Stream Runtime Verification and Aggregate Programming
Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Nadia DaoudiDaoudi, Nadia University of LuxembourgLuxembourg Guided Retraining to Enhance the Detection of Difficult Android Malware
Alan DarmasaputraDarmasaputra, Alan Actyx AG Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Istvan DavidDavid, Istvan McMaster UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jordan DavisDavis, Jordan Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Wiring circuits is easy as {0, 1, ω}, or is it…
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium VeriFx: Correct Replicated Data Types for the Masses
Haotian DengDeng, Haotian Purdue University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shuiguang DengDeng, Shuiguang Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Yinlin DengDeng, Yinlin University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Gradual Guarantee for FJ with lambda-expressions
Elisabetta Di NittoDi Nitto, Elisabetta Politecnico di MilanoItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Peng DiDi, Peng Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand On Leveraging Tests to Infer Nullable Annotations Understanding Breaking Changes in the Wild
Laura DillonDillon, Laura Michigan State University Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Yangruibo DingDing, Yangruibo Columbia UniversityUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Yifeng DingDing, Yifeng University of Illinois at Urbana-ChampaignUnited States CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Zhenquan DingDing, Zhenquan Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mike DoddsDodds, Mike Galois, Inc. PC Member in Program Committee within the FTfJP-track
Swaroopa DolaDola, Swaroopa University of Virginia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Julian DolbyDolby, Julian IBM ResearchUnited States Session Chair of ISSTA Online 2: Static Analysis (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Grammar Mutation for Testing Input Parsers RustSmith: Random Differential Compiler Testing for Rust GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track PC Member in Program Committee within the ECOOP Research Papers-track
Xuewen DongDong, Xuewen Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yihong DongDong, Yihong Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Mara DowningDowning, Mara University of California, Santa Barbara Quantitative Robustness Analysis of Neural Networks
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Session Chair of ECOOP 1: Semantics (part of ECOOP Research Papers) Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities
Hang DuDu, Hang University of California at IrvineUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Lun DuDu, Lun Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Zhenhua DuanDuan, Zhenhua Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Committee Member in Program Committee within the ICOOOLPS-track
Stefania DumbravaDumbrava, Stefania ENSIIE & Institut Polytechnique de Paris Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
E Daniel EbertEbert, Daniel Robert BoschGermany Fuzzing Embedded Systems using Debug Interfaces
Maria EichlsederEichlseder, Maria TU Graz External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
William EiersEiers, William University of California at Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud
Max EiseleEisele, Max Robert Bosch; Saarland UniversityGermany Fuzzing Embedded Systems using Debug Interfaces
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Dhia Elhaq RzigElhaq Rzig, Dhia University of Michigan - DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Daniel ElsnerElsner, Daniel TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Organizing Committee for ECOOP 2023 Modular Abstract Definitional Interpreters for WebAssembly Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Sponsors Co-Chair in Organizing Committee for ISSTA 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Sebastian ErtelErtel, Sebastian Composable Operating Systems Group, Barkhausen Institute, Dresden ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Anne EtienEtien, Anne Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStALFrance Committee Member in Program Committee within the DEBT-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Session Chair of ISSTA 6: Testing 1 (part of ISSTA Technical Papers) Session Chair of ECOOP 5: Synthesis (part of ECOOP Research Papers) GrayC: Greybox Fuzzing of Compilers and Analysers for C Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Naser Ezzati JivanEzzati Jivan, Naser Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Saad EzziniEzzini, Saad Lancaster UniversityUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Andong FanFan, Andong The Hong Kong University of Science and TechnologyChina super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Gang FanFan, Gang Ant Group Synthesizing Conjunctive Queries for Code Search
Lingling FanFan, Lingling Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Xingyu FanFan, Xingyu Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Zhiyu FanFan, Zhiyu National University of SingaporeSingapore Concept-Based Automated Grading of CS-1 Programming Assignments
Chunrong FangFang, Chunrong Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Pengcheng FangFang, Pengcheng Case Western Reserve UniversityUnited States iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Ruili FangFang, Ruili University of Georgia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yilin FangFang, Yilin Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Yongsheng FangFang, Yongsheng Beijing University of Posts and TelecommunicationsChina CydiOS: A Model-Based Testing Framework for iOS Apps
Yuzhou FangFang, Yuzhou Hong Kong University of Science and TechnologyChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track PC Member in Program Committee within the VORTEX-track
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Object Synthesis for Automated Test Generation
Ruitao FengFeng, Ruitao UNSWAustralia A Comprehensive Study on Quality Assurance Tools for Java
Shiwei FengFeng, Shiwei Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Yang FengFeng, Yang Nanjing UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Angelo FerrandoFerrando, Angelo RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly Runtime verification of hash code in mutable classes PC Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Fabiano FerrariFerrari, Fabiano Federal University of São CarlosBrazil PC Member in Technical Papers within the ISSTA Technical Papers-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal VeriFx: Correct Replicated Data Types for the Masses
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Andrea FioraldiFioraldi, Andrea EURECOM CrabSandwich: Fuzzing Rust with Rust
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction PC Member in Technical Papers within the ISSTA Technical Papers-track
Mário FloridoFlorido, Mário Universidade do PortoPortugal Gradual Guarantee for FJ with lambda-expressions
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael FosterFoster, Michael University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Nate FosterFoster, Nate Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Toward Tool-Independent Summaries for Symbolic Execution MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
Gordon FraserFraser, Gordon University of Passau Program Chair in Organizing Committee for ISSTA 2023 PC Chair in Technical Papers within the ISSTA Technical Papers-track
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic Organization Co-chair in Organizing Committee for ECOOP 2023 General Co-Chair in Organizing Committee for ECOOP 2023
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires EvoSpex: A Search-based Tool for Postcondition Inference
Ruifeng FuFu, Ruifeng Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Davide FucciFucci, Davide Blekinge Institute of TechnologySweden Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of TechnologyJapan Points-to Analysis for Context-Oriented JavaScript Programs
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States SymRustC: A Hybrid Fuzzer for Rust
Juan Pablo GaleottiGaleotti, Juan Pablo University of Buenos AiresArgentina PC Member in Technical Papers within the ISSTA Technical Papers-track
Alessio GambiGambi, Alessio IMC University of Applied Sciences KremsAustria Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Tianchang GaoGao, Tianchang Tianjin UniversityChina Vectorizing Program Ingredients for Better JVM Testing
Wentao GaoGao, Wentao Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Xiang GaoGao, Xiang Beihang UniversityChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Xuanqi GaoGao, Xuanqi Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Ya GaoGao, Ya Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Yaoqing GaoGao, Yaoqing Huawei Toronto Research CenterCanada Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian Exact Separation Logic
Andrea GattiGatti, Andrea University of Genoa, Italy RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Carlos Gavidia-CalderonGavidia-Calderon, Carlos The Alan Turing InstituteUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Gregory GayGay, Gregory Chalmers \| University of GothenburgSweden Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Golnaz GharachorluGharachorlu, Golnaz Simon Fraser UniversityCanada Type Batched Program Reduction
Lorenzo GheriGheri, Lorenzo University of OxfordUnited Kingdom External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Multi-Graded Featherweight Java
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa On using VeriFast, VerCors, Plural, and KeY to check object usage
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Yaroslav GolubevGolubev, Yaroslav JetBrains ResearchSerbia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of ECOOP 3: Distribution (part of ECOOP Research Papers) Demo: Debugging Constraint Devices with EDWARD Welcome Discussion Nested Pure Operation-Based CRDTs VeriFx: Correct Replicated Data Types for the Masses Co-chair in Organizing Committee within the DEBT-track
Rahul GopinathGopinath, Rahul University of SydneyAustralia Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Léo GourdinGourdin, Léo Lazy Code Transformations in a Formally Verified Compiler
Eva GraversenGraversen, Eva University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Session Chair of ISSTA Online 6: Smart Contracts and Automotive (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
John GrundyGrundy, John Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Jiazhen GuGu, Jiazhen Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Taotao GuGu, Taotao Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Hao GuanGuan, Hao The University of Queensland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Le GuanGuan, Le University of GeorgiaUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Do Machine Learning Models Produce TypeScript Types that Type Check?
Yujiang GuiGui, Yujiang UNSWAustralia Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Anna GuoGuo, Anna University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests
Huizhong GuoGuo, Huizhong Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Shengjian (Daniel) GuoGuo, Shengjian (Daniel) Baidu SecurityUnited States Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiaochen GuoGuo, Xiaochen Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Yao GuoGuo, Yao Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yuejun GUoGUo, Yuejun Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium Committee Member in Program Committee within the DEBT-track
Bhanukiran GurijalaGurijala, Bhanukiran The University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the COP-track
H Julian HaasHaas, Julian Technische Universität Darmstadt LoRe: A Programming Model for Verifiably Safe Local-First Software
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Introduction and welcome to the Doctoral Symposium Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning PC Member in Technical Papers within the ISSTA Technical Papers-track Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
William HallahanHallahan, William Binghamton Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontréalCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Christian HammerHammer, Christian University of PassauGermany Session Chair of ISSTA 4: Static Analysis (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
Rui HanHan, Rui Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Seungheon HanHan, Seungheon Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
Shi HanHan, Shi Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Yudong HanHan, Yudong Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Nils HansenHansen, Nils JGU Mainz Modular Abstract Definitional Interpreters for WebAssembly
Sicheng HaoHao, Sicheng Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Zhiyu HaoHao, Zhiyu Zhongguancun LaboratoryChina API2Vec: Learning Representations of API Sequences for Malware Detection
Mark HarmanHarman, Mark University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Sarah HarrisHarris, Sarah University of Kent Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Foyzul HassanHassan, Foyzul University of Michigan at DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Daniel HauresHaures, Daniel University of Turin, Italy Combining Static and Runtime Verification with AC and Coq
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
Dongjie HeHe, Dongjie UNSWAustralia Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Jifeng HeHe, Jifeng East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Ningyu HeHe, Ningyu Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Paul HeHe, Paul University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Pinjia HeHe, Pinjia Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting Validating Multimedia Content Moderation Software via Semantic Fusion
Shilin HeHe, Shilin Microsoft Researchn.n. ROME: Testing Image Captioning Systems via Recursive Object Melting
Yichen HeHe, Yichen Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Yiling HeHe, Yiling Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yubo HeHe, Yubo Information Engineering UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Simon HennigerHenniger, Simon Technical University of Munich The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Paula HerberHerber, Paula University of Munster, GermanyGermany PC Member in Program Committee within the FTfJP-track
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Program Committee within the FUZZING-track Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track
Tobias HeßHeß, Tobias University of UlmGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Carl HildebrandtHildebrandt, Carl University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Andrew K. HirschHirsch, Andrew K. University at BuffaloUnited States Semantics for Noninterference with Interaction Trees
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the DEBT-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Renáta HodovánHodován, Renáta University of Szeged, HungaryHungary Committee Member in Program Committee within the FUZZING-track
Thorsten HolzHolz, Thorsten CISPA Helmholtz Center for Information SecurityGermany CrabSandwich: Fuzzing Rust with Rust Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Tony HoskingHosking, Tony Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Ping HouHou, Ping University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Chunming HuHu, Chunming Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jiajun HuHu, Jiajun Hong Kong University of Science and TechnologyChina ωTest: WebView-Oriented Testing for Android Applications
Qiang HuHu, Qiang University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tiancheng HuHu, Tiancheng Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Wenbo HuHu, Wenbo Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yang HuHu, Yang University of Texas at AustinUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yubin HuHu, Yubin Beijing University of Posts and TelecommunicationsChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yubo HuHu, Yubo Xidian UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yutao HuHu, Yutao Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Yuxi HuHu, Yuxi Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Yuxin HuHu, Yuxin Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Zehong HuHu, Zehong Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Ziyue HuaHua, Ziyue Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Gang HuangHuang, Gang Peking University; National Key Laboratory of Data Space Technology and SystemChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Huaxun HuangHuang, Huaxun Hong Kong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Jingyuan HuangHuang, Jingyuan Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Minhuan HuangHuang, Minhuan National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Pei HuangHuang, Pei Stanford UniversityUnited States Improving Bit-Blasting for Nonlinear Integer Constraints
Sunzhou HuangHuang, Sunzhou University of Texas at San Antonio PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Xiang HuangHuang, Xiang Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Xiaotong HuangHuang, Xiaotong Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zunchen HuangHuang, Zunchen University of Southern California Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei HuoHuo, Wei Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Christopher HuthHuth, Christopher Robert BoschGermany Fuzzing Embedded Systems using Debug Interfaces
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Maximilian Ignacio Willembrinck SantanderIgnacio Willembrinck Santander, Maximilian Committee Member in Program Committee within the DEBT-track
Nafees IqbalIqbal, Nafees University of Michigan at DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants PC Member in Technical Papers within the ISSTA Technical Papers-track
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Verifying C++ dynamic binding
Alex JafariJafari, Alex United States Sponsors Co-Chair in Organizing Committee for ISSTA 2023 General Co-Chair in Organizing Committee for ECOOP 2023 Organization Co-chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Dhanushka JayasuriyaJayasuriya, Dhanushka University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Rongrong JiJi, Rongrong Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Yuede JiJi, Yuede University of North TexasUnited States API2Vec: Learning Representations of API Sequences for Malware Detection
Zhenlan JiJi, Zhenlan The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Fuqi JiaJia, Fuqi Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Haoxiang JiaJia, Haoxiang Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Ling JiangJiang, Ling Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Nan JiangJiang, Nan Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yu JiangJiang, Yu Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yunsong JiangJiang, Yunsong Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Zigui JiangJiang, Zigui Sun Yat-sen UniversityChina DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Wenpin JiaoJiao, Wenpin Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Feiyang JinJin, Feiyang Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Xin JinJin, Xin The Ohio State UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhi JinJin, Zhi Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Organizing Committee for ECOOP 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
James JonesJones, James University of California at IrvineUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills PC Member in Technical Papers within the ISSTA Technical Papers-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the FTfJP-track
Eric JulJul, Eric University of OsloNorway Session Chair of ECOOP 2: Replication (part of ECOOP Research Papers) Keynote How to get your Ph.D. DONE! Co-chair in Organizing Committee within the ICOOOLPS-track
René JustJust, René University of WashingtonUnited States General Chair in Organizing Committee for ISSTA 2023 Organization Co-chair in Organizing Committee for ECOOP 2023
David JustoJusto, David Microsoft AzureUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
K Abdoul Kader KaboréKaboré, Abdoul Kader University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code
Severin KaciankaKacianka, Severin TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Gail KaiserKaiser, Gail Columbia UniversityUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Temporal Layers: Reactive Activation Scope of First-class Layer Instances Committee Member in Program Committee within the COP-track
Matteo KammKamm, Matteo ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning
Sungmin KangKang, Sungmin KAISTSouth Korea A Bayesian Framework for Automated Debugging
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Piyus KediaKedia, Piyus IIIT DelhiIndia CGuard: Scalable and Precise Object Bounds Protection for C
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany Modular Abstract Definitional Interpreters for WebAssembly External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Organizing Committee for ECOOP 2023 Session Chair of ISSTA 12: Web and Smart Contracts (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
David KellyKelly, David King’s College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Askar Yeltayuly KhamitKhamit, Askar Yeltayuly Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
M. Mahdi KhosraviKhosravi, M. Mahdi Middle East Technical UniversityTurkey Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Ellen KidaneKidane, Ellen University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Moonzoo KimKim, Moonzoo KAIST / VPlusLab Inc. South Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Myeongsoo KimKim, Myeongsoo Georgia Institute of TechnologyUnited States Enhancing REST API Testing with NLP Techniques
YoungJae KimKim, YoungJae Ulsan National Institute of Science and TechnologySouth Korea Automated Program Repair from Fuzzing Perspective
Jacques KleinKlein, Jacques University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Amy KoKo, Amy University of WashingtonUnited States Searching for Justice in Programming Language Design
Steve KoKo, Steve Simon Fraser University SymRustC: A Hybrid Fuzzer for Rust
Caleb KochKoch, Caleb Stanford Automata Learning with an Incomplete Teacher
Sumer KohliKohli, Sumer UC BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Kelvin Kai Wen KongKong, Kelvin Kai Wen Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Queping KongKong, Queping Sun Yat-sen UniversityChina DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
wei kongkong, wei Context-adaptive Automated Testing for Deep Learning Model
Martin KrulišKruliš, Martin Charles UniversityCzechia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Xiaohui KuangKuang, Xiaohui Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Christian KuessnerKuessner, Christian Technische Universität DarmstadtGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Roland KuhnKuhn, Roland Actyx AGGermany Behavioural Types for Local-First Software Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Udit Kumar AgarwalKumar Agarwal, Udit University of British ColumbiaCanada CGuard: Scalable and Precise Object Bounds Protection for C
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the COP-track
L Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Session Chair of ISSTA 10: Test Optimizations (part of ISSTA Technical Papers)
Wing LamLam, Wing George Mason UniversityUnited States Fairness Testing For Recommender Systems Quantitative Robustness Analysis of Neural Networks
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Wing LamLam, Wing George Mason UniversityUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track
Michele LanzaLanza, Michele Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Julia Kaiwen LauLau, Julia Kaiwen Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Demo: Debugging Constraint Devices with EDWARD Out-of-place Multiverse Debugging for Constraint Devices LATCH: Enabling Large-scale Tests on Constraint Systems
Isabella LaybournLaybourn, Isabella Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Organizing Committee within the FTfJP-track
Byoungyoung LeeLee, Byoungyoung Seoul National University, South Korea Committee Member in Program Committee within the FUZZING-track
Edward LeeLee, Edward University of WaterlooCanada Dependency-free Capture Tracking
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Points-to Analysis for Context-Oriented JavaScript Programs
Owolabi LegunsenLegunsen, Owolabi Cornell University Optimizing Continuous Development and Predicting Test Information in Software Development Understanding and Improving the Adoption of Large Language Models
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Automatic Testing and Benchmarking for Configurable Static Analysis Tools Sparse Symbolic Execution Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniel LehmannLehmann, Daniel University of StuttgartGermany That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States State of state in Dafny
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Reese LevineLevine, Reese University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Dependency-free Capture Tracking Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Albert LiLi, Albert University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Ao LiLi, Ao Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Changwen LiLi, Changwen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Chao LiLi, Chao Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Chengpeng LiLi, Chengpeng University of Texas at AustinUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Ding LiLi, Ding Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Feng LiLi, Feng Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Ge LiLi, Ge Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Haonan LiLi, Haonan Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Hong LiLi, Hong Institute of Information Engineering at Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Hui LiLi, Hui Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Huizhong LiLi, Huizhong WeBankChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jianfeng LiLi, Jianfeng Xi’an Jiaotong UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Jiaqi LiLi, Jiaqi Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Jinfeng LiLi, Jinfeng Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Jinku LiLi, Jinku Xidian UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Kaixuan LiLi, Kaixuan East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Levi Taiji LiLi, Levi Taiji University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Li LiLi, Li Beihang UniversityChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Linlin LiLi, Linlin Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Linyu LiLi, Linyu Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Lun LiLi, Lun Institute of Information Engineering at Chinese Academy of SciencesChina API2Vec: Learning Representations of API Sequences for Malware Detection
Ningke LiLi, Ningke Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Shanshan LiLi, Shanshan National University of Defense TechnologyChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Siyuan LiLi, Siyuan LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
Suwan LiLi, Suwan Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Wenke LiLi, Wenke Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Xiang LiLi, Xiang Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Xuandong LiLi, Xuandong Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration Security Checking of Trigger-Action-Programming Smart Home Integrations
Yanhui LiLi, Yanhui Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Yannan LiLi, Yannan University of Southern CaliforniaUnited States Constraint Based Compiler Optimization for Energy Harvesting Applications Systematic Testing of the Data-Poisoning Robustness of KNN
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yeting LiLi, Yeting Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yue LiLi, Yue Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yuekang LiLi, Yuekang University of New South WalesAustralia ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Zhenhao LiLi, Zhenhao Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhoujun LiLi, Zhoujun Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Zongyang LiLi, Zongyang Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Guangtai LiangLiang, Guangtai Huawei Cloud Computing TechnologiesChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Lizhi LiaoLiao, Lizhi Concordia University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Xianhao LiaoLiao, Xianhao Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Zeqin LiaoLiao, Zeqin Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Sherlock A. LicorishLicorish, Sherlock A. University of OtagoNew Zealand PC Member in Technical Papers within the ISSTA Technical Papers-track
Mei Kuan LimLim, Mei Kuan Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Bin LinLin, Bin Radboud University On the Rise of Modern Software Documentation
Bo LinLin, Bo National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei LinLin, Wei Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Mario Linares-VásquezLinares-Vásquez, Mario Universidad de los AndesColombia PC Member in Technical Papers within the ISSTA Technical Papers-track
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Stephan LippLipp, Stephan TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Aishan LiuLiu, Aishan Beihang University; Institute of DataspaceChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Alex X. LiuLiu, Alex X. Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Cong LiuLiu, Cong University of California at RiversideUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Dongge LiuLiu, Dongge Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Han LiuLiu, Han East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Hao LiuLiu, Hao Xiamen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Jiangchao LiuLiu, Jiangchao Ant Group; ByteDanceChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Jie LiuLiu, Jie Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Jierui LiuLiu, Jierui Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Kaibo LiuLiu, Kaibo Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Kui LiuLiu, Kui HuaweiChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Minghao LiuLiu, Minghao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Peng LiuLiu, Peng Pennsylvania State UniversityUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Si LiuLiu, Si ETH ZurichSwitzerland A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Tao LiuLiu, Tao Pennsylvania State UniversityUnited States Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Tianyi LiuLiu, Tianyi Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Xianglong LiuLiu, Xianglong Beihang University; Institute of Dataspace; Zhongguancun LaboratoryChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Xiangyu LiuLiu, Xiangyu Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Xudong LiuLiu, Xudong Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yan LiuLiu, Yan Runtime Verification Inc. Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts A Comprehensive Study on Quality Assurance Tools for Java Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications ωTest: WebView-Oriented Testing for Android Applications Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yu LiuLiu, Yu University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Zheli LiuLiu, Zheli Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Zheng LiuLiu, Zheng Alibaba Group; Zhejiang UniversityChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Zhengyang LiuLiu, Zhengyang University of Utah Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Zhibo LiuLiu, Zhibo Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Zhuotao LiuLiu, Zhuotao Tsinghua UniversityChina iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
David LoLo, David Singapore Management UniversitySingapore Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing PC Member in Technical Papers within the ISSTA Technical Papers-track
Calvin LoncaricLoncaric, Calvin OracleUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Frederic LoulergueLoulergue, Frederic Université d'OrléansFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Nikolaos LouloudakisLouloudakis, Nikolaos University of Edinburgh DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
Joshua Chern Wey LowLow, Joshua Chern Wey Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Gongzheng LuLu, Gongzheng Suzhou City UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Shuaibing LuLu, Shuaibing Academy of Military SciencesChina InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis Multi-phase Parallel Fuzzer
Xu LuLu, Xu Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Lovro LugovićLugović, Lovro University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Stephan LukasczykLukasczyk, Stephan University of PassauGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Linghui LuoLuo, Linghui Amazon Web ServicesGermany PC Member in Technical Papers within the ISSTA Technical Papers-track
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing CydiOS: A Model-Based Testing Framework for iOS Apps Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper) Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Thibaud LutellierLutellier, Thibaud University of AlbertaCanada How Effective Are Neural Networks for Fixing Security Vulnerabilities
Matthew LutzeLutze, Matthew Aarhus University Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Michael LyuLyu, Michael Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Andreas LööwLööw, Andreas Imperial College London Exact Separation Logic
M Jie M. ZhangM. Zhang, Jie King’s College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests PC Member in Technical Papers within the ISSTA Technical Papers-track
Feifei MaMa, Feifei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Haoyang MaMa, Haoyang Hong Kong University of Science and TechnologyChina Fuzzing Deep Learning Compilers with HirGen
Shiqing MaMa, Shiqing UMass AmherstUnited States CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Tao MaMa, Tao Alibaba Group KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Yun MaMa, Yun Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Zheyu MaMa, Zheyu Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Jean-Marie MadiotMadiot, Jean-Marie External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism Restrictable Variants: A Simple and Practical Alternative to Extensible Variants Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark Using Object-Sequence Diagrams for Debugging
Adnan MahmoodMahmood, Adnan Macquarie UniversityAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dominik MaierMaier, Dominik TU Berlin CrabSandwich: Fuzzing Rust with Rust
Dominik MaierMaier, Dominik Google Committee Member in Program Committee within the FUZZING-track
Petar MaksimovićMaksimović, Petar Imperial College London, UK Exact Separation Logic
Muhammad MalikMalik, Muhammad North Dakota State University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bing MaoMao, Bing Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Alessandro MargaraMargara, Alessandro Politecnico di Milano External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites into Croissants
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the ICOOOLPS-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DEBT-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa Runtime verification of hash code in mutable classes
Omar MasmaliMasmali, Omar Dammam College of TechnologySaudi Arabia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center PC Member in Technical Papers within the ISSTA Technical Papers-track
Devon McKeeMcKee, Devon University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Behavioural Types for Local-First Software
Hector MenendezMenendez, Hector King’s College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei MengMeng, Wei Chinese University of Hong KongChina Exploring Missed Optimizations in WebAssembly Optimizers
Kim MensMens, Kim Université catholique de Louvain, ICTEAM institute, BelgiumBelgium Committee Member in Program Committee within the COP-track
Ali MesbahMesbah, Ali University of British Columbia (UBC) PC Member in Technical Papers within the ISSTA Technical Papers-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mira MeziniMezini, Mira TU DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation A Direct-Style Effect Notation for Sequential and Parallel Programs LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software
Miao MiaoMiao, Miao The University of Texas at DallasUnited States ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Xinyuan MiaoMiao, Xinyuan Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Aleksandar MicicMicic, Aleksandar IBM, Canada Towards Reliable Memory Management for Python Native Extensions
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the ECOOP Research Papers-track
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!
Changwoo MinMin, Changwoo Virginia Tech, USA External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Roberto MinelliMinelli, Roberto Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Sanjay MisraMisra, Sanjay Institute For Energy Technology (IFE)Norway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yifan MoMo, Yifan Sun Yat-sen UniversityChina Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Mark MoellerMoeller, Mark Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain EvoSpex: A Search-based Tool for Postcondition Inference Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Niels MommenMommen, Niels KU LeuvenBelgium Verifying C++ dynamic binding
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Alessandro MorariMorari, Alessandro IBM ResearchUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Austin MordahlMordahl, Austin University of Texas at DallasUnited States An Exploration of Static Variability Bug Detection Through Desugaring Automatic Testing and Benchmarking for Configurable Static Analysis Tools ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
António MorgadoMorgado, António INESC-ID MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
João MotaMota, João NOVA School of Science and Technology On using VeriFast, VerCors, Plural, and KeY to check object usage
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Emerson Murphy-HillMurphy-Hill, Emerson GoogleUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Toby MurrayMurray, Toby University of MelbourneAustralia Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Hsu Myat WinMyat Win, Hsu University of Technology Sydney (UTS)Australia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark PC Member in Program Committee within the ECOOP Research Papers-track
N Csaba NagyNagy, Csaba Software Institute - USI, Lugano On the Rise of Modern Software Documentation
Nicole NairNair, Nicole Swarthmore CollegeUnited States Guiding Greybox Fuzzing with Mutation Testing
Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada Towards Reliable Memory Management for Python Native Extensions Towards Reliable Memory Management for Python Native Extensions
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Toward Tool-Independent Summaries for Symbolic Execution
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Information Flow Analysis for Detecting Non-Determinism in Blockchain
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
Surya NepalNepal, Surya CSIRO’s Data61Australia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Liming NieNie, Liming Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Pengbo NieNie, Pengbo Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Pengyu NieNie, Pengyu University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Sen NieNie, Sen Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Yuanping NieNie, Yuanping Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DEBT-track
Abel NietoNieto, Abel Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Zhenyu NingNing, Zhenyu Hunan University; Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
James NobleNoble, James Research & ProgrammingNew Zealand PC Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom KDAlloc: The KLEE Deterministic Allocator Committee Member in Program Committee within the FUZZING-track
Muhammad Numair MansurNumair Mansur, Muhammad Amazon Web ServicesGermany Dependency-Aware Metamorphic Testing of Datalog Engines
O Kelton OBrienOBrien, Kelton University of MinnesotaUnited States Guiding Greybox Fuzzing with Mutation Testing
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Willian OizumiOizumi, Willian GoToBrazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Milos OjdanicOjdanic, Milos University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Arthur Oliveira ValeOliveira Vale, Arthur External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Dependent Merges and First-Class Environments
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Cyrus OmarOmar, Cyrus University of MichiganUnited States Pearls/Brave New Ideas Area Chair in Program Committee within the ECOOP Research Papers-track
Mohammad Omidvar TehraniOmidvar Tehrani, Mohammad Simon Fraser University SymRustC: A Hybrid Fuzzer for Rust
John-Paul OreOre, John-Paul North Carolina State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Enhancing REST API Testing with NLP Techniques
Alex OrsoOrso, Alex Georgia Institute of Technology United States PC Member in Technical Papers within the ISSTA Technical Papers-track
Klaus OstermannOstermann, Klaus University of TübingenGermany PC Member in Program Committee within the ECOOP Research Papers-track
Samuel OuOu, Samuel University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Jiradet OunjaiOunjai, Jiradet MPI-SWSGermany Green Fuzzer Benchmarking
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing Committee Member in Program Committee within the FUZZING-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Vijay Krishna PalepuPalepu, Vijay Krishna MicrosoftUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Yu PanPan, Yu University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Chengbin PangPang, Chengbin Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology) super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Michele PasquaPasqua, Michele University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Fabrizio PastorePastore, Fabrizio University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mathias PayerPayer, Mathias EPFLSwitzerland Committee Member in Program Committee within the FUZZING-track
David J. PearcePearce, David J. ConsenSysUnited States On Leveraging Tests to Infer Nullable Annotations
Sven PeldszusPeldszus, Sven Ruhr University BochumGermany RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Hila PelegPeleg, Hila TechnionIsrael PC Member in Technical Papers within the ISSTA Technical Papers-track
Haoran PengPeng, Haoran University of Science and Technology of ChinaChina Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Junru PengPeng, Junru Wuhan UniversityChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Xin PengPeng, Xin Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Tomas PetricekPetricek, Tomas Charles UniversityCzechia PC Member in Program Committee within the ECOOP Research Papers-track
Fabio PetrilloPetrillo, Fabio École de technologie supérieure (ÉTS), Montréal -- Université du QuébecCanada Debugging Video Games: A Systematic Mapping Committee Member in Program Committee within the DEBT-track
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland PC Member in Technical Papers within the ISSTA Technical Papers-track
Hung Viet PhamPham, Hung Viet University of WaterlooCanada How Effective Are Neural Networks for Fixing Security Vulnerabilities
Thuan PhamPham, Thuan The University of Melbourne Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
Jolan PhilippePhilippe, Jolan IMT AtlantiqueFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 Session Chair of Tool Demo Presentations (part of ISSTA Tool Demonstrations) Session Chair of Tool Demonstrations (part of ISSTA Tool Demonstrations) Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
Juan Altmayer PizzornoPizzorno, Juan Altmayer University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python
Andy PodgurskiPodgurski, Andy Case Western University PC Member in Technical Papers within the ISSTA Technical Papers-track
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto EvoSpex: A Search-based Tool for Postcondition Inference
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Hannah PotterPotter, Hannah University of WashingtonUnited States ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Michael PradelPradel, Michael University of StuttgartGermany Session Chair of ISSTA 5: Improving Deep Learning Systems (part of ISSTA Technical Papers) Beware of the Unexpected: Bimodal Taint Analysis That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly PC Member in Technical Papers within the ISSTA Technical Papers-track
Jyoti PrakashPrakash, Jyoti University of PassauIndia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Alexander PretschnerPretschner, Alexander TU MunichGermany Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Geguang PuPu, Geguang East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Saurabh PujarPujar, Saurabh IBMUnited States CONCORD: Clone-Aware Contrastive Learning for Source Code
Rahul PurandarePurandare, Rahul University of Nebraska-LincolnUnited States CGuard: Scalable and Precise Object Bounds Protection for C
Q Chenxiong QianQian, Chenxiong University of Hong KongChina CydiOS: A Model-Based Testing Framework for iOS Apps
Ruixiang QianQian, Ruixiang State Key Laboratory for Novel Software Technology, Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Xue QinQin, Xue Villanova UniversityUnited States Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Zhan QinQin, Zhan Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Han QiuQiu, Han Tsinghua UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Andrew QuinnQuinn, Andrew University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
R Felipe R. MonteiroR. Monteiro, Felipe AmazonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Md Rafiqul Islam RabinRabin, Md Rafiqul Islam University of HoustonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of Session 1 (part of ICOOOLPS) Round table Welcome and Introduction Co-chair in Organizing Committee within the ICOOOLPS-track
Suzzana RafiRafi, Suzzana Understanding and Improving the Adoption of Large Language Models
Marco RagliantiRaglianti, Marco Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Rudolf RamlerRamler, Rudolf Software Competence Center HagenbergAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Frederico RamosRamos, Frederico Instituto Superior Técnico Specification-Driven Synthesis of Summaries for Symbolic Execution Toward Tool-Independent Summaries for Symbolic Execution MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Aurora RamírezRamírez, Aurora University of CórdobaSpain Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Damith C. RanasingheRanasinghe, Damith C. University of AdelaideAustralia Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
António RavaraRavara, António NOVA LINCS & FCT, NOVA University of LisbonPortugal On using VeriFast, VerCors, Plural, and KeY to check object usage
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Towards Code-Aware Code Models CONCORD: Clone-Aware Contrastive Learning for Source Code Towards Code-Aware Code Models PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Baber RehmanRehman, Baber The University of Hong KongChina Correctness-by-Construction meets Refinement Types
Baber RehmanRehman, Baber University of Hong Kong Determinism with Intersection and Union Types
Baber RehmanRehman, Baber The University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Diogo Costa ReisReis, Diogo Costa Instituto Superior Técnico MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Kunlun RenRen, Kunlun Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Luyao RenRen, Luyao Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Pinghong RenRen, Pinghong Qufu Normal UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Session Chair of ISSTA 7: Testing and Analysis of Machine-Learning Systems (part of ISSTA Technical Papers) DeepAtash: Focused Test Generation for Deep Learning Systems
David RichterRichter, David Technical University of DarmstadtGermany Using Rewrite Strategies for Efficient Functional Automatic Differentiation A Direct-Style Effect Notation for Sequential and Parallel Programs External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Testing Graph Database Engines via Query Partitioning
RishabhRishabh GGSIPUIndia CGuard: Scalable and Precise Object Bounds Protection for C
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit BrusselBelgium Demo: Debugging Constraint Devices with EDWARD
José Miguel RojasRojas, José Miguel The University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Ori RothRoth, Ori TechnionIsrael Type Automata Python Type Hints are Turing Complete
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the DEBT-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Concept-Based Automated Grading of CS-1 Programming Assignments PC Member in Technical Papers within the ISSTA Technical Papers-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
Benjamin I.P. RubinsteinRubinstein, Benjamin I.P. University of Melbourne Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Ruben Ruiz TorrubianoRuiz Torrubiano, Ruben IMC University of Applied Sciences KremsAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
Ugnius RumseviciusRumsevicius, Ugnius University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Jukka RuohonenRuohonen, Jukka University of TurkuFinland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
S Nuno SabinoSabino, Nuno Instituto Superior Técnico, Carnegie Mellon UniversityPortugal Toward Tool-Independent Summaries for Symbolic Execution
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Seemanta SahaSaha, Seemanta University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Program Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Jordan SamhiSamhi, Jordan University of LuxembourgLuxembourg Publicity Co-Chair in Organizing Committee for ISSTA 2023 Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 Session Chair of ISSTA Online 3: Empirical Studies (part of ISSTA Technical Papers) Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ganesh SankaranSankaran, Ganesh University of California at Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
Rafaello SannaSanna, Rafaello University of RochesterUnited States Guiding Greybox Fuzzing with Mutation Testing
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Laboni SarkerSarker, Laboni University of California at Santa BarbaraUnited States Quantitative Symbolic Similarity Analysis Rare Path Guided Fuzzing
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Federica SarroSarro, Federica University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Dependency-free Capture Tracking
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Max SchaeferSchaefer, Max GitHubUnited Kingdom Beware of the Unexpected: Bimodal Taint Analysis
Daniel SchemmelSchemmel, Daniel Imperial College London KDAlloc: The KLEE Deterministic Allocator
Nico SchillerSchiller, Nico CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Moritz SchloegelSchloegel, Moritz CISPA, Germany Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium Demo: Debugging Constraint Devices with EDWARD Welcome Discussion Co-chair in Organizing Committee within the DEBT-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Richard SchumiSchumi, Richard Singapore Management UniversitySingapore Semantic-Based Neural Network Repair
Philipp SchusterSchuster, Philipp University of TübingenGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Thomas SchweizerSchweizer, Thomas University of Washington, SeattleUnited States An empirical evaluation of commit-untangling tools
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Session Chair of Session 1 (part of COP) Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Ryan ScottScott, Ryan Galois, Inc.United States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Sergio SeguraSegura, Sergio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs PC Member in Technical Papers within the ISSTA Technical Papers-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Koushik SenSen, Koushik University of California at BerkeleyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Kostya SerebryanySerebryany, Kostya Google Rich coverage signal and the consequences for scaling
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance PC Member in Program Committee within the ECOOP Research Papers-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Chaofeng ShaSha, Chaofeng Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Md ShafiuzzamanShafiuzzaman, Md University of California at Santa BarbaraUnited States Rare Path Guided Fuzzing
Sameena ShahShah, Sameena J.P. Morgan AI ResearchUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Hesam ShahrokhiShahrokhi, Hesam University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Marc ShapiroShapiro, Marc Sorbonne-Université (LIP6) & InriaFrance External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Arindam SharmaSharma, Arindam Imperial College LondonUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mayank SharmaSharma, Mayank Imperial College London RustSmith: Random Differential Compiler Testing for Rust
Chao ShenShen, Chao Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Guangyu ShenShen, Guangyu Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Qingchao ShenShen, Qingchao Tianjin UniversityChina Fuzzing Deep Learning Compilers with HirGen
Yulong ShenShen, Yulong Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Elena ShermanSherman, Elena Boise State UniversityUnited States Session Chair of ISSTA Online 4: Testing and Analysis of DL Systems (part of ISSTA Technical Papers) PC Member in Technical Papers within the ISSTA Technical Papers-track
August ShiShi, August University of Texas at AustinUnited States Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Ensheng ShiShi, Ensheng Xi’an Jiaotong UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Heyuan ShiShi, Heyuan Central South UniversityChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Jingyi ShiShi, Jingyi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Wenxuan ShiShi, Wenxuan Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Xiaohai ShiShi, Xiaohai Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Jun ShirakoShirako, Jun Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Fedor ShmarovShmarov, Fedor The University of Manchester Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Chaofan ShouShou, Chaofan University of California at Santa BarbaraUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract Rare Path Guided Fuzzing
Sohil Lal ShresthaShrestha, Sohil Lal The University of Texas at ArlingtonUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Joseph SifakisSifakis, Joseph University Grenoble Alpes; CNRS; Grenoble INP; VERIMAGFrance Simulation-Based Validation for Autonomous Driving Systems
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Lucas SilverSilver, Lucas University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
Jeongju SohnSohn, Jeongju University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Dakota SolesSoles, Dakota The University of Texas at Dallas An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Alaia Solko-BreslinSolko-Breslin, Alaia University of Pennsylvania Automata Learning with an Incomplete Teacher
Houbing SongSong, Houbing University of Maryland, Baltimore County KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Wei SongSong, Wei Nanjing University of Science and TechnologyChina DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
Ezekiel SoremekunSoremekun, Ezekiel Royal Holloway, University of LondonUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track
Badr SouaniSouani, Badr University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Leonardo SousaSousa, Leonardo CMU - Silicon ValleyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Helge SpiekerSpieker, Helge Simula Research Laboratory, NorwayNorway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Martin SpiesslSpiessl, Martin LMU MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Fausto SpotoSpoto, Fausto U. Verona Information Flow Analysis for Detecting Non-Determinism in Blockchain
Manu SridharanSridharan, Manu University of California at RiversideUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jonathan Lindegaard StarupStarup, Jonathan Lindegaard Aarhus UniversityDenmark Restrictable Variants: A Simple and Practical Alternative to Extensible Variants Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Runtime Monitoring of Human Behaviour with Aggregate Computing on Android PC Member in Program Committee within the VORTEX-track
Felix StutzStutz, Felix MPI-SWS Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts
He SuSu, He Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Hui SuSu, Hui Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Moon Ting SuSu, Moon Ting Universiti MalayaMalaysia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ting SuSu, Ting East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning An Empirical Study of Functional Bugs in Android Apps
Zian SuSu, Zian Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Felix SuchertSuchert, Felix Center for Advancing Electronics Dresden, TU DresdenGermany ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Nick SumnerSumner, Nick Simon Fraser UniversityCanada Type Batched Program Reduction
Chengnian SunSun, Chengnian University of WaterlooCanada CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Hailong SunSun, Hailong Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Hongbin SunSun, Hongbin Xi’an Jiaotong UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Jiaguang SunSun, Jiaguang Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Jingling SunSun, Jingling East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Jun SunSun, Jun Singapore Management UniversitySingapore Semantic-Based Neural Network Repair Silent Compiler Bug De-duplication via Three-Dimensional Analysis Testing Automated Driving Systems by Breaking Many Laws Efficiently PC Member in Technical Papers within the ISSTA Technical Papers-track
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Qing SunSun, Qing Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Yang SunSun, Yang Singapore Management UniversitySingapore Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yujie SunSun, Yujie Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Zewen SunSun, Zewen Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Julian SutherlandSutherland, Julian Imperial College London Exact Separation Logic
Amanda SwearnginSwearngin, Amanda Apple, USAUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Laszlo SzekeresSzekeres, Laszlo Google Committee Member in Organizing Committee within the FUZZING-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Experience Area Chair in Program Committee within the ECOOP Research Papers-track
T Fabio TagliaferroTagliaferro, Fabio CYS4 Srl Information Flow Analysis for Detecting Non-Determinism in Blockchain
Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom PC Member in Program Committee within the FTfJP-track
Jinhao TanTan, Jinhao University of Hong Kong Dependent Merges and First-Class Environments
Lin TanTan, Lin Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Per Hoong TanTan, Per Hoong Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Shin Hwei TanTan, Shin Hwei Concordia University, CanadaCanada Concept-Based Automated Grading of CS-1 Programming Assignments PC Member in Technical Papers within the ISSTA Technical Papers-track
Tian TanTan, Tian Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yudai TanabeTanabe, Yudai Kyoto UniversityJapan Session Chair of Session 1 (part of COP) Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Qiyi TangTang, Qiyi Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Guanhong TaoTao, Guanhong Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
April TeaTea, April University of Washington, SeattleUnited States Local Arrangements Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil PC Member in Program Committee within the FTfJP-track
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Understanding Breaking Changes in the Wild PC Member in Technical Papers within the ISSTA Technical Papers-track
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Peter ThiemannThiemann, Peter University of Freiburg, Germany PC Member in Program Committee within the ECOOP Research Papers-track
Aditya ThimmaiahThimmaiah, Aditya University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests
Cong TianTian, Cong Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Haoye TianTian, Haoye University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yongqiang TianTian, Yongqiang University of WaterlooCanada CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Fuzzing Deep Learning Compilers with HirGen Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yuan TianTian, Yuan Queens University, Kingston, CanadaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Li TianlinTianlin, Li Nanyang Technological UniversitySingapore Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Amin TimanyTimany, Amin Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Frank TipTip, Frank Northeastern UniversityUnited States That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States PC Member in Program Committee within the FTfJP-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States PC Chair in Program Committee within the FTfJP-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland DeepAtash: Focused Test Generation for Deep Learning Systems
Emina TorlakTorlak, Emina Amazon Web Services and University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy On Stream Runtime Verification and Aggregate Programming Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track PC Member in Program Committee within the VORTEX-track
Emma ToschTosch, Emma Northeastern University, USA PC Member in Program Committee within the ECOOP Research Papers-track
Alix TrieuTrieu, Alix ANSSIFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Miguel TrigoTrigo, Miguel Instituto Superior Técnico MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Michele TucciTucci, Michele Charles UniversityCzechia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Michele TufanoTufano, Michele MicrosoftUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Frédéric TuongTuong, Frédéric Simon Fraser UniversityCanada SymRustC: A Hybrid Fuzzer for Rust
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Behavioural Types for Local-First Software
Thanasis TypaldosTypaldos, Thanasis National Technical University of AthensGreece EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Rachel Tzoref-BrillTzoref-Brill, Rachel IBM ResearchIsrael Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track
Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
V Pablo ValleValle, Pablo Mondragon UniversitySpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands PC Member in Technical Papers within the ISSTA Technical Papers-track
Jacob Van GeffenVan Geffen, Jacob Veridise Inc. Synthesis-Aided Crash Consistency for Storage Systems
Flip van Spaendonckvan Spaendonck, Flip TU EindhovenNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Wiring circuits is easy as {0, 1, ω}, or is it…
Adrien VanègueVanègue, Adrien InriaFrance Debugging Video Games: A Systematic Mapping
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal PC Member in Program Committee within the ECOOP Research Papers-track
Siddhanth VenkateshwaranVenkateshwaran, Siddhanth University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Luca VersariVersari, Luca Google, ZurichSwitzerland Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Vasudev VikramVikram, Vasudev Carnegie Mellon UniversityUnited States Guiding Greybox Fuzzing with Mutation Testing
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa PC Member in Technical Papers within the ISSTA Technical Papers-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Meriel von Steinvon Stein, Meriel University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
W Neil WalkinshawWalkinshaw, Neil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Chengcheng WanWan, Chengcheng East China Normal UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Boxiang WangWang, Boxiang Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Chao WangWang, Chao University of Southern CaliforniaUnited States Constraint Based Compiler Optimization for Energy Harvesting Applications Systematic Testing of the Data-Poisoning Robustness of KNN
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Dongxia WangWang, Dongxia Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries CydiOS: A Model-Based Testing Framework for iOS Apps Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Ji WangWang, Ji National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Jikai WangWang, Jikai Huazhong University of Science and TechnologyChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Systematic Testing of the Data-Poisoning Robustness of KNN
Jingyi WangWang, Jingyi Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Jue WangWang, Jue Nanjing UniversityChina An Empirical Study of Functional Bugs in Android Apps
Juhong WangWang, Juhong TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Jun WangWang, Jun Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Kailong WangWang, Kailong Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Kaiyi WangWang, Kaiyi Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Ke WangWang, Ke Ant GroupChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Linzhang WangWang, Linzhang Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Liran WangWang, Liran Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Qiang WangWang, Qiang Academy of Military SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Qinglong WangWang, Qinglong Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Ruifeng WangWang, Ruifeng Northeastern UniversityChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Runzhe WangWang, Runzhe Alibaba GroupChina KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Shangguang WangWang, Shangguang Beijing University of Posts and TelecommunicationsChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Shangwen WangWang, Shangwen National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shiwei WangWang, Shiwei Xi’an Jiaotong UniversityChina CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts Exploring Missed Optimizations in WebAssembly Optimizers PC Member in Technical Papers within the ISSTA Technical Papers-track
Sinan WangWang, Sinan Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Suyuan WangWang, Suyuan Huazhong University of Science and TechnologyChina Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Tianxiao WangWang, Tianxiao Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Ting WangWang, Ting National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Tong WangWang, Tong National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Session Chair of ECOOP 7: Verification and Testing (part of ECOOP Research Papers) Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Wenxuan WangWang, Wenxuan Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Xi WangWang, Xi University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Xu WangWang, Xu Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Ying WangWang, Ying Northeastern UniversityChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada PC Member in Program Committee within the ECOOP Research Papers-track
Yuke WangWang, Yuke University of California Santa Barbara Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Zan WangWang, Zan Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Zhixuan WangWang, Zhixuan Xidian UniversityChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Zihan WangWang, Zihan Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany PC Member in Program Committee within the ECOOP Research Papers-track
Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Lili WeiWei, Lili McGill UniversityCanada ωTest: WebView-Oriented Testing for Android Applications
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Session Chair of ISSTA 3: Deep-Learning for Software Analysis (part of ISSTA Technical Papers) ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization PC Member in Technical Papers within the ISSTA Technical Papers-track
Zhao WeiWei, Zhao TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring Testing Automated Driving Systems by Breaking Many Laws Efficiently
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 A Direct-Style Effect Notation for Sequential and Parallel Programs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Qiang WeizhongWeizhong, Qiang Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
He WenWen, He East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Ming WenWen, Ming Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Zhongzhen WenWen, Zhongzhen Nanjing UniversityChina Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
Edwin WestbrookWestbrook, Edwin GaloisUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Thomas WienerWiener, Thomas Cornell University Automata Learning with an Incomplete Teacher
Matt WindsorWindsor, Matt University of York Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Robert WinnWinn, Robert University of Southern CaliforniaUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Stefan WinterWinter, Stefan LMU MunichGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden PC Member in Program Committee within the ECOOP Research Papers-track
Daoyuan WuWu, Daoyuan Chinese University of Hong KongChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Diyu WuWu, Diyu Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Dongpeng WuWu, Dongpeng Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jing WuWu, Jing Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Jinjie WuWu, Jinjie Alibaba GroupChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Lei WuWu, Lei Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Shi WuWu, Shi Tencent Security Keen LabChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Shuohan WuWu, Shuohan Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Weibin WuWu, Weibin Sun Yat-sen UniversityChina Validating Multimedia Content Moderation Software via Semantic Fusion
Yi WuWu, Yi Purdue UniversityUnited States How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yiting WuWu, Yiting East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Yueming WuWu, Yueming Nanyang Technological UniversitySingapore Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Valentin WüstholzWüstholz, Valentin ConsenSysAustria Dependency-Aware Metamorphic Testing of Datalog Engines Green Fuzzer Benchmarking
X Chunqiu Steven XiaXia, Chunqiu Steven University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Xin XiaXia, Xin HuaweiChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Botang XiaoXiao, Botang University of GeorgiaUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dongwei XiaoXiao, Dongwei Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers
Huizhong XiaoXiao, Huizhong Fairness Testing For Recommender Systems
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States General advice for your PhD career
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Fairness Testing For Recommender Systems Quantitative Robustness Analysis of Neural Networks
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Quantitative Symbolic Similarity Analysis
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Type Automata Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Yang XiaoXiao, Yang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yisong XiaoXiao, Yisong Beihang UniversityChina Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Tao XieXie, Tao Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Yong XieXie, Yong Qinghai UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Yiheng XiongXiong, Yiheng East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Chi XuXu, Chi The Hong Kong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Haoran XuXu, Haoran Stanford University Deegen: a meta-compiler approach for high performance VMs at low engineering cost
Jun XuXu, Jun The University of Utah Committee Member in Program Committee within the FUZZING-track
Lei XuXu, Lei Nanjing UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Lili XuXu, Lili Institute of Information Engineering at Chinese Academy of SciencesChina Splendor: Static Detection of Stored XSS in Modern Web Applications
Mengqian XuXu, Mengqian East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Sihan XuXu, Sihan Nankai UniversityChina LiResolver: License Incompatibility Resolution for Open Source Software
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xinyi XuXu, Xinyi CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Xuelan XuXu, Xuelan Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Yong XuXu, Yong TencentChina RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Zhengzi XuXu, Zhengzi Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java
Zhichao XuXu, Zhichao University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Zijing XuXu, Zijing Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Hui XueXue, Hui Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Jingling XueXue, Jingling UNSWAustralia Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Zhiyi XueXue, Zhiyi East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
XuNie XuNie Huazhong University of Science and Technology; Beijing University of Posts and TelecommunicationsChina Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Y Matthew YacavoneYacavone, Matthew Galois, Inc. Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Ming YanYan, Ming Tianjin University, ChinaChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Qian YanYan, Qian National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Rongjie YanYan, Rongjie Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Simulation-Based Validation for Autonomous Driving Systems
Elena YanakievaYanakieva, Elena University of Kaiserslautern-Landau LoRe: A Programming Model for Verifiably Safe Local-First Software
Chen YangYang, Chen Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Lin YangYang, Lin College of Intelligence and Computing, Tianjin UniversityChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Mengfei YangYang, Mengfei China Academy of Space TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Shuo YangYang, Shuo Sun Yat-sen UniversityChina Definition and Detection of Defects in NFT Smart Contracts
Songtao YangYang, Songtao Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Wei YangYang, Wei University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Xiaohu YangYang, Xiaohu Zhejiang UniversityChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Yixing YangYang, Yixing Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Yunhe YangYang, Yunhe University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Zhou YangYang, Zhou Singapore Management UniversitySingapore Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Zijiang YangYang, Zijiang GuardStrikeChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Peisen YaoYao, Peisen Zhejing UniversityChina Synthesizing Conjunctive Queries for Code Search
Haojie YeYe, Haojie HuaweiChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Kejiang YeYe, Kejiang Shenzhen Institute of Advanced Technology at Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Mingxi YeYe, Mingxi Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Yapeng YeYe, Yapeng Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Ming-Ho YeeYee, Ming-Ho Northeastern University Do Machine Learning Models Produce TypeScript Types that Type Check?
Jooyong YiYi, Jooyong UNIST (Ulsan National Institute of Science and Technology)South Korea Automated Program Repair from Fuzzing Perspective
Xiao YiYi, Xiao Chinese University of Hong KongChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Alperen YildizYildiz, Alperen Sabanci UniversityTurkey Transforming Test Suites into Croissants
Jianwei YinYin, Jianwei Zhejiang UniversityChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Julian Hao YongYong, Julian Hao Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Zi Qian YongYong, Zi Qian Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Shin YooYoo, Shin KAISTSouth Korea A Bayesian Framework for Automated Debugging PC Member in Technical Papers within the ISSTA Technical Papers-track
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Designing Asynchronous Multiparty Protocols with Crash-Stop Failures Dynamically Updatable Multiparty Session Protocols PC Member in Program Committee within the VORTEX-track
Michal YoungYoung, Michal University of OregonUnited States Session Chair of ISSTA Online 5: Domain-Specific Testing (part of ISSTA Technical Papers) Finding Short Slow Inputs Faster with Grammar-Based Search TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniel Yu Hian LowYu Hian Low, Daniel Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Bin YuYu, Bin Xidian UniversityChina SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
BoXi YuYu, BoXi Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Chendong YuYu, Chendong Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
DongSong YuYu, DongSong Zhongguancun LaboratoryChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Lechen YuYu, Lechen Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Pingshi YuYu, Pingshi Imperial College London Reasoning About MLIR Semantics Through Algebraic Effects and Handlers RustSmith: Random Differential Compiler Testing for Rust
Shiwen YuYu, Shiwen National University of Defense TechnologyChina Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Tingting YuYu, Tingting Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Tingting YuYu, Tingting University of CincinnatiUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Bin YuanYuan, Bin Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Hengchen YuanYuan, Hengchen Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Z Zhiqiang ZangZang, Zhiqiang University of Texas at AustinUnited States Pattern-Based Peephole Optimizations with Java JIT Tests
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Lisza ZeidlerZeidler, Lisza Composable Operating Systems Group, Barkhausen Institute, Dresden ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Session Chair of ISSTA 1: Program Repair and Debugging (part of ISSTA Technical Papers) Language-Based Debugging Quantitative Symbolic Similarity Analysis Type Automata Reasoning About MLIR Semantics Through Algebraic Effects and Handlers Fuzzing Embedded Systems using Debug Interfaces PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Juan ZhaiZhai, Juan University of Massachusetts AmherstUnited States CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Xian ZhanZhan, Xian Southern University of Science and TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Chao ZhangZhang, Chao Tsinghua UniversityChina 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing PC Member in Technical Papers within the ISSTA Technical Papers-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search PC Member in Technical Papers within the ISSTA Technical Papers-track
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Testing Graph Database Engines via Query Partitioning Committee Member in Program Committee within the FUZZING-track PC Member in Program Committee within the ECOOP Research Papers-track
Chenxi ZhangZhang, Chenxi Fudan UniversityChina Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Dongjia ZhangZhang, Dongjia EURECOM CrabSandwich: Fuzzing Rust with Rust
Dongmei ZhangZhang, Dongmei Microsoft ResearchChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Fengwei ZhangZhang, Fengwei Southern University of Science and TechnologyChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Hang ZhangZhang, Hang Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Hongyu ZhangZhang, Hongyu Chongqing UniversityChina Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints Simulation-Based Validation for Autonomous Driving Systems
Jian ZhangZhang, Jian Beihang UniversityChina Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jianping ZhangZhang, Jianping Chinese University of Hong KongChina Validating Multimedia Content Moderation Software via Semantic Fusion
Jiyang ZhangZhang, Jiyang University of Texas at AustinUnited States More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models Vectorizing Program Ingredients for Better JVM Testing PC Member in Technical Papers within the ISSTA Technical Papers-track
Lu ZhangZhang, Lu Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines PC Member in Technical Papers within the ISSTA Technical Papers-track
Min ZhangZhang, Min East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Mu ZhangZhang, Mu University of UtahUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Qian ZhangZhang, Qian University of California, RiversideUnited States Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Qiuping ZhangZhang, Qiuping Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations
Quan ZhangZhang, Quan Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Quanjun ZhangZhang, Quanjun Nanjing University DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Rong ZhangZhang, Rong Alibaba GroupChina FairRec: Fairness Testing for Deep Recommender Systems
Tiantai ZhangZhang, Tiantai Nanjing UniversityChina OCFI: Make Function Entry Identification Hard Again
Weifeng ZhangZhang, Weifeng Nanjing University of Posts and TelecommunicationsChina NodeRT: Detecting Races in Node.js Applications Practically
Wen ZhangZhang, Wen University of Georgia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wuqi ZhangZhang, Wuqi The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States NodeRT: Detecting Races in Node.js Applications Practically Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xiaodong ZhangZhang, Xiaodong Xidian UniversityChina Testing Automated Driving Systems by Breaking Many Laws Efficiently
Xiaofang ZhangZhang, Xiaofang Soochow UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Xudong ZhangZhang, Xudong Institute of Software at Chinese Academy of SciencesChina Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Yiming ZhangZhang, Yiming Southern University of Science and Technology; Hong Kong Polytechnic UniversityChina Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Yupeng ZhangZhang, Yupeng Beihang UniversityChina COME: Commit Message Generation with Modification Embedding
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? Vectorizing Program Ingredients for Better JVM Testing
Zenong ZhangZhang, Zenong The University of Texas at Dallas ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Zhaodi ZhangZhang, Zhaodi East China Normal UniversityChina A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Zhaowei ZhangZhang, Zhaowei National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Zhaoxu ZhangZhang, Zhaoxu University of Southern CaliforniaUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Gang ZhaoZhao, Gang National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Kaifa ZHAOZHAO, Kaifa Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Wenyun ZhaoZhao, Wenyun Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper) Vectorizing Program Ingredients for Better JVM Testing Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yu ZhaoZhao, Yu University of Central MissouriUnited States Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Zhehao ZhaoZhao, Zhehao Peking UniversityChina Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Hengjie ZhengZheng, Hengjie Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Yaowen ZhengZheng, Yaowen Nanyang Technological UniversitySingapore Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols Definition and Detection of Defects in NFT Smart Contracts
Chen ZhiZhi, Chen Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Zhiqing ZhongZhong, Zhiqing Chinese University of Hong KongChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Fangyi ZhouZhou, Fangyi Imperial College London Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Hao ZhouZhou, Hao Hong Kong Polytechnic UniversityChina CydiOS: A Model-Based Testing Framework for iOS Apps
Jingyao ZhouZhou, Jingyao Nanjing UniversityChina NodeRT: Detecting Races in Node.js Applications Practically
Mingyi ZhouZhou, Mingyi Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Xiaoqun ZhouZhou, Xiaoqun Alibaba GroupChina Data Constraint Mining for Automatic Reconciliation Scripts Generation
Yajin ZhouZhou, Yajin Zhejiang UniversityChina DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
yi zhouzhou, yi Huazhong University of Science and TechnologyChina An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Yuan ZhouZhou, Yuan Nanyang Technological UniversitySingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Yuhao ZhouZhou, Yuhao Nanjing University of Science and TechnologyChina DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
Yuming ZhouZhou, Yuming Nanjing UniversityChina Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Hengcheng ZhuZhu, Hengcheng The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hongsong ZhuZhu, Hongsong Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Tahereh ZohdinasabZohdinasab, Tahereh USI LuganoSwitzerland DeepAtash: Focused Test Generation for Deep Learning Systems Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Li ZongjieZongjie, Li Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers
Deqing ZouZou, Deqing Huazhong University of Science and TechnologyChina Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zhenhua ZouZou, Zhenhua Tsinghua UniversityChina iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Elena ZuccaZucca, Elena University of GenoaItaly Multi-Graded Featherweight Java
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Â Pedro ÂngeloÂngelo, Pedro University of PortoPortugal Gradual Guarantee for FJ with lambda-expressions

Results (1168)

Tracks

Co-hosted Conferences

Workshops