ISSTA/ECOOP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1486)

A Robert AbelaAbela, Robert RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors
Rui AbreuAbreu, Rui INESC-ID; University of PortoPortugal Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Rui Maranhao AbreuAbreu, Rui Maranhao University of Lisbon Programme Committee in Programme Committee within the MET-track
Caterina Maria AccettoAccetto, Caterina Maria Testing Robot Challenge: a Serious Game for Testing Learning
Luca AcetoAceto, Luca Reykjavik University Runtime Instrumentation for Reactive Components A Sound Type System for Secure Currency Flow
Mathieu AcherAcher, Mathieu University of Rennes - Inria - CNRS - IRISAFrance Policy Testing with MDPFuzz (Replicability Study)
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Tejaswi AgarwalAgarwal, Tejaswi Uber Technologies Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Technical Papers-track
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
Tanwir AhmadAhmad, Tanwir Åbo Akademi UniversityFinland Localizer - a visual debugging assistant for Python programs
Iftekhar AhmedAhmed, Iftekhar University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Christoph AignerAigner, Christoph JKU LinzAustria Lazy Sparse Conditional Constant Propagation in the Sea of Nodes
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in Program Committee within the MPLR-track
Elvira AlbertAlbert, Elvira Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States PC Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of (part of ECOOP Technical Papers) ECOOP Awards Opening and Welcome PC Co-Chair in Program Committee within the ECOOP Technical Papers-track
Aldeida AletiAleti, Aldeida Monash UniversityAustralia Session Chair of MET2024 Session 3: MT and AI (part of MET) Organizer in Organizing Committee within the MET-track
Nikolaos AlexopoulosAlexopoulos, Nikolaos Athens University of Economics and BusinessGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Parsa AlianAlian, Parsa University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Domenico AmalfitanoAmalfitano, Domenico University of Naples Federico IIItaly FRAFOL: FRAmework FOr Learning mutation testing Committee Member in Programme Committee within the A-TEST-track
Idan AmitAmit, Idan The Hebrew University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Paul AmmannAmmann, Paul George Mason UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ayush AnandAnand, Ayush Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Morning talks (part of VORTEX) Session Chair of Morning keynote (part of VORTEX) Session Chair of Afternoon keynote 2 (part of VORTEX) Session Chair of Afternoon talks 2 (part of VORTEX) Organizing Committee in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Jason AnselAnsel, Jason MetaUnited States Generalizing Shape Analysis with Gradual Types
Sven ApelApel, Sven Saarland UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Committee Member in Program Committee within the ISSTA Technical Papers-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs Committee Member in Program Committee within the FTfJP-track
Iván Arcuschin MorenoArcuschin Moreno, Iván Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Luca ArditoArdito, Luca Politecnico di TorinoItaly Introduction to the Gamify 2024 workshop
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain Session Chair of MET2024 Session 2: Future Research of MT (part of MET) Organizer in Organizing Committee within the MET-track
Barnabas ArvayArvay, Barnabas University of Freiburg A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Dynamically Generating Callback Summaries for Enhancing Static Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Cornelius AschermannAschermann, Cornelius MetaUnited States Committee Member in Program Committee within the FUZZING-track
Matvii AslandukovAslandukov, Matvii Kharkiv National University of Radio ElectronicsUkraine The Cost of Profiling in the HotSpot Virtual Machine
Vishnu Asutosh DasuAsutosh Dasu, Vishnu Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Vaggelis AtlidakisAtlidakis, Vaggelis LaceworkGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Duncan Paul AttardAttard, Duncan Paul University of GlasgowUnited Kingdom Runtime Instrumentation for Reactive Components Runtime Instrumentation for Reactive Components
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Session Chair of Afternoon talks 1 (part of VORTEX) Session Chair of Afternoon keynote 1 (part of VORTEX) Real-Time Guarantees for SLCS Monitors in XC Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties Organizing Committee in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
B Lorenzo BacchianiBacchiani, Lorenzo University of Bologna Behavioral up/down casting for statically typed languages
Casper BachBach, Casper Delft University of TechnologyNetherlands Defining Name Accessibility using Scope Graphs
Hamid BagheriBagheri, Hamid University of Nebraska-LincolnUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts Committee Member in Program Committee within the ISSTA Technical Papers-track
Mingqiang BaiBai, Mingqiang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Valter BalegasBalegas, Valter ElectricSQLPortugal Organizing Committee in Organizing Committee within the PLF-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency Information Flow Control in Cyclic Process Networks
Lucas BangBang, Lucas Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Gergö BaranyBarany, Gergö Oracle LabsAustria LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing Lazy Sparse Conditional Constant Propagation in the Sea of Nodes
Florian BauckholtBauckholt, Florian CISPA Helmholtz Center for Information Security WebAssembly as a Fuzzing Compilation Target
Jonathan BellBell, Jonathan Northeastern UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Nassim BelmecheriBelmecheri, Nassim Evaluating Human Trajectory Prediction with Metamorphic Testing
Bernhard BergerBerger, Bernhard Hamburg University of TechnologyGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Severin BergsmannBergsmann, Severin Software Competence Center Hagenberg (SCCH)Austria First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents
Felix BerlakovichBerlakovich, Felix μCSRL, CODE Research Institute, University of the Bundeswehr Munich Understanding and Improving Coverage Tracking with AFL++ LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing Cross Module Quickening - The Curious Case of C Extensions
Matthias BernadBernad, Matthias μCSRL, CODE Research Institute, University of the Bundeswehr Munich Understanding and Improving Coverage Tracking with AFL++ HOBBIT: Hashed Object Based InTegrity
Yann BesseBesse, Yann AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Sahil BhatiaBhatia, Sahil University of California, Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Yuyang BiBi, Yuyang Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Organizing Committee in Organizing Committee within the PLF-track
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of LuxembourgLuxembourg CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors Call Graph Soundness in Android Static Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
David Black-SchafferBlack-Schaffer, David Uppsala UniversitySweden Mutator-Driven Object Placement using Load Barriers
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Program Committee within the MPLR-track
Christoph BlumscheinBlumschein, Christoph Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
David BobekBobek, David IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Sponsorship Co-Chair in Organizing Committee for ECOOP 2024 Sponsorship Co-Chair in Organizing Committee for ISSTA 2024 Visualization Task Taxonomy to Understand the Fuzzing Internals
Eric BoddenBodden, Eric Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Java Bytecode Normalization for Code Similarity Analysis Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Daniele BonettaBonetta, Daniele VU AmsterdamNetherlands Committee Member in Program Committee within the MPLR-track
Silvia BonfantiBonfanti, Silvia University of BergamoItaly Committee Member in Program Committee within the VORTEX-track
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Erwan BousseBousse, Erwan Nantes UniversitéFrance Committee Member in Programme Committee within the A-TEST-track
Matt BovelBovel, Matt EPFLSwitzerland Existential Containers in Scala Committee Member in Program Committee within the ICOOOLPS-track
Gilad BrachaBracha, Gilad F5United States Orthogonal Synchronization Revisited
Bruno BragaBraga, Bruno NOVA University LisbonPortugal Local Projections of DCR Choreographies with Data and Spawn
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioral up/down casting for statically typed languages
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Bob BrockberndBrockbernd, Bob Delft University of Technology Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Henrik BrodinBrodin, Henrik Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Bruno Farias Bruno Farias University of Manchester ESBMC-Python: A Bounded Model Checker for Python Programs
Stefan BrunthalerBrunthaler, Stefan μCSRL, CODE Research Institute, University of the Bundeswehr MunichGermany Session Chair of WebAssembly and Browsers (part of ISSTA Technical Papers) Understanding and Improving Coverage Tracking with AFL++ Robustness against the C/C++11 memory model Automated Testing of Networked Systems Reliability Integrating Mutation Techniques to Keep Specification and Source Code in Sync Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Soft Verification for Actor Contract Systems From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Cross Module Quickening - The Curious Case of C Extensions HOBBIT: Hashed Object Based InTegrity
Lei BuBu, Lei Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Humphrey BurchellBurchell, Humphrey University of KentUnited Kingdom Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom Sparse Symbolic Loop Execution
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Incrementalizing Polynomial Functors Compiling with Arrays
Marcel BöhmeBöhme, Marcel MPI-SP, BochumGermany Session Chair of Fuzzing 2 (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track Organizing Committee in Organizing Committee within the FUZZING-track
C Joanna C. S. SantosC. S. Santos, Joanna University of Notre DameUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Empirical Studies (part of ISSTA Technical Papers) Sparse Symbolic Loop Execution Effective Fuzzing within CI/CD Pipelines Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Colin CaiCai, Colin University of California, Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Haipeng CaiCai, Haipeng University at Buffalo, SUNYUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaobao CaiCai, Xiaobao Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yufan CaiCai, Yufan Shanghai Jiao Tong University; National University of SingaporeChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Zhipeng CaiCai, Zhipeng Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Gianluca CaiazzaCaiazza, Gianluca Ca' Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Francesca CairoliCairoli, Francesca Committee Member in Program Committee within the VORTEX-track
Aysu Betin CanCan, Aysu Betin Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Paulo CanelasCanelas, Paulo Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Shangtong CaoCao, Shangtong Beijing University of Posts and TelecommunicationsChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Xuejie CaoCao, Xuejie Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Ying CaoCao, Ying Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Yuan CaoCao, Yuan Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Yukai CaoCao, Yukai Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Paris CarboneCarbone, Paris KTH Royal Institute of Technology Failure Transparency in Stateful Dataflow Systems
Maria Carpen-AmarieCarpen-Amarie, Maria Huawei Zurich Research CenterSwitzerland The Cost of Profiling in the HotSpot Virtual Machine
Luís CarvalhoCarvalho, Luís NOVA School of Science and Technology A Language-Based Version Control System for Python
Darion CasselCassel, Darion Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate CenterUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ana Cavalcante-StudartCavalcante-Studart, Ana Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Maura CerioliCerioli, Maura Enlisting Students in Gamifying Software Testing Education: Results and Key Insights
Sang Kil ChaCha, Sang Kil KAISTSouth Korea Session Chair of Compilers and Decompilers (part of ISSTA Technical Papers) AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Indirection-Bounded Call Graph Analysis
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Le ChangChang, Le University of Maryland, College Park Qafny: A Quantum-Program Verifier
Rui ChangChang, Rui Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Type Tailoring
Oscar ChaparroChaparro, Oscar William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Wachiraphan (Ping) CharoenwetCharoenwet, Wachiraphan (Ping) University of MelbourneAustralia An Empirical Study of Static Analysis Tools for Secure Code Review
Samuel ChassotChassot, Samuel EPFL, LARASwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Avik ChaudhuriChaudhuri, Avik Facebook, USA Committee Member in Program Committee within the FTfJP-track
Kevin CheangCheang, Kevin Amazon Web ServicesUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
An Ran ChenChen, An Ran University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing Committee Member in Program Committee within the ISSTA Technical Papers-track
Chong ChenChen, Chong Sun Yat-sen UniversityChina Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Chunyang ChenChen, Chunyang TU MunichGermany Session Chair of UI-Level Testing (part of ISSTA Technical Papers)
Chunyang ChenChen, Chunyang TU MunichGermany Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Chunyang ChenChen, Chunyang TU MunichGermany Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Chunyang ChenChen, Chunyang TU MunichGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
David ChenChen, David Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Hao ChenChen, Hao University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Huaming ChenChen, Huaming Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Huaming ChenChen, Huaming The University of SydneyAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiachi ChenChen, Jiachi Sun Yat-sen UniversityChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Committee Member in Program Committee within the ISSTA Technical Papers-track
Jialuo ChenChen, Jialuo Zhejiang UniversityChina TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development Isolation-Based Debugging for Neural Networks
Jianhai ChenChen, Jianhai Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Jieshan ChenChen, Jieshan CSIRO's Data61Australia Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiming ChenChen, Jiming Zhejiang University; Hangzhou Dianzi UniversityChina TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development Isolation-Based Debugging for Neural Networks
Juan ChenChen, Juan Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Junjie ChenChen, Junjie Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Large Language Models for Equivalent Mutant Detection: How Far Are We? Towards Understanding the Bugs in Solidity Compiler
Junjie ChenChen, Junjie Tianjin UniversityChina Programme Committee in Programme Committee within the MET-track
Junjie ChenChen, Junjie Tianjin UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Kai ChenChen, Kai Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers Committee Member in Program Committee within the ISSTA Technical Papers-track
Liangyu ChenChen, Liangyu East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Liqian ChenChen, Liqian National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Liwei ChenChen, Liwei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Polong ChenChen, Polong Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Sen ChenChen, Sen Tianjin UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software Bugs in Pods: Understanding Bugs in Container Runtime Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Learning Gradual Typing Performance
Sheng ChenChen, Sheng UL Lafayette Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Songqiang ChenChen, Songqiang The Hong Kong University of Science and TechnologyChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tao ChenChen, Tao University of BirminghamUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Ting ChenChen, Ting University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Xiangqun ChenChen, Xiangqun Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Xiao ChenChen, Xiao University of NewcastleAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Xiaohong ChenChen, Xiaohong East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Xiaohui ChenChen, Xiaohui China Mobile Research InstituteChina DeLink: Source File Information Recovery in Binaries
Yan ChenChen, Yan Northwestern UniversityUnited States Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Neurosymbolic Repair of Test Flakiness Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yixiang ChenChen, Yixiang East China Normal UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Yixiong ChenChen, Yixiong Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Yizhou ChenChen, Yizhou Peking University Commit Artifact Preserving Build Prediction
Yujia ChenChen, Yujia Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Yuqi ChenChen, Yuqi ShanghaiTech UniversityChina DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenpeng ChenChen, Zhenpeng Nanyang Technological UniversitySingapore Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhuangbin ChenChen, Zhuangbin Sun Yat-sen UniversityChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Zuohui ChenChen, Zuohui Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Mingfei ChengCheng, Mingfei Singapore Management UniversitySingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Peng ChengCheng, Peng Zhejiang UniversityChina TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development Isolation-Based Debugging for Neural Networks
Runxiang ChengCheng, Runxiang University of Illinois at Urbana-ChampaignUnited States Revisiting Test-Case Prioritization on Long-Running Test Suites
Xiao ChengCheng, Xiao UNSWAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zaiyu ChengCheng, Zaiyu University of Manchester JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations Optimizing the Object-Relational Interface Committee Member in Program Committee within the ECOOP Technical Papers-track
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler Committee Member in Program Committee within the ISSTA Technical Papers-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Committee Member in Program Committee within the MPLR-track
Michele ChiariChiari, Michele TU WienAustria Committee Member in Program Committee within the VORTEX-track
Shigeru ChibaChiba, Shigeru University of TokyoJapan Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Maria ChristakisChristakis, Maria TU WienAustria General Chair in Organizing Committee for ISSTA 2024 Session Chair of Opening and Awards (part of ISSTA Keynotes) Session Chair of ISSTA 2025 Preview and Closing (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes) Inductive Predicate Synthesis Modulo Programs
Zhaoyang ChuChu, Zhaoyang Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Benjamin ChungChung, Benjamin JuliaHub Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the MPLR-track
Jürgen CitoCito, Jürgen TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ECOOP 2024 Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Models of Code (part of ISSTA Technical Papers)
Rance CleavelandCleaveland, Rance University of Maryland Qafny: A Quantum-Program Verifier
Diego ClerissiClerissi, Diego DIBRIS, University of Genova, Italy A Gaming Quest to Improve Web Locators Robustness
Myra CohenCohen, Myra Iowa State UniversityUnited States Session Chair of Testing (part of ISSTA Technical Papers) Traceback: A Fault Localization Technique for Molecular Programs Committee Member in Program Committee within the ISSTA Technical Papers-track
Christian ColomboColombo, Christian University of MaltaMalta RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors Committee Member in Program Committee within the VORTEX-track
George A. ConstantinidesConstantinides, George A. Imperial College London, UK Automated Feature Testing of Verilog Parsers using Fuzzing
Juan Manuel CopiaCopia, Juan Manuel IMDEA Software Institute; Universidad Politécnica de MadridSpain FixCheck: A Tool for Improving Patch Correctness Analysis
Riccardo CoppolaCoppola, Riccardo Politecnico di TorinoItaly Session Chair of Gamify 2024 session 1 (part of Gamify) ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback Introduction to the Gamify 2024 workshop Committee Member in Programme Committee within the A-TEST-track
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UK and Federal University of Amazonas, BrazilUnited Kingdom ESBMC-Python: A Bounded Model Checker for Python Programs JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Quentin CorradiCorradi, Quentin Imperial College London Automated Feature Testing of Verilog Parsers using Fuzzing
Jesús CorreasCorreas, Jesús Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Session Chair of Verification (part of ECOOP Technical Papers) Undo and Redo in Concurrent Multifaceted Low-code Application Models Local Projections of DCR Choreographies with Data and Spawn A Language-Based Version Control System for Python Organizing Committee in Organizing Committee within the PLAID-track
Steven CostiouCostiou, Steven INRIA LilleFrance Committee Member in Program Committee within the DEBT-track
Caroline CronjägerCronjäger, Caroline Ruhr-Universität Bochum Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Baoquan CuiCui, Baoquan Institute of Software at Chinese Academy of Sciences, China DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates
Di CuiCui, Di Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Heming CuiCui, Heming University of Hong Kong CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
Mengqi CuiCui, Mengqi Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Siwei CuiCui, Siwei Texas A & M UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ziyu CuiCui, Ziyu Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Gao CuiyingCuiying, Gao Huazhong University of Science and Technology; JD.comChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Axel CurmiCurmi, Axel RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States Session Chair of Domain-Specific Testing (part of ISSTA Technical Papers) Graph Learning for Extract Class Refactoring Collaboration to Repository-Level Vulnerability Detection Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Learning the Effects of Software Changes Shaping Test Inputs in Grammar-Based Fuzzing Feedback-Directed Partial Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiarun DaiDai, Jiarun Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Qinming DaiDai, Qinming Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Aidan DakhamaDakhama, Aidan King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Real-Time Guarantees for SLCS Monitors in XC
Thao DangDang, Thao CNRS/VERIMAGFrance Committee Member in Program Committee within the VORTEX-track
Simon DanielDaniel, Simon TU DarmstadtGermany Library Based Choreographies in Lean
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Student Volunteer Co-Chair in Organizing Committee for ECOOP 2024 Student Volunteers Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Analysis (part of ECOOP Technical Papers) Committee Member in Program Committee within the ECOOP Technical Papers-track Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Istvan DavidDavid, Istvan McMaster UniversityCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
James C. DavisDavis, James C. Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters Committee Member in Program Committee within the ISSTA Technical Papers-track
Borja Arnau de Régil Basáñezde Régil Basáñez, Borja Arnau DittoLiveSpain Real World Local-First Deployments In Industry: An Experience Report
Alix DecropDecrop, Alix University of NamurBelgium Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Thomas DegueuleDegueule, Thomas CNRSFrance Committee Member in Programme Committee within the A-TEST-track
Marcio Eduardo DelamaroDelamaro, Marcio Eduardo Universidade de São PauloBrazil Programme Committee in Programme Committee within the MET-track
Alain DelaëtDelaët, Alain INRIA, ENS Lyon Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Demet DemirDemir, Demet Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Huan DengDeng, Huan Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Modal Crash Types for Intermittent Computing Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency Information Flow Control in Cyclic Process Networks
Anmol Vilas DeshpandeDeshpande, Anmol Vilas University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Luca Di GraziaDi Grazia, Luca University of Stuttgart The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Session Chair of FTfJP Keynote (part of FTfJP) Session Chair of FTfJP Session 1 (part of FTfJP) PC Chair in Organizing Committee within the FTfJP-track
Werner DietlDietl, Werner University of WaterlooCanada General Chair in Organizing Committee for ECOOP 2024 Closing and Invitation to ECOOP 2025 Opening and Welcome Committee Member in Program Committee within the ECOOP Technical Papers-track Steering Committee Member in Organizing Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the ECOOP Technical Papers-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Committee Member in Programme Committee within the A-TEST-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Program Committee within the ECOOP Technical Papers-track Committee Member in Program Committee within the VORTEX-track
Tung Do-VietDo-Viet, Tung Cinnamon AIVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Swaroopa DolaDola, Swaroopa University of Virginia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Brendan Dolan-GavittDolan-Gavitt, Brendan New York UniversityUnited States [Keynote] Is "AI" useful for fuzzing?
Greta DolcettiDolcetti, Greta Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FUZZING-track
Jin Song DongDong, Jin Song National University of SingaporeSingapore CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature Committee Member in Program Committee within the ISSTA Technical Papers-track
Yiwen DongDong, Yiwen University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhen DongDong, Zhen Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay Committee Member in Program Committee within the ISSTA Technical Papers-track
Vlastimil DortDort, Vlastimil Charles UniversityCzechia Pure methods for roDOT
Myra DotzelDotzel, Myra Carnegie Mellon UniversityUnited States Modal Crash Types for Intermittent Computing
Wensheng DouDou, Wensheng Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling Committee Member in Program Committee within the ISSTA Technical Papers-track
Claire DrossDross, Claire AdaCoreFrance Committee Member in Program Committee within the FTfJP-track
Jianfeng DuDu, Jianfeng Guangdong University of Foreign StudiesChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Qingpeng DuDu, Qingpeng Beijing University of Posts and TelecommunicationsChina Logos: Log Guided Fuzzing for Protocol Implementations
Xiaoning DuDu, Xiaoning Monash UniversityAustralia Session Chair of Code Transformation (part of ISSTA Technical Papers) Testing Graph Database Systems with Graph-State Persistence Oracle FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyong DuDu, Xiaoyong Renmin University of China Testing Graph Database Systems with Graph-State Persistence Oracle
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Thomas (Halvar Flake) DullienDullien, Thomas (Halvar Flake) Germany [Keynote] Reasons for the Unreasonable Success of Fuzzing
Giulio DusoDuso, Giulio University of Eastern PiedmontItaly Coeffects for MiniJava: Cf-Mj
Johannes DüsingDüsing, Johannes TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really?
E Sigrid EldhEldh, Sigrid Ericsson AB, Mälardalen University, Carleton UnviersitySweden Committee Member in Programme Committee within the A-TEST-track
Hasan Ferit EniserEniser, Hasan Ferit MPI-SWSGermany Web Co-Chair in Organizing Committee for ECOOP 2024 Web Co-Chair in Organizing Committee for ISSTA 2024
Jueon EomEom, Jueon Yonsei UniversitySouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
Madalina ErascuErascu, Madalina West University of TimisoaraRomania Committee Member in Program Committee within the FTfJP-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Abstract Interpretation of Java Bytecode in Sturdy Committee Member in Program Committee within the ECOOP Technical Papers-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Call Graph Soundness in Android Static Analysis
M. Anton ErtlErtl, M. Anton TU WienAustria Session Chair of MPLR "Analysis" Session (part of MPLR) Welcome from the Chairs The Performance Effects of Virtual-Machine Instruction Pointer Updates General Chair in Organizing Committee within the MPLR-track
Nafise EskandaniEskandani, Nafise ABB Corporate Research Center Diversity and Inclusion Chair in Organizing Committee for ECOOP 2024 Diversity and Inclusion Chair in Organizing Committee for ISSTA 2024
Sam EstepEstep, Sam Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Committee Member in Program Committee within the ECOOP Technical Papers-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom ECOOP Artifact Evaluation Chair in Organizing Committee for ECOOP 2024 Committee Member in Program Committee within the FUZZING-track Co-chair in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
F David F BaconF Bacon, David Committee Member in Program Committee within the MPLR-track
Gang FanFan, Gang Ant GroupChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 SQLess: Dialect-Agnostic SQL Query Simplification
Lingling FanFan, Lingling Nankai UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhiyu FanFan, Zhiyu National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Aoyang FangFang, Aoyang Chinese University of Hong Kong, Shenzhen Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track
Aoyang FangFang, Aoyang Chinese University of Hong Kong, Shenzhen Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Aoyang FangFang, Aoyang Chinese University of Hong Kong, Shenzhen Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Chunrong FangFang, Chunrong Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Haoran FangFang, Haoran Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Weiyuan FangFang, Weiyuan Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Anna Rita FasolinoFasolino, Anna Rita Federico II University of NaplesItaly Testing Robot Challenge: a Serious Game for Testing Learning Test Smells Learning by a Gamification Approach Committee Member in Programme Committee within the A-TEST-track
Andrew FawcettFawcett, Andrew Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Ryan FeathermanFeatherman, Ryan University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Marc FeeleyFeeley, Marc Université de MontréalCanada Static Basic Block Versioning
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States Type Tailoring
Cong FengFeng, Cong Huawei Cloud Computing TechnologyChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Ruitao FengFeng, Ruitao Singapore Management UniversitySingapore FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Shiwei FengFeng, Shiwei Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sidong FengFeng, Sidong Monash UniversityAustralia Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yang FengFeng, Yang Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation Datactive: Data Fault Localization for Object Detection Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Yebo FengFeng, Yebo Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Nuno FernandesFernandes, Nuno NOVA University LisbonPortugal Local Projections of DCR Choreographies with Data and Spawn
Angelo FerrandoFerrando, Angelo Committee Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Undo and Redo in Concurrent Multifaceted Low-code Application Models Committee Member in Program Committee within the ECOOP Technical Papers-track Organizing Committee in Organizing Committee within the PLAID-track
Eddie B. de Lima FilhoFilho, Eddie B. de Lima TPV Technology ESBMC-Python: A Bounded Model Checker for Python Programs JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Stefan FischerFischer, Stefan Software Competence Center Hagenberg First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents
Wolfram FischerFischer, Wolfram SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
Paul Fiterau-BrosteanFiterau-Brostean, Paul Uppsala UniversitySweden SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Rony G. FlatscherFlatscher, Rony G. WU ViennaAustria Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program
Eugene FlesselleFlesselle, Eugene EPFLSwitzerland Existential Containers in Scala
Olivier FlückigerFlückiger, Olivier GoogleSwitzerland Committee Member in Program Committee within the MPLR-track
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sophie FortzFortz, Sophie King's College LondonUnited Kingdom Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Michael FosterFoster, Michael The University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Runtime Instrumentation for Reactive Components
Gordon FraserFraser, Gordon University of Passau Engaging Developers in Exploratory Unit Testing through Gamification Introduction to the Gamify 2024 workshop Committee Member in Program Committee within the DEBT-track
Leon FreudenthalerFreudenthaler, Leon FH Campus Wien Decentralized Near-Synchronous Local-First Programming Collaboration
Stephen N. FreundFreund, Stephen N. Williams College Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos AiresUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
An FuFu, An University of Science and Technology Beijing Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies
Cai FuFu, Cai Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Florian FurbachFurbach, Florian Technical University of DenmarkDenmark Compositional Verification of Swarm Protocols
G Alessio GambiGambi, Alessio Austrian Institute of Technology (AIT)Austria Session Chair of Test Generation (part of ISSTA Technical Papers) The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios Committee Member in Program Committee within the ISSTA Technical Papers-track
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina Session Chair of Vulnerability Detection (part of ISSTA Technical Papers) Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Hui GaoGao, Hui Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Shuzheng GaoGao, Shuzheng Chinese University of Hong KongChina SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Xiang GaoGao, Xiang Beihang UniversityChina Session Chair of Program Repair 1 (part of ISSTA Technical Papers) API Misuse Detection via Probabilistic Graphical Model Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiangshan GaoGao, Xiangshan Zhejiang University; Huawei TechnologyChina TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Xinyu GaoGao, Xinyu Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Xuanqi GaoGao, Xuanqi Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Yu GaoGao, Yu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zeyu GaoGao, Zeyu Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Zhipeng GaoGao, Zhipeng Shanghai Institute for Advanced Study - Zhejiang UniversityChina SelfPiCo: Self-Guided Partial Code Execution with LLMs
Boni GarciaGarcia, Boni Universidad Carlos III de MadridSpain Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps
Joshua GarciaGarcia, Joshua University of California, IrvineUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Carlos Gavidia-CalderonGavidia-Calderon, Carlos The Alan Turing InstituteUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the ECOOP Technical Papers-track
Jidong GeGe, Jidong Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xiuting GeGe, Xiuting Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Eduardo GeraldoGeraldo, Eduardo Local Projections of DCR Choreographies with Data and Spawn
Michael C. GertenGerten, Michael C. Iowa State UniversityUnited States Traceback: A Fault Localization Technique for Molecular Programs
Ali GhanbariGhanbari, Ali Auburn UniversityUnited States Decomposition of Deep Neural Networks into Modules via Mutation Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Session Chair of FTfJP Session 2 (part of FTfJP) Coeffects for MiniJava: Cf-Mj
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ECOOP Technical Papers-track
Marco GIUNTIGIUNTI, Marco University of Oxford Behavioral up/down casting for statically typed languages
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Aakash GnanakumarGnanakumar, Aakash University of California, Riverside Indirection-Bounded Call Graph Analysis
Gwihwan GoGo, Gwihwan Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Usman GoharGohar, Usman Dept. of Computer Science, Iowa State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the VORTEX-track
Ruijie GongGong, Ruijie The University of Hong Kong, Hong KongHong Kong SAR China CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Design (part of ECOOP Technical Papers) Closing by the workshop organizers Language-Agnostic Debugging for Microcontrollers Graph Learning for Extract Class Refactoring Collaboration to Repository-Level Vulnerability Detection Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Learning the Effects of Software Changes Shaping Test Inputs in Grammar-Based Fuzzing Committee Member in Program Committee within the ECOOP Technical Papers-track Organizing Committee in Organizing Committee within the DEBT-track
John GoodacreGoodacre, John University of ManchesterUnited Kingdom Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Divya GopinathGopinath, Divya KBR; NASA AmesUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Rahul GopinathGopinath, Rahul University of SydneyAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Pablo GordilloGordillo, Pablo Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2024 Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) FixCheck: A Tool for Improving Patch Correctness Analysis Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
Daniele GorlaGorla, Daniele Department of Computer Science, Sapienza University of Rome A Sound Type System for Secure Currency Flow
Arnaud GotliebGotlieb, Arnaud Simula Research LaboratoryNorway Evaluating Human Trajectory Prediction with Metamorphic Testing Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems Policy Testing with MDPFuzz (Replicability Study) Programme Committee in Programme Committee within the MET-track
Ben GreenmanGreenman, Ben University of UtahUnited States Type Tailoring
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
Daniel GrosseGrosse, Daniel Johannes Kepler UniversityAustria Programme Committee in Programme Committee within the MET-track
John GrundyGrundy, John Monash UniversityAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jiazhen GuGu, Jiazhen Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Taotao GuGu, Taotao Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Hanqin GuanGuan, Hanqin Peking University SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Hao GuanGuan, Hao University of Queensland; Southern University of Science and TechnologyAustralia Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Kevin GuanGuan, Kevin Cornell UniversityUnited States An In-Depth Study of Runtime Verification Overheads during Software Testing
Nan GuanGuan, Nan City University of Hong KongChina Enhancing ROS System Fuzzing through Callback Tracing
Rachid GuerraouiGuerraoui, Rachid EPFL Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Yujiang GuiGui, Yujiang UNSWAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ege Berkay GulcanGulcan, Ege Berkay Delft University of TechnologyNetherlands Generalized Concurrency Testing Tool for Distributed Systems
An GuoGuo, An Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Jin GuoGuo, Jin Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Lianghong GuoGuo, Lianghong Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Qi GuoGuo, Qi Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xiaochen GuoGuo, Xiaochen Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Xiaowei GuoGuo, Xiaowei Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Yao GuoGuo, Yao Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Yiwen GuoGuo, Yiwen UnaffiliatedChina UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Yiyuan GuoGuo, Yiyuan Hong Kong University of Science and TechnologyChina Precise Compositional Buffer Overflow Detection via Heap Disjointness
Ziyi GuoGuo, Ziyi Northwestern University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Robbert Gurdeep SinghGurdeep Singh, Robbert IMECBelgium Committee Member in Program Committee within the DEBT-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Inductive Predicate Synthesis Modulo Programs
Bhanukiran GurijalaGurijala, Bhanukiran The University of Texas at El PasoUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
H Julian HaasHaas, Julian Technische Universität Darmstadt Agreement without Coordination - Revisiting Consensus from a Local-First Perspective Organizing Committee in Organizing Committee within the PLF-track
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Fair Join Pattern Matching for Actors Fair join pattern matching for actors Failure Transparency in Stateful Dataflow Systems
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontréalCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Lansheng HanHan, Lansheng Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Dan HaoHao, Dan Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types Commit Artifact Preserving Build Prediction Synthesis-Based Enhancement for GUI Test Case Migration
Yu HaoHao, Yu University of California at Riverside, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zongyin HaoHao, Zongyin Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Mark HarmanHarman, Mark Meta Platforms, Inc. and UCLUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Carson HarmonHarmon, Carson Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Niranjan HasabnisHasabnis, Niranjan Code MetalUnited States Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Sepehr HashtroudiHashtroudi, Sepehr University of CalgaryCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Klaus HavelundHavelund, Klaus Jet Propulsion Laboratory, California Institute of TechnologyUnited States Operational and Declarative Runtime Verification and their Combination Committee Member in Program Committee within the VORTEX-track
Ishrak HayetHayet, Ishrak North Carolina State UniversityUnited States Feedback-Directed Partial Execution
Biao HeHe, Biao Ant GroupChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Dongjie HeHe, Dongjie Chongqing University, ChinaChina A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dongnan HeHe, Dongnan Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Ningyu HeHe, Ningyu Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Programme Committee in Programme Committee within the MET-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Qidan HeHe, Qidan JD.comChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Shilin HeHe, Shilin Microsoft Researchn.n. Committee Member in Program Committee within the ISSTA Technical Papers-track
Siyang HeHe, Siyang Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Yi HeHe, Yi Old Dominion University Learning Gradual Typing Performance
Yifeng HeHe, Yifeng University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Zheyuan HeHe, Zheyuan University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Dominik HelmHelm, Dominik University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENEGermany Session Chair of Static analysis (part of ISSTA Technical Papers) Total Recall? How Good Are Static Call Graphs Really? Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Committee Member in Program Committee within the ISSTA Technical Papers-track
Hadi HemmatiHemmati, Hadi York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Juhan Oskar HennosteHennoste, Juhan Oskar University of Tartu Abstract Debugging with GobPie
Ben HermannHermann, Ben TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really? Committee Member in Program Committee within the FUZZING-track
Robert HieronsHierons, Robert The University of SheffieldUnited Kingdom Programme Committee in Programme Committee within the MET-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software Committee Member in Program Committee within the DEBT-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Christoph HochrainerHochrainer, Christoph TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ECOOP 2024 Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024
Renáta HodovánHodován, Renáta University of Szeged, HungaryHungary Committee Member in Program Committee within the FUZZING-track
James HoeyHoey, James University of Leicester Committee Member in Program Committee within the DEBT-track
Christian HollerHoller, Christian Mozilla CorporationGermany Committee Member in Program Committee within the FUZZING-track
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia Abstract Debugging with GobPie
Thorsten HolzHolz, Thorsten CISPA Helmholtz Center for Information SecurityGermany WebAssembly as a Fuzzing Compilation Target
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design Committee Member in Program Committee within the MPLR-track
Andre HoraHora, Andre UFMGBrazil Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Max HortHort, Max Simula Research LaboratoryNorway Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the MPLR-track
Ping HouHou, Ping University of Oxford Less is More Revisited: Global Specification and Local Verification Approaches Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Yiwei HouHou, Yiwei Tsinghua UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chunming HuHu, Chunming Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Jiang HuHu, Jiang Sun Yat-sen UniversityChina Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jie HuHu, Jie University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Jingmei HuHu, Jingmei Amazon Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jingzhao HuHu, Jingzhao Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Ming HuHu, Ming Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Qiang HuHu, Qiang The University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tianmin HuHu, Tianmin Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Xing HuHu, Xing Zhejiang UniversityChina Practitioners’ Expectations on Automated Test Generation Automating Zero-Shot Patch Porting for Hard Forks SelfPiCo: Self-Guided Partial Code Execution with LLMs Silent Taint-Style Vulnerability Fixes Identification Committee Member in Program Committee within the ISSTA Technical Papers-track
Yupeng HuHu, Yupeng Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Hanxian HuangHuang, Hanxian University of California at San DiegoUnited States Multi-modal Learning for WebAssembly Reverse Engineering
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiabo HuangHuang, Jiabo TencentChina UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Jianjun HuangHuang, Jianjun Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Junjie HuangHuang, Junjie Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Kaifeng HuangHuang, Kaifeng Tongji UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Madonna HuangHuang, Madonna University of British Columbia Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup The Havoc Paradox in Generator-Based Fuzzing
Rubing HuangHuang, Rubing Macau University of Science and Technology (M.U.S.T.)China Programme Committee in Programme Committee within the MET-track
Tao HuangHuang, Tao Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Xilin HuangHuang, Xilin Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Xuejing HuangHuang, Xuejing University of Hong KongChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yu HuangHuang, Yu Vanderbilt UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuhuan HuangHuang, Yuhuan Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Zongan HuangHuang, Zongan Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Zunchen HuangHuang, Zunchen United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Florian HuemerHuemer, Florian JKU LinzAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Sze HueyHuey, Sze Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yintong HuoHuo, Yintong Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Ayman HusseinHussein, Ayman Technical University of DenmarkDenmark Fair Join Pattern Matching for Actors Fair join pattern matching for actors
Hieu HuynhHuynh, Hieu KatalonVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
I Anna IngolfsdottirIngolfsdottir, Anna Reykjavik University Runtime Instrumentation for Reactive Components
Omar InversoInverso, Omar Gran Sasso Science Institute Static Analysis for Software Security: Detecting Data Races in C
Grant IraciIraci, Grant University at BuffaloUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ibai Irigoyen CeberioIrigoyen Ceberio, Ibai Infineon Technologies AG In-field debugging of automotive microcontrollers for highest system availability
Anastasia IsychevIsychev, Anastasia TU WienAustria Publicity Chair in Organizing Committee for ISSTA 2024
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Constrictor: Immutability as a Design Concept
Yusuke IzawaIzawa, Yusuke Tokyo Metropolitan UniversityJapan Committee Member in Program Committee within the MPLR-track
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Neurosymbolic Repair of Test Flakiness Revisiting Test-Case Prioritization on Long-Running Test Suites Committee Member in Program Committee within the ISSTA Technical Papers-track
Kerstin JacobJacob, Kerstin University of Bamberg Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Purvish JajalJajal, Purvish Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Axel Tan JayaJaya, Axel Tan Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Seyeon JeongJeong, Seyeon SuresofttechSouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Committee Member in Program Committee within the MPLR-track
Ruihua JiJi, Ruihua Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Shouling JiJi, Shouling Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Limin JiaJia, Limin Carnegie Mellon University Modal Crash Types for Intermittent Computing
Bo JiangJiang, Bo Bytedance Network TechnologyChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Haoyu JiangJiang, Haoyu Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Testing Graph Database Systems with Graph-State Persistence Oracle Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Mingyue JiangJiang, Mingyue Zhejiang Sci-Tech UniversityChina Programme Committee in Programme Committee within the MET-track
Tingting JiangJiang, Tingting Guotai Junan SecuritiesChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Weipeng JiangJiang, Weipeng Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Wenxin JiangJiang, Wenxin Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Yu JiangJiang, Yu Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement Enhancing ROS System Fuzzing through Callback Tracing Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhihan JiangJiang, Zhihan Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset Committee Member in Program Committee within the ISSTA Technical Papers-track
Shunfu JinJin, Shunfu Yanshan UniversityChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Wenqiang JinJin, Wenqiang Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Xianhao JinJin, Xianhao ByteDance Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Bengt JonssonJonsson, Bengt Uppsala University, Sweden SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Eric JulJul, Eric University of OsloNorway How to get your Ph.D. DONE!
Ralf JungJung, Ralf ETH ZurichSwitzerland Miri: Practical Undefined Behavior Detection for Rust
René JustJust, René University of WashingtonUnited States Session Chair of Android and AR (part of ISSTA Technical Papers) FRAFOL: FRAmework FOr Learning mutation testing Benchmarks and Replicability in Software Engineering Research: Challenges and Opportunities Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs Call Graph Soundness in Android Static Analysis
K David KaindlstorferKaindlstorfer, David Web Co-Chair in Organizing Committee for ECOOP 2024 Web Co-Chair in Organizing Committee for ISSTA 2024
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yasutaka KameiKamei, Yasutaka Kyushu UniversityJapan Large Language Models for Equivalent Mutant Detection: How Far Are We?
Anemone KampkötterKampkötter, Anemone TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really?
Jeehoon KangKang, Jeehoon KAISTSouth Korea Committee Member in Program Committee within the MPLR-track
Mira KaniyurKaniyur, Mira Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Kelly KaoudisKaoudis, Kelly Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Nimantha KariyakarawanaKariyakarawana, Nimantha DistriNet-KU Leuven Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins
Samuel KaufmanKaufman, Samuel University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Tool demonstrations co-chair in Organizing Committee for ECOOP 2024 Tool demonstrations co-chair in Organizing Committee for ISSTA 2024 Committee Member in Program Committee within the ISSTA Technical Papers-track Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Timo KehrerKehrer, Timo University of BernSwitzerland Programme Committee in Programme Committee within the MET-track
Sven KeidelKeidel, Sven TU DarmstadtGermany Total Recall? How Good Are Static Call Graphs Really? Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
David KellyKelly, David Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jacky KeungKeung, Jacky City University of Hong KongHong Kong SAR China Practitioners’ Expectations on Automated Test Generation
Mohammad Wahiduzzaman KhanKhan, Mohammad Wahiduzzaman UL Lafayette Learning Gradual Typing Performance
Shehroz KhanKhan, Shehroz Åbo Akademi University Localizer - a visual debugging assistant for Python programs
Dongsun KimKim, Dongsun Korea UniversitySouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Hyungseok KimKim, Hyungseok Affiliated Institute of ETRISouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Soomin KimKim, Soomin KAISTSouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Elad KinsbrunerKinsbruner, Elad TechnionIsrael Constrictor: Immutability as a Design Concept Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria Welcome from the Chairs Committee Member in Program Committee within the MPLR-track PC Chair in Program Committee within the MPLR-track PC Chair in Organizing Committee within the MPLR-track
Ákos KissKiss, Ákos University of Szeged, HungaryHungary GreeDDy: Accelerate Parallel DDMIN
Jonas KlaukeKlauke, Jonas Heinz Nixdorf Institut, Paderborn UniversityGermany Java Bytecode Normalization for Code Similarity Analysis
Jacques KleinKlein, Jacques University of LuxembourgLuxembourg Session Chair of LLMs for Code (part of ISSTA Technical Papers) CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors Call Graph Soundness in Android Static Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom Organizing Committee in Organizing Committee within the PLF-track
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Committee Member in Program Committee within the ICOOOLPS-track
Erik KocinareKocinare, Erik Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Dimitri KokkonisKokkonis, Dimitri CEA LISTFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ziqiao KongKong, Ziqiao Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Nikita KovalKoval, Nikita JetBrainsNetherlands CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM Coroutines Scheduler Fast and Scalable Communication Channels Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines Speaker in Organizing Committee within the CAKC-track
Anil KoyuncuKoyuncu, Anil Bilkent UniversityTurkey Committee Member in Program Committee within the ISSTA Technical Papers-track
Rrezarta KrasniqiKrasniqi, Rrezarta University of North Carolina at CharlotteUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Xiaohui KuangKuang, Xiaohui Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Iona KuhnKuhn, Iona University of OxfordUnited Kingdom Less is More Revisited: Global Specification and Local Verification Approaches
Roland KuhnKuhn, Roland Actyx AGGermany Compositional Verification of Swarm Protocols Organizing Committee in Organizing Committee within the PLAID-track
Stefan KuhnKuhn, Stefan Tartu University A Reversible Debugger for MPI Applications
James KukuckaKukucka, James George Mason UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2024 Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) Generalized Concurrency Testing Tool for Distributed Systems Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track Committee Member in Programme Committee within the A-TEST-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Ashish KumarKumar, Ashish Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Sriteja KummitaKummita, Sriteja Fraunhofer IEM Visualization Task Taxonomy to Understand the Fuzzing Internals
Benjamin KushigianKushigian, Benjamin University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Taekyoung KwonKwon, Taekyoung Yonsei UniversitySouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
L Nicolas LagaillardieLagaillardie, Nicolas Imperial College London Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Yi-Hsiang LaiLai, Yi-Hsiang Amazon Web ServicesUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Duy LamLam, Duy Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Patrick LamLam, Patrick University of Waterloo Abstract Debugging with GobPie
Wing LamLam, Wing George Mason UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Junhao LanLan, Junhao Tianjin University, China Testing Graph Database Systems with Graph-State Persistence Oracle
Ivan LaneseLanese, Ivan University of Bologna/INRIA Reversible Debugging of Erlang Programs in CauDEr
Zhe LangLang, Zhe Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Octave LaroseLarose, Octave University of KentUnited Kingdom Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems
Bradford LarsenLarsen, Bradford Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
James I. LathropLathrop, James I. Iowa State UniversityUnited States Traceback: A Fault Localization Technique for Molecular Programs
Lorenzo LaudadioLaudadio, Lorenzo ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Concolic Multiverse Debugging
Nadjib LazaarLazaar, Nadjib Evaluating Human Trajectory Prediction with Metamorphic Testing
Paul-Antoine Le TolguenecLe Tolguenec, Paul-Antoine ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hung LeLe, Hung Deakin UniversityAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Van-Hoang LeLe, Van-Hoang The University of NewcastleVietnam Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Wei LeLe, Wei Iowa State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuan-Bach D. LeLe, Xuan-Bach D. University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the MPLR-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
Cheryl LeeLee, Cheryl Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Jungwoo LeeLee, Jungwoo KAISTSouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Sungho LeeLee, Sungho Chungnam National University, KoreaSouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Yi LeeLee, Yi University of Maryland, College Park Qafny: A Quantum-Program Verifier
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States An In-Depth Study of Runtime Verification Overheads during Software Testing Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Daniel LehmannLehmann, Daniel Google, GermanyGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhanyao LeiLei, Zhanyao Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
João LeitãoLeitão, João NOVA LINCS & FCT, NOVA University of LisbonPortugal Organizing Committee in Organizing Committee within the PLAID-track
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup The Havoc Paradox in Generator-Based Fuzzing Committee Member in Program Committee within the FUZZING-track
David LeopoldsederLeopoldseder, David Oracle LabsAustria Accurate Compilation Replay via Remote JIT Compilation (Poster) Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, ItalyItaly Session Chair of Gamify 2024 session 2 (part of Gamify) Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps A Gaming Quest to Improve Web Locators Robustness Enlisting Students in Gamifying Software Testing Education: Results and Key Insights Introduction to the Gamify 2024 workshop
Markus LepperLepper, Markus semanticsGermany Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the VORTEX-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Pure methods for roDOT
Ao LiLi, Ao Carnegie Mellon UniversityUnited States The Havoc Paradox in Generator-Based Fuzzing
Chongmin LiLi, Chongmin Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
Dan LiLi, Dan Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Ding LiLi, Ding Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Dong LiLi, Dong Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Fei LiLi, Fei Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Haofeng LiLi, Haofeng Institute of Computing Technology at Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Heng LiLi, Heng Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Hu LiLi, Hu Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Jianfeng LiLi, Jianfeng Xi’an Jiaotong UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Jiyuan LiLi, Jiyuan Tianjin University, China Testing Graph Database Systems with Graph-State Persistence Oracle
Kaixuan LiLi, Kaixuan East China Normal University; Nanyang Technological UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Keqiang LiLi, Keqiang East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Li LiLi, Li Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability Committee Member in Program Committee within the ISSTA Technical Papers-track
Liangguo LiLi, Liangguo East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Liyi LiLi, Liyi Iowa State University Qafny: A Quantum-Program Verifier
Meng LiLi, Meng Hefei University of TechnologyChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Pan LiLi, Pan MoveBitChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Pingping LiLi, Pingping Guotai Junan SecuritiesChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Qian LiLi, Qian Curtin UniversityAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Qingshan LiLi, Qingshan Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Senxi LiLi, Senxi The University of Tokyo InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Shanping LiLi, Shanping Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks SelfPiCo: Self-Guided Partial Code Execution with LLMs
Shanshan LiLi, Shanshan Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Shoubin LiLi, Shoubin Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Teng LiLi, Teng University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjin LiLi, Wenjin NSFOCUS Technologies GroupChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Xiaobei LiLi, Xiaobei Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies
Xiaohong LiLi, Xiaohong Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xuandong LiLi, Xuandong Nanjing UniversityChina Silent Taint-Style Vulnerability Fixes Identification Distance-Aware Test Input Selection for Deep Neural Networks
Yeting LiLi, Yeting Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Yichen LILI, Yichen Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Ying LiLi, Ying University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yuekang LiLi, Yuekang UNSWAustralia How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Bugs in Pods: Understanding Bugs in Container Runtime Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Yufeng LiLi, Yufeng University of Waterloo Pure methods for roDOT
Zhenhao LiLi, Zhenhao York UniversityCanada ThinkRepair: Self-Directed Automated Program Repair
Zhong LiLi, Zhong Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Zhongrui LiLi, Zhongrui Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Zihao LiLi, Zihao Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Ziwei LiLi, Ziwei Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Bin LiangLiang, Bin Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Pingjia LiangLiang, Pingjia Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Qingyuan LiangLiang, Qingyuan Peking UniversityChina Commit Artifact Preserving Build Prediction
Ruigang LiangLiang, Ruigang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shuyun LiangLiang, Shuyun Southern University of Science and TechnologyChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Lizhi LiaoLiao, Lizhi Memorial University of Newfoundland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Qing LiaoLiao, Qing Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Bo LinLin, Bo National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Li LinLin, Li Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Xingwei LinLin, Xingwei Zhejiang UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature Committee Member in Program Committee within the ISSTA Technical Papers-track
Mario Linares-VásquezLinares-Vásquez, Mario Universidad de los AndesColombia Committee Member in Program Committee within the ISSTA Technical Papers-track
Jens LinckeLincke, Jens Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Stephan LippLipp, Stephan TU MunichGermany Committee Member in Program Committee within the FUZZING-track
Teodors LisovenkoLisovenko, Teodors Ca' Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Chao LiuLiu, Chao Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Chen LiuLiu, Chen Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Chenyan LiuLiu, Chenyan Shanghai Jiao Tong University; National University of SingaporeChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Dongfang LiuLiu, Dongfang Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Han LiuLiu, Han East China Normal UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Hongle LiuLiu, Hongle Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Hongwang LiuLiu, Hongwang Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Huai LiuLiu, Huai Swinburne University of TechnologyAustralia Session Chair of MET2024 Opening and Keynote Talk (part of MET) Opening remarks Organizer in Organizing Committee within the MET-track
Hui LiuLiu, Hui Beijing Institute of TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Jia LiuLiu, Jia Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Jiakai LiuLiu, Jiakai Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Jianzhong LiuLiu, Jianzhong Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Jinyang LiuLiu, Jinyang Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Kui LiuLiu, Kui HuaweiChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Lei LiuLiu, Lei Xi’an Jiaotong UniversityChina Practitioners’ Expectations on Automated Test Generation
Long LiuLiu, Long Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Pei LiuLiu, Pei CSIRO’s Data61Australia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Shangqing LiuLiu, Shangqing Nanyang Technological UniversitySingapore FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Shuang LiuLiu, Shuang Renmin University of ChinaChina Testing Graph Database Systems with Graph-State Persistence Oracle Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Shuning LiuLiu, Shuning Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Ting LiuLiu, Ting Xi'an Jiaotong University Committee Member in Program Committee within the ISSTA Technical Papers-track
Wanwei LiuLiu, Wanwei National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Ye LiuLiu, Ye Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts
Yi LiuLiu, Yi Nanyang Technological UniversitySingapore DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Yunqi LiuLiu, Yunqi Nanjing University of Science and TechnologyChina FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
Zengyu LiuLiu, Zengyu National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks
Zeyan LiuLiu, Zeyan University of Kansas, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding Automating Zero-Shot Patch Porting for Hard Forks
Zixi LiuLiu, Zixi Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
David LoLo, David Singapore Management UniversitySingapore CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding FDI: Attack Neural Code Generation Systems through User Feedback Channel Practitioners’ Expectations on Automated Test Generation AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yiling LouLou, Yiling Fudan UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Hugo LourençoLourenço, Hugo OutSystems SAPortugal Undo and Redo in Concurrent Multifaceted Low-code Application Models
Jie LuLu, Jie Institute of Computing Technology at Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Jingbo LuLu, Jingbo University of New South Wales A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FTfJP-track
Minghai LuLu, Minghai Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Wei LuLu, Wei Renmin University of China, China Testing Graph Database Systems with Graph-State Persistence Oracle
Yi LuLu, Yi BitsLabSingapore Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
You LuLu, You Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Yung-Hsiang LuLu, Yung-Hsiang Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Chuan LuoLuo, Chuan Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Feng LuoLuo, Feng Hong Kong Polytechnic UniversityChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Weilin LuoLuo, Weilin Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhengxiong LuoLuo, Zhengxiong National University of SingaporeChina Logos: Log Guided Fuzzing for Protocol Implementations
Thibaud LutellierLutellier, Thibaud University of AlbertaCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Tuan-Hai LuuLuu, Tuan-Hai Cinnamon AIVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Shichao LvLv, Shichao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Stian LybechLybech, Stian Reykjavik University A Sound Type System for Secure Currency Flow
Jun LyuLyu, Jun Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Michael LyuLyu, Michael Chinese University of Hong KongHong Kong A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuangyu LyuLyu, Shuangyu Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Andreas LööwLööw, Andreas Imperial College London Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
M Jie M. ZhangM. Zhang, Jie King's College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Haoyang MaMa, Haoyang Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler
Lei MaMa, Lei The University of Tokyo & University of AlbertaJapan Committee Member in Program Committee within the ISSTA Technical Papers-track
Shiqing MaMa, Shiqing University of Massachusetts at AmherstUnited States Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Wei MaMa, Wei Nanyang Technological UniversitySingapore How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Xutong MaMa, Xutong Institute of Software, Chinese Academy of Sciences, Beijing, China Panda: A Concurrent Scheduler for Compiler-Based Tools
Xuyan MaMa, Xuyan Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Yuchi MaMa, Yuchi Huawei Cloud Computing TechnologiesChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Yunlong MaMa, Yunlong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Dara MacConvilleMacConville, Dara Maynooth UniversityIreland Session Chair of FTfJP Session 3 (part of FTfJP) Towards a model checker for Python: pymodcheck
Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
Ardi MadadiMadadi, Ardi University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Fernanda MadeiralMadeiral, Fernanda Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the ISSTA Technical Papers-track
Junayed MahmudMahmud, Junayed University of Central FloridaUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Tarek MahmudMahmud, Tarek Texas State UniversityBangladesh Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Petr MajMaj, Petr Czech Technical University The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Petar MaksimovićMaksimović, Petar Imperial College London, UK Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Sam MalekMalek, Sam University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Michaël MarcozziMarcozzi, Michaël Université Paris-Saclay, CEA, ListFrance Committee Member in Program Committee within the FUZZING-track
Roy MargalitMargalit, Roy Tel Aviv University, Israel Robustness against the C/C++11 memory model
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Session Chair of Analysis of Code Origin (part of ISSTA Technical Papers) Revisiting Test-Case Prioritization on Long-Running Test Suites
David MarkvicaMarkvica, David μCSRL, CODE Research Institute, University of the Bundeswehr Munich Understanding and Improving Coverage Tracking with AFL++
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Compilation and Runtimes (part of ECOOP Technical Papers) Session Chair of MPLR "Programming" Session (part of MPLR) Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems Closing Session
Matteo MarraMarra, Matteo Nokia Bell Labs, BelgiumBelgium Language-Agnostic Debugging for Microcontrollers Committee Member in Program Committee within the DEBT-track
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTfJP-track
Ott-Kaarel MartensMartens, Ott-Kaarel Tartu University A Reversible Debugger for MPI Applications
Matias MartinezMartinez, Matias Universitat Politècnica de Catalunya (UPC)Spain Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Stefan MarxMarx, Stefan Johannes Gutenberg-Universität MainzGermany Abstract Interpretation of Java Bytecode in Sturdy
Beatriz MarínMarín, Beatriz Universitat Politècnica de ValènciaSpain Web Chair in Organizing Committee within the A-TEST-track
Shreya MathewsMathews, Shreya IMC University of Applied Sciences Krems SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Program Committee within the ISSTA Technical Papers-track
Albrecht MayerMayer, Albrecht Infineon Technologies AG In-field debugging of automotive microcontrollers for highest system availability
Quentin MazouniMazouni, Quentin Simula Research LaboratoryNorway Policy Testing with MDPFuzz (Replicability Study)
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Shane McIntoshMcIntosh, Shane University of WaterlooCanada Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Sergey MechtaevMechtaev, Sergey Peking UniversityChina Oracle-Guided Program Selection from Large Language Models
Forough MehralianMehralian, Forough University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Hong MeiMei, Hong Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Olivier MelançonMelançon, Olivier DIRO, Université de MontréalCanada Static Basic Block Versioning
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Fair Join Pattern Matching for Actors Fair join pattern matching for actors
Rafael MenezesMenezes, Rafael University of ManchesterUnited Kingdom ESBMC-Python: A Bounded Model Checker for Python Programs
Dan MengMeng, Dan Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saverio Mattia MerendaMerenda, Saverio Mattia University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
Ali MesbahMesbah, Ali University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Jonathan MetzmanMetzman, Jonathan GoogleUnited States Effective Fuzzing within CI/CD Pipelines
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Session Chair of Software Systems (part of ECOOP Technical Papers) Incrementalizing Polynomial Functors Library Based Choreographies in Lean Graph Learning for Extract Class Refactoring Collaboration to Repository-Level Vulnerability Detection Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Learning the Effects of Software Changes Shaping Test Inputs in Grammar-Based Fuzzing Compiling with Arrays Total Recall? How Good Are Static Call Graphs Really? Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Committee Member in Program Committee within the ECOOP Technical Papers-track
Miao MiaoMiao, Miao The University of Texas at DallasUnited States Visualization Task Taxonomy to Understand the Fuzzing Internals
Zeina MigeedMigeed, Zeina University of California, Los Angeles Generalizing Shape Analysis with Gradual Types
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the MPLR-track
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Committee Member in Program Committee within the ECOOP Technical Papers-track
Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt Dynamically Generating Callback Summaries for Enhancing Static Analysis
Ashish MishraMishra, Ashish Purdue UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Fumika MochizukiMochizuki, Fumika University of TokyoJapan Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Discussion Round Committee Member in Program Committee within the ECOOP Technical Papers-track Organizing Committee in Organizing Committee within the PLF-track
Evgenii MoiseenkoMoiseenko, Evgenii JetBrains Research Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain FixCheck: A Tool for Improving Patch Correctness Analysis Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Rosemary MonahanMonahan, Rosemary Ireland Towards a model checker for Python: pymodcheck
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 ECOOP Artifact Evaluation Chair in Organizing Committee for ECOOP 2024 Co-chair in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Program Committee within the DEBT-track
Shouvick MondalMondal, Shouvick IIT GandhinagarIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Ozone: Fully Out-of-Order Choreographies
Kevin MoranMoran, Kevin University of Central FloridaUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions Committee Member in Program Committee within the ISSTA Technical Papers-track
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices
Raphael MosanerMosaner, Raphael JKU LinzAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
João MotaMota, João NOVA School of Science and Technology Behavioral up/down casting for statically typed languages
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in Program Committee within the MPLR-track
Rene MuellerMueller, Rene Huawei Zurich Research CenterSwitzerland The Cost of Profiling in the HotSpot Virtual Machine
Malte MuesMues, Malte TU Dortmund University Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Stefanie Muroya LeiMuroya Lei, Stefanie Institute of Science and Technology in AustriaPeru The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Mika MäntyläMäntylä, Mika University of Helsinki and University of OuluFinland Committee Member in Programme Committee within the A-TEST-track
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing Lazy Sparse Conditional Constant Propagation in the Sea of Nodes Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Anders MøllerMøller, Anders Aarhus UniversityDenmark Indirection-Bounded Call Graph Analysis
N Stefan NagyNagy, Stefan Committee Member in Program Committee within the FUZZING-track
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Committee Member in Program Committee within the MPLR-track
Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Noor NashidNashid, Noor University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Inductive Predicate Synthesis Modulo Programs
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
João NetoNeto, João Delft University of TechnologyNetherlands Generalized Concurrency Testing Tool for Distributed Systems
Ryan R. NewtonNewton, Ryan R. Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Huan NguyenNguyen, Huan Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Thanh-Dat NguyenNguyen, Thanh-Dat University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Segment-Based Test Case Prioritization: A Multi-objective Approach Committee Member in Program Committee within the ISSTA Technical Papers-track
Vu NguyenNguyen, Vu Katalon; Ho Chi Minh City University of Science; Vietnam National UniversityVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
Hung Nguyen-DuyNguyen-Duy, Hung Independent ResearcherVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Chao NiNi, Chao Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Lyu NiNi, Lyu East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Wode NiNi, Wode Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Alexander NicolellisNicolellis, Alexander Iowa State University Qafny: A Quantum-Program Verifier
Pengyu NieNie, Pengyu University of WaterlooCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Fabio NiephausNiephaus, Fabio Oracle LabsGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Zhenyu NingNing, Zhenyu Hunan University; Xinchuang Haihe LaboratoryChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
James NobleNoble, James Independent. Wellington, NZNew Zealand Dafny vs. Dala: Experience with Mechanising Language Design
Yannic NollerNoller, Yannic Ruhr University BochumGermany Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Mutator-Driven Object Placement using Load Barriers
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Sparse Symbolic Loop Execution Committee Member in Program Committee within the FUZZING-track
Muhammad Numair MansurNumair Mansur, Muhammad Amazon Web ServicesGermany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2024 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Julius NäumannNäumann, Julius TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt Dynamically Generating Callback Summaries for Enhancing Static Analysis
Alberto NúňezNúňez, Alberto University Complutense of Madrid, Spain.Spain Programme Committee in Programme Committee within the MET-track
O Robert O'CallahanO'Callahan, Robert GoogleNew Zealand Advanced Debugging Techniques In Practice
Martin OderskyOdersky, Martin EPFLSwitzerland Stack-copying Delimited Continuations for Scala Native Programme Committee in Program Committee within the ICOOOLPS-track
Eri OgawaOgawa, Eri University of Tokyo; IBM ResearchJapan Dynamic Possible Source Count Analysis for Data Leakage Prevention
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Milos OjdanicOjdanic, Milos University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Katsumi OkudaOkuda, Katsumi Massachusetts Institute of Technology; Mitsubishi Electric CorporationUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Disjoint Polymorphism with Intersection and Union Types
Luca OlivieriOlivieri, Luca University Ca' Foscari, VeniceItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ana OprescuOprescu, Ana University of AmsterdamNetherlands Bug localisation in Model-Based Testing Using Model-Centric Shrinking
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yicheng OuyangOuyang, Yicheng University of Illinois at Urbana-ChampaignUnited States Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Yu OuyangOuyang, Yu Ant GroupChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Lisa OverallOverall, Lisa Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ECOOP 2024 Tool demonstrations co-chair in Organizing Committee for ISSTA 2024 Session Chair of Tool demos 2 (part of ISSTA/ECOOP Tool Demonstrations) Session Chair of Tool Demos 1 (part of ISSTA/ECOOP Tool Demonstrations) Session Chair of Execution and Profiling (part of ISSTA Technical Papers) The Havoc Paradox in Generator-Based Fuzzing Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Ana PaivaPaiva, Ana INESC TEC, Faculty of Engineering, University of PortoPortugal FRAFOL: FRAmework FOr Learning mutation testing
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Vineeth PaleriPaleri, Vineeth National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Generalizing Shape Analysis with Gradual Types
Minxue PanPan, Minxue Nanjing UniversityChina Silent Taint-Style Vulnerability Fixes Identification BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Distance-Aware Test Input Selection for Deep Neural Networks
Shengyi PanPan, Shengyi Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg Session Chair of Testing and Repairing Neural Networks (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Pavel ParizekParizek, Pavel Charles University Pure methods for roDOT
Sangeon ParkPark, Sangeon Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Oscar PastorPastor, Oscar Universitat Politecnica de ValenciaSpain Committee Member in Programme Committee within the A-TEST-track
Nisarg PatelPatel, Nisarg New York UniversityUnited States Verifying Lock-free Search Structure Templates
Bernd PaysanPaysan, Bernd net2o The Performance Effects of Virtual-Machine Instruction Pointer Updates
Hammond PearcePearce, Hammond University of New South Wales, SydneyAustralia Runtime Verified Neural Networks for Cyber-Physical Systems
Saba PedramPedram, Saba Using Category Partition to Detect Metamorphic Relations
Giulia PedrielliPedrielli, Giulia Committee Member in Program Committee within the VORTEX-track
Kexin PeiPei, Kexin Columbia University; University of ChicagoUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yu PeiPei, Yu Hong Kong Polytechnic UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Yunrui PeiPei, Yunrui Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Operational and Declarative Runtime Verification and their Combination
Hila PelegPeleg, Hila TechnionIsrael Session Chair of MPLR "Optimization" Session (part of MPLR) Constrictor: Immutability as a Design Concept Committee Member in Program Committee within the MPLR-track
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Chao PengPeng, Chao ByteDanceChina Session Chair of Program Repair 2 (part of ISSTA Technical Papers) Session Chair of LLMs for Code Generation (part of ISSTA Technical Papers)
Ruikang PengPeng, Ruikang Central South UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Xin PengPeng, Xin Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing Committee Member in Program Committee within the ISSTA Technical Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Ozone: Fully Out-of-Order Choreographies
Pavlos PetoumenosPetoumenos, Pavlos University of ManchesterUnited Kingdom Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Andrej PečimúthPečimúth, Andrej Oracle Labs; Charles UniversityCzechia Accurate Compilation Replay via Remote JIT Compilation (Poster)
Long H. PhamPham, Long H. Singapore Management UniversitySingapore Certified Continual Learning for Neural Network Regression
Nguyen PhamPham, Nguyen EPFL, LAMPSwitzerland Stack-copying Delimited Continuations for Scala Native
Nhu PhamPham, Nhu Katalon; Ho Chi Minh City University of ScienceVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
Thuan PhamPham, Thuan University of MelbourneAustralia An Empirical Study of Static Analysis Tools for Secure Code Review Programme Committee in Programme Committee within the MET-track Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Weiguo PianPian, Weiguo University of LuxembourgLuxembourg CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Matthew pikepike, Matthew University of Nottingham, Ningbo, China Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Samuel PilzPilz, Samuel Student Volunteer Co-Chair in Organizing Committee for ECOOP 2024 Student Volunteers Co-Chair in Organizing Committee for ISSTA 2024 Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States An Empirical Examination of Fuzzer Mutator Performance
Eduard PinconschiPinconschi, Eduard Carnegie Mellon UniversityUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems Committee Member in Program Committee within the VORTEX-track
Laura PleinPlein, Laura CISPA Helmholtz Center for Information Security Learning the Effects of Software Changes
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkUnited States Ozone: Fully Out-of-Order Choreographies
Mykhailo PoienkoPoienko, Mykhailo IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Serena Elisa PontaPonta, Serena Elisa SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
Pak-Lok PoonPoon, Pak-Lok School of Engineering & Technology, Central Queensland University, Australia Using Metamorphic Relations to Improve Accuracy and Robustness of Deep Neural Networks
Alex PotaninPotanin, Alex Australian National UniversityAustralia Higher-Order Specifications for Deductive Synthesis of Programs with Pointers Pipit on the Post: proving pre- and post-conditions of reactive systems
Alexander PotapovPotapov, Alexander JetBrains Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Hannah PotterPotter, Hannah University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Michael PradelPradel, Michael University of StuttgartGermany PC Chair in Organizing Committee for ISSTA 2024 Session Chair of Smart Contracts (part of ISSTA Technical Papers) Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Opening and Awards (part of ISSTA Keynotes) Session Chair of ISSTA 2025 Preview and Closing (part of ISSTA Keynotes) PC Chair in Program Committee within the ISSTA Technical Papers-track
Jyoti PrakashPrakash, Jyoti Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wishnu PrasetyaPrasetya, Wishnu Utrecht University Organizing Chair in Organizing Committee within the A-TEST-track
Nuno PreguicaPreguica, Nuno Organizing Committee in Organizing Committee within the PLAID-track
Alexander PretschnerPretschner, Alexander TU MunichGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Soumyakant PriyadarshanPriyadarshan, Soumyakant Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Geguang PuPu, Geguang East China Normal University Committee Member in Program Committee within the ISSTA Technical Papers-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Committee Member in Program Committee within the VORTEX-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon University; NASA AmesUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Q Zhengwei QiQi, Zhengwei Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Peng QianQian, Peng Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Zheng QinQin, Zheng Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Han QiuQiu, Han Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Jie QiuQiu, Jie Duolingo Search-Based Translations for Tensor Operations Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Junming QiuQiu, Junming Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Kun QiuQiu, Kun Hefei University of TechnologyChina Session Chair of MET2024 Session 1: Applications of Metamorphic Testing (part of MET) Using Metamorphic Relations to Improve Accuracy and Robustness of Deep Neural Networks Programme Committee in Programme Committee within the MET-track
Mingran QiuQiu, Mingran Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Rui QiuQiu, Rui Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhou QuanQuan, Zhou Xidian University HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
R Rafiqul RabinRabin, Rafiqul University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Emmanuel RachelsonRachelson, Emmanuel ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Dimi RacordonRacordon, Dimi EPFL, LAMPSwitzerland Organizing Committee in Organizing Committee within the ICOOOLPS-track
Dimitri RacordonRacordon, Dimitri EPFLSwitzerland Existential Containers in Scala
Lucian Radu TeodorescuRadu Teodorescu, Lucian Garmin International Structured concurrency in Hylo
Tahmid RafiRafi, Tahmid University of Texas at San AntonioUnited States Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Rudolf RamlerRamler, Rudolf Software Competence Center Hagenberg (SCCH)Austria First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents
Dezhi RanRan, Dezhi Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada Committee Member in Program Committee within the ECOOP Technical Papers-track
Divya RathoreRathore, Divya Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
António RavaraRavara, António Nova University of LisbonPortugal Session Chair of Types 2 (part of ECOOP Technical Papers) Behavioral up/down casting for statically typed languages Committee Member in Program Committee within the ECOOP Technical Papers-track
Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Committee Member in Program Committee within the FTfJP-track
James ReedReed, James Fireworks AI Generalizing Shape Analysis with Gradual Types
Germán RegisRegis, Germán University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Technical Papers-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Disjoint Polymorphism with Intersection and Union Types Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Michael ReifReif, Michael CQSEGermany Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Marina RibaudoRibaudo, Marina Enlisting Students in Gamifying Software Testing Education: Results and Key Insights
Filippo RiccaRicca, Filippo DIBRIS, Università di GenovaItaly Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy A Gaming Quest to Improve Web Locators Robustness
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
David RichterRichter, David Technical University of DarmstadtGermany Incrementalizing Polynomial Functors Library Based Choreographies in Lean Compiling with Arrays Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Oliviero RiganelliRiganelli, Oliviero University of Milano - BicoccaItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Workshops Chair in Organizing Committee for ECOOP 2024 Workshops Chair in Organizing Committee for ISSTA 2024 Session Chair of Databases (part of ISSTA Technical Papers) Inconsistencies in TeX-Produced Documents Detecting Build Dependency Errors in Incremental Builds Workshops Chair in Workshops Committee within the ISSTA/ECOOP Workshops-track
Amos RobinsonRobinson, Amos Australian National University, AustraliaAustralia Pipit on the Post: proving pre- and post-conditions of reactive systems
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit Brussel Language-Agnostic Debugging for Microcontrollers
Guillermo Román-DíezRomán-Díez, Guillermo Universidad Politécnica de MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Guoping RongRong, Guoping Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Yuyang RongRong, Yuyang University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Partha RoopRoop, Partha University of Auckland Runtime Verified Neural Networks for Cyber-Physical Systems
Tobias RothRoth, Tobias TU Darmstadt; National Research Center for Applied Cybersecurity ATHENEGermany Total Recall? How Good Are Static Call Graphs Really? Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Raven RothkopfRothkopf, Raven Barnard CollegeUnited States Rose: Composable Autodiff for the Interactive Web
Reshma RoyRoy, Reshma National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the ISSTA Technical Papers-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University R2U2: Runtime Verification Takes Off! Committee Member in Program Committee within the VORTEX-track
Michal RozsívalRozsíval, Michal Faculty of Information Technology, Brno University of Technology Automated Testing of Networked Systems Reliability
Haifeng RuanRuan, Haifeng National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Julia RubinRubin, Julia The University of British ColumbiaCanada Session Chair of Call Graphs and Static Analysis (part of ISSTA Technical Papers) The Overlooked Steps in Program Analysis: Designing by People for People
Albert RubioRubio, Albert Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Theo C RuysRuys, Theo C Axini B.V. Bug localisation in Model-Based Testing Using Model-Centric Shrinking
S Sreekala SS, Sreekala National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Mutation-based Lifted Repair of Software Product Lines
Mehrdad SaadatmandSaadatmand, Mehrdad RISE Research Institutes of SwedenSweden Committee Member in Programme Committee within the A-TEST-track
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Abstract Debugging with GobPie Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden Session Chair of Blockchain (part of ISSTA Technical Papers) SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Antu SahaSaha, Antu William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland PC Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of (part of ECOOP Technical Papers) ECOOP Awards Opening and Welcome Committee Member in Program Committee within the ISSTA Technical Papers-track PC Co-Chair in Program Committee within the ECOOP Technical Papers-track
Amit SamantaSamanta, Amit University of Utah Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jordan SamhiSamhi, Jordan CISPA Helmholtz Center for Information SecurityGermany Call Graph Soundness in Android Static Analysis Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Vasil SarafovSarafov, Vasil μCSRL, CODE Research Institute, University of the Bundeswehr Munich Understanding and Improving Coverage Tracking with AFL++
Anusha SarrafSarraf, Anusha Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Hassan SartajSartaj, Hassan Simula Research LaboratoryNorway Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Florian SattlerSattler, Florian Saarland Informatics Campus, Saarland UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Opening remarks Compositional Verification of Swarm Protocols Fair Join Pattern Matching for Actors Fair join pattern matching for actors Committee Member in Program Committee within the VORTEX-track Organizing Committee in Organizing Committee within the PLAID-track
Eva SchennerSchenner, Eva Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024
Fabian SchiebelSchiebel, Fabian Fraunhofer IEM Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Moritz SchloegelSchloegel, Moritz CISPA, Germany Committee Member in Program Committee within the FUZZING-track
Bradley SchmerlSchmerl, Bradley Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Alexander SchmidtSchmidt, Alexander Software Competence Center Hagenberg (SCCH)Austria First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents
Nicolas SchneiderSchneider, Nicolas AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Concolic Multiverse Debugging Closing by the workshop organizers Organizing Committee in Organizing Committee within the DEBT-track
Stefan SchottSchott, Stefan Heinz Nixdorf Institut, Paderborn UniversityGermany Java Bytecode Normalization for Code Similarity Analysis
Peter SchrammelSchrammel, Peter University of Sussex and Diffblue LtdUnited Kingdom JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Florian SchwarczSchwarcz, Florian Johannes Kepler University Linz LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing
Adam ScottScott, Adam North Carolina State UniversityUnited States Feedback-Directed Partial Execution
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Programme Committee within the A-TEST-track
Sergio SeguraSegura, Sergio University of SevilleSpain Programme Committee in Programme Committee within the MET-track
R. SekarSekar, R. Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Ilya SergeySergey, Ilya National University of SingaporeSingapore Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance Static Basic Block Versioning Committee Member in Program Committee within the ECOOP Technical Papers-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Florian SextlSextl, Florian TU Wien, AustriaAustria With Biabduction towards Memory Safety across the Rust-C-FFI
Zihan ShaSha, Zihan Information Engineering UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Mobina ShahbandehShahbandeh, Mobina University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Arooba ShahoorShahoor, Arooba Kyungpook National UniversitySouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Shiwen ShanShan, Shiwen Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Arindam SharmaSharma, Arindam Imperial College London, UK Effective Fuzzing within CI/CD Pipelines Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dennis ShashaShasha, Dennis New York UniversityUnited States Verifying Lock-free Search Structure Templates
Xinyu SheShe, Xinyu Huazhong University of Science and TechnologyChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Chao ShenShen, Chao Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Jiacheng ShenShen, Jiacheng Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Qingchao ShenShen, Qingchao Tianjin UniversityChina Towards Understanding the Bugs in Solidity Compiler
Wenbo ShenShen, Wenbo Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries Bugs in Pods: Understanding Bugs in Container Runtime Systems
Yuheng ShenShen, Yuheng Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
August ShiShi, August The University of Texas at AustinUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Chenghang ShiShi, Chenghang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Ensheng ShiShi, Ensheng Xi’an Jiaotong UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Gang ShiShi, Gang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Heyuan ShiShi, Heyuan Central South UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement Enhancing ROS System Fuzzing through Callback Tracing
Jiangfan ShiShi, Jiangfan Zhejiang UniversityChina Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Jie ShiShi, Jie Huawei InternationalSingapore TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Ling ShiShi, Ling Nanyang Technological UniversitySingapore DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Qingkai ShiShi, Qingkai Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Wenchang ShiShi, Wenchang Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Zhiqiang ShiShi, Zhiqiang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Jiho ShinShin, Jiho York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Ryota ShioyaShioya, Ryota University of TokyoJapan Dynamic Possible Source Count Analysis for Data Leakage Prevention
Sohil Lal ShresthaShrestha, Sohil Lal The University of Texas at ArlingtonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Honglin ShuShu, Honglin Kyushu UniversityJapan Large Language Models for Equivalent Mutant Detection: How Far Are We?
Mohammed Latif SiddiqSiddiq, Mohammed Latif University of Notre DameUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Natalia Silvis-CividjianSilvis-Cividjian, Natalia Vrije Universiteit (VU) AmsterdamNetherlands Bug-Hunting Games to Assist Software Development and Testing Education
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dang SixuanSixuan, Dang Duke University CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Gasper Skvarc BozicSkvarc Bozic, Gasper Infineon Technologies AG In-field debugging of automotive microcontrollers for highest system availability
Jeongju SohnSohn, Jeongju University of LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Fu SongSong, Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software TechnologyChina FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Haoze SongSong, Haoze The University of Hong Kong, Hong KongHong Kong SAR China CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
Jiansen SongSong, Jiansen Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Shuwei SongSong, Shuwei University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wei SongSong, Wei Nanjing University of Science and TechnologyChina FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuezhi SongSong, Xuezhi Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Yang SongSong, Yang William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Zhanwei SongSong, Zhanwei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Zihe SongSong, Zihe University of Texas at DallasUnited States Guardian: A Runtime Framework for LLM-Based UI Exploration
Ezekiel SoremekunSoremekun, Ezekiel Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jonas SpengerSpenger, Jonas KTH Royal Institute of TechnologySweden Failure Transparency in Stateful Dataflow Systems
Helge SpiekerSpieker, Helge Simula Research LaboratoryNorway Evaluating Human Trajectory Prediction with Metamorphic Testing Policy Testing with MDPFuzz (Replicability Study)
Manu SridharanSridharan, Manu University of California at RiversideUnited States Indirection-Bounded Call Graph Analysis
Prashast SrivastavaSrivastava, Prashast Columbia University, USAUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Leo St. AmourSt. Amour, Leo Virginia TechUnited States Toward Declarative Auditing of Java Software for Graceful Exception Handling Toward Declarative Auditing of Java Software for Graceful Exception Handling (Poster)
Cristian-Alexandru StaicuStaicu, Cristian-Alexandru CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Finding Cuts in Static Analysis Graphs to Debloat Software
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tim SteenvoordenSteenvoorden, Tim Open UniversiteitNetherlands Committee Member in Programme Committee within the A-TEST-track
Maarten SteevensSteevens, Maarten Ghent University, BelgiumBelgium Concolic Multiverse Debugging
Dominic SteinhöfelSteinhöfel, Dominic CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Benedikt SteiningerSteininger, Benedikt IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the MPLR-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Closing and Invitation to ECOOP 2025
Philipp StraubingerStraubinger, Philipp University of Passau Engaging Developers in Exploratory Unit Testing through Gamification
Bowei SuSu, Bowei Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Yuxin SuSu, Yuxin Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Gaadha SudheerbabuSudheerbabu, Gaadha Åbo Akademi University Localizer - a visual debugging assistant for Python programs
Yulei SuiSui, Yulei UNSWAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Evan SultanikSultanik, Evan Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Chang-ai SunSun, Chang-ai University of Science and Technology Beijing Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies Programme Committee in Programme Committee within the MET-track
Chengnian SunSun, Chengnian University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction Committee Member in Program Committee within the ISSTA Technical Papers-track
Hailong SunSun, Hailong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Hao SunSun, Hao ETH ZurichSwitzerland Enhancing ROS System Fuzzing through Callback Tracing
Jun SunSun, Jun Singapore Management UniversitySingapore Certified Continual Learning for Neural Network Regression Committee Member in Program Committee within the ISSTA Technical Papers-track
Ke SunSun, Ke Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Maolin SunSun, Maolin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mingyang SunSun, Mingyang University of Electronic Science and Technology of ChinaChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Weisong SunSun, Weisong Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Wenju SunSun, Wenju Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Xiaoxia SunSun, Xiaoxia China Mobile (Suzhou) Software TechnologyChina Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Youcheng SunSun, Youcheng University of ManchesterUnited Kingdom ESBMC-Python: A Bounded Model Checker for Python Programs Isolation-Based Debugging for Neural Networks Interpretability Based Neural Network Repair
Yuqiang SunSun, Yuqiang Nanyang Technological University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zeyu SunSun, Zeyu Institute of Software at Chinese Academy of SciencesChina Session Chair of Builds and Testing (part of ISSTA Technical Papers) Commit Artifact Preserving Build Prediction A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhensu SunSun, Zhensu Singapore Management UniversitySingapore FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chungha SungSung, Chungha Amazon Web Services, USAUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Joshua SunshineSunshine, Joshua Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Chenyao SuoSuo, Chenyao Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Milijana SurbatovichSurbatovich, Milijana University of Maryland Modal Crash Types for Intermittent Computing
Elif SurerSurer, Elif Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Marek SurovičSurovič, Marek Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Go SuzukiSuzuki, Go Tokyo Institute of TechnologyJapan mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices
Joseph SweeneySweeney, Joseph Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Laszlo SzekeresSzekeres, Laszlo Google Organizing Committee in Organizing Committee within the FUZZING-track
T Mahan TafreshipourTafreshipour, Mahan University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Jinhao TanTan, Jinhao University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jovyn TanTan, Jovyn National University of SingaporeSingapore Inconsistencies in TeX-Produced Documents
Shin Hwei TanTan, Shin Hwei Concordia UniversityCanada UPBEAT: Test Input Checks of Q# Quantum Libraries LPR: Large Language Models-Aided Program Reduction Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks Committee Member in Program Committee within the ISSTA Technical Papers-track
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Lei TangTang, Lei Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Ze TangTang, Ze Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Zhanyong TangTang, Zhanyong Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Silvia Lizeth Tapia TarifaTapia Tarifa, Silvia Lizeth University of Oslo, Norway Committee Member in Program Committee within the FTfJP-track
Pedro TavaresTavares, Pedro Faculty of Engineering, University of Porto FRAFOL: FRAmework FOr Learning mutation testing
Florent Teichteil-KoenigsbuchTeichteil-Koenigsbuch, Florent AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Programme Committee in Programme Committee within the MET-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Arav TewariTewari, Arav Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of Synthesis and verification (part of ECOOP Technical Papers) A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson Committee Member in Program Committee within the ECOOP Technical Papers-track
George K. ThiruvathukalThiruvathukal, George K. Loyola University ChicagoUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Patanamon ThongtanunamThongtanunam, Patanamon University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction An Empirical Study of Static Analysis Tools for Secure Code Review
Haoye TianTian, Haoye University of MelbourneAustralia CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Senyue TianTian, Senyue East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Wentong TianTian, Wentong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Yifan TianTian, Yifan Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Yongqiang TianTian, Yongqiang Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler LPR: Large Language Models-Aided Program Reduction
Zhao TianTian, Zhao Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Norbert TihanyiTihanyi, Norbert Eotvos Lorand University JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Ulyana TikhonovaTikhonova, Ulyana F1RENetherlands Committee Member in Programme Committee within the A-TEST-track
Mihkel TiksTiks, Mihkel Tartu University A Reversible Debugger for MPI Applications
Eli TilevichTilevich, Eli Virginia TechUnited States Toward Declarative Auditing of Java Software for Graceful Exception Handling Toward Declarative Auditing of Java Software for Graceful Exception Handling (Poster)
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Frank TipTip, Frank Northeastern UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Can WebAssembly Be Software’s Final Substrate? (Keynote) Committee Member in Program Committee within the MPLR-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Abhishek TiwariTiwari, Abhishek University of PassauGermany Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Abhishek TiwariTiwari, Abhishek University of Southern Denmark, SDU Software EngineeringDenmark Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States Session Chair of Analyzing Neural Models (part of ISSTA Technical Papers) NeuFair: Neural Network Fairness Repair with Dropout Committee Member in Program Committee within the ISSTA Technical Papers-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States Committee Member in Program Committee within the FTfJP-track
Flavio ToffaliniToffalini, Flavio EPFL Committee Member in Program Committee within the ISSTA Technical Papers-track
Flavio ToffaliniToffalini, Flavio Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FUZZING-track
Stevan TomicTomic, Stevan ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback
Paolo TonellaTonella, Paolo USI LuganoSwitzerland Session Chair of Testing Neural Networks (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Marco TorchianoTorchiano, Marco Politecnico di TorinoItaly ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback
Gianluca TortaTorta, Gianluca Real-Time Guarantees for SLCS Monitors in XC
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Committee Member in Program Committee within the VORTEX-track
Konstantinos TovletoglouTovletoglou, Konstantinos Independent ResearcherSwitzerland The Cost of Profiling in the HotSpot Virtual Machine
Dave ToweyTowey, Dave University of Nottingham Ningbo ChinaChina Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience Programme Committee in Programme Committee within the MET-track
Porfirio TramontanaTramontana, Porfirio University of Naples Federico II Testing Robot Challenge: a Serious Game for Testing Learning
Porfirio TramontanaTramontana, Porfirio Department of Electrical Engineering and Information Technologies, University of Naples Federico II, ItalyItaly Test Smells Learning by a Gamification Approach
Anh-Duy TranTran, Anh-Duy imec-DistriNet, KU LeuvenBelgium Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Baltasar Trancón y WidemannTrancón y Widemann, Baltasar TH BrandenburgGermany Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming
Richard TreflerTrefler, Richard University of Waterloo Inductive Predicate Synthesis Modulo Programs
Christoph TreudeTreude, Christoph Singapore Management UniversitySingapore An Empirical Study of Static Analysis Tools for Secure Code Review
Omer TrippTripp, Omer Amazon Web Services Committee Member in Program Committee within the ISSTA Technical Papers-track
Dhiren TripuramalluTripuramallu, Dhiren Indian Institute of Technology Bhubaneswar Runtime Verified Neural Networks for Cyber-Physical Systems
Dragos TruscanTruscan, Dragos Åbo Akademi UniversityFinland Localizer - a visual debugging assistant for Python programs
Facundo TuescaTuesca, Facundo Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Petr TumaTuma, Petr Charles UniversityCzechia Accurate Compilation Replay via Remote JIT Compilation (Poster)
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Session Chair of Types 1 (part of ECOOP Technical Papers) Compositional Verification of Swarm Protocols Fair Join Pattern Matching for Actors Fair join pattern matching for actors Committee Member in Program Committee within the ECOOP Technical Papers-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Fredrik TåquistTåquist, Fredrik Uppsala University SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the MPLR-track
V Eero VainikkoVainikko, Eero Tartu University A Reversible Debugger for MPI Applications
Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands Committee Member in Programme Committee within the A-TEST-track
Susan van den Broekvan den Broek, Susan University of Amsterdam Bug localisation in Model-Based Testing Using Model-Centric Shrinking
Bas van den Heuvelvan den Heuvel, Bas Karlsruhe University of Applied Sciences, University of FreiburgGermany Information Flow Control in Cyclic Process Networks
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands PC Chair in Organizing Committee within the A-TEST-track
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Peter van Hardenbergvan Hardenberg, Peter Ink & SwitchCanada Organizing Committee in Organizing Committee within the PLF-track
Bram VandenbogaerdeVandenbogaerde, Bram Vrije Universiteit Brussel Soft Verification for Actor Contract Systems
Martin VassorVassor, Martin Université de Lorraine; CNRS; Inria; LORIAFrance Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Aleksey VeresovVeresov, Aleksey KTH Royal Institute of TechnologySweden Failure Transparency in Stateful Dataflow Systems
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
German VidalVidal, German Universitat Politecnica de ValenciaSpain Reversible Debugging of Erlang Programs in CauDEr Committee Member in Program Committee within the DEBT-track
Daniel VinceVince, Daniel University of Szeged, Department of Software EngineeringHungary GreeDDy: Accelerate Parallel DDMIN
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties
Willem VisserVisser, Willem Amazon Web ServicesUnited States Session Chair of Logging and Field Bugs (part of ISSTA Technical Papers)
Jan VitekVitek, Jan Northeastern UniversityUnited States The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Vesal VojdaniVojdani, Vesal University of TartuEstonia Abstract Debugging with GobPie
Michael VollmerVollmer, Michael University of KentUnited Kingdom Optimizing Layout of Recursive Datatypes with Marmoset
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de València and Open Universiteit PC Chair in Organizing Committee within the A-TEST-track
W Helene WaeselynckWaeselynck, Helene LAAS-CNRSFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hai WanWan, Hai Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Yao WanWan, Yao Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Bo WangWang, Bo Beijing Jiaotong UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina SQLess: Dialect-Agnostic SQL Query Simplification
Di WangWang, Di Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Dingbang WangWang, Dingbang University of ConnecticutUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Dong WangWang, Dong Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Ethan WangWang, Ethan University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Guancheng WangWang, Guancheng University of OttawaCanada Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Guoqing WangWang, Guoqing Peking UniversityChina Commit Artifact Preserving Build Prediction
Haijun WangWang, Haijun Xi’an Jiaotong UniversityChina DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Haitao WangWang, Haitao Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Hao WangWang, Hao Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Hao WangWang, Hao Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
Huanting WangWang, Huanting University of LeedsUnited Kingdom UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ji WangWang, Ji National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks Committee Member in Program Committee within the ISSTA Technical Papers-track
Jianrong WangWang, Jianrong Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Jiaqi WangWang, Jiaqi Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Jiashui WangWang, Jiashui Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Jikai WangWang, Jikai Huazhong University of Science and TechnologyChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jingyi WangWang, Jingyi Zhejiang UniversityChina Session Chair of Fairness and Safety of Neural Networks (part of ISSTA Technical Papers) TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development Isolation-Based Debugging for Neural Networks Interpretability Based Neural Network Repair Committee Member in Program Committee within the ISSTA Technical Papers-track
Jue WangWang, Jue Nanjing UniversityChina Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Junjie WangWang, Junjie Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Junjie WangWang, Junjie Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Leqing WangWang, Leqing University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Linzhang WangWang, Linzhang Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Luqiao WangWang, Luqiao Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities Graph Learning for Extract Class Refactoring One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Meng WangWang, Meng University of BristolUnited Kingdom Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Qiangqiang WangWang, Qiangqiang Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Qing WangWang, Qing Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Renxiang WangWang, Renxiang Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Ruixin WangWang, Ruixin Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Shangwen WangWang, Shangwen National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina ThinkRepair: Self-Directed Automated Program Repair SelfPiCo: Self-Guided Partial Code Execution with LLMs Silent Taint-Style Vulnerability Fixes Identification Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Shuai WangWang, Shuai University of Illinois at Urbana-ChampaignUnited States Revisiting Test-Case Prioritization on Long-Running Test Suites
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Song WangWang, Song York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Tong WangWang, Tong Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Wei WangWang, Wei Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Weihang WangWang, Weihang University of Southern California Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Xingyu WangWang, Xingyu Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yawen WangWang, Yawen Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Yidong WangWang, Yidong Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Yongjiang WangWang, Yongjiang Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
You WangWang, You Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks
Yujie WangWang, Yujie Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Yuxing WangWang, Yuxing Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Zheng WangWang, Zheng University of LeedsUnited Kingdom UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhijie WangWang, Zhijie University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhuangda WangWang, Zhuangda Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices
Heike WehrheimWehrheim, Heike University of Oldenburg Committee Member in Program Committee within the ISSTA Technical Papers-track
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Haolai WeiWei, Haolai Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs Testing Gremlin-Based Graph Database Systems via Query Disassembling
Lili WeiWei, Lili McGill UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Minjie WeiWei, Minjie Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Session Chair of Fuzzing 1 (part of ISSTA Technical Papers) Visualization Task Taxonomy to Understand the Fuzzing Internals Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuxiang WeiWei, Yuxiang University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland ECOOP Publicity Chair in Organizing Committee for ECOOP 2024 Compiling with Arrays
Ming WenWen, Ming Huazhong University of Science and TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Xin-Cheng WenWen, Xin-Cheng Harbin Institute of TechnologyChina Collaboration to Repository-Level Vulnerability Detection SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Zhongzhen WenWen, Zhongzhen Nanjing UniversityChina Silent Taint-Style Vulnerability Fixes Identification
Shihao WengWeng, Shihao Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Shiwei WengWeng, Shiwei Johns Hopkins UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Siyang WengWeng, Siyang East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Scott WesleyWesley, Scott Dalhousie University Inductive Predicate Synthesis Modulo Programs
Ruffin WhiteWhite, Ruffin White RoboticsUnited States Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Jim WhiteheadWhitehead, Jim University of California, Santa CruzUnited States Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps
John WickersonWickerson, John Imperial College LondonUnited Kingdom Automated Feature Testing of Verilog Parsers using Fuzzing
Ashton WiersdorfWiersdorf, Ashton University of UtahUnited States Type Tailoring
Thomas WiesWies, Thomas New York UniversityUnited States Verifying Lock-free Search Structure Templates
Dennis WilsonWilson, Dennis ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Christian WimmerWimmer, Christian Oracle LabsUnited States Finding Cuts in Static Analysis Graphs to Debloat Software Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the MPLR-track
Till WinklerWinkler, Till Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program
Stefan WinterWinter, Stefan Ulm University and LMU MunichGermany Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2024 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Joseph WooWoo, Joseph Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Franz WotawaWotawa, Franz Graz University of TechnologyAustria Programme Committee in Programme Committee within the MET-track
Christopher John WrightWright, Christopher John University of ManchesterUnited Kingdom Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Dafny vs. Dala: Experience with Mechanising Language Design Mutator-Driven Object Placement using Load Barriers Committee Member in Program Committee within the MPLR-track
Boyu WuWu, Boyu Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Feifan WuWu, Feifan Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Jiajing WuWu, Jiajing Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Committee Member in Program Committee within the ISSTA Technical Papers-track
Mengzhou WuWu, Mengzhou Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Rongxin WuWu, Rongxin Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuohan WuWu, Shuohan Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Tong WuWu, Tong University of Manchester JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Wei WuWu, Wei Central South University; Xiangjiang LaboratoryChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Xiaodi WuWu, Xiaodi University of MarylandUnited States Qafny: A Quantum-Program Verifier
Yang WuWu, Yang Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Yifan WuWu, Yifan Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yijian WuWu, Yijian Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Yuan WuWu, Yuan Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Yueming WuWu, Yueming Nanyang Technological UniversitySingapore Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhiying WuWu, Zhiying Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Valentin WüstholzWüstholz, Valentin ConsenSysAustria Inductive Predicate Synthesis Modulo Programs
X Chunqiu Steven XiaXia, Chunqiu Steven University of Illinois at Urbana-ChampaignUnited States Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT
Mingyuan XiaXia, Mingyuan AppetizerIOChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Qing XiaXia, Qing Institute of Software at Chinese Academy of SciencesChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Xin XiaXia, Xin HuaweiChina Practitioners’ Expectations on Automated Test Generation Automating Zero-Shot Patch Porting for Hard Forks SelfPiCo: Self-Guided Partial Code Execution with LLMs Committee Member in Program Committee within the ISSTA Technical Papers-track
Yingfeng XiaXia, Yingfeng Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Xi XiaoXiao, Xi Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yang XiaoXiao, Yang Chinese Academy of SciencesChina SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Yuan XiaoXiao, Yuan Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Dongchen XieXie, Dongchen Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Jundong XieXie, Jundong Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Linna XieXie, Linna Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
Maoyi XieXie, Maoyi Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Rui XieXie, Rui Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Tao XieXie, Tao Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Bugs in Pods: Understanding Bugs in Container Runtime Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyuan XieXie, Xiaoyuan Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements Programme Committee in Programme Committee within the MET-track Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuan XieXie, Xuan University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Qi XinXin, Qi Wuhan UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiayu XingXing, Jiayu Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies
Zezhong XingXing, Zezhong Southern University of Science and TechnologyChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Zhenchang XingXing, Zhenchang CSIRO’s Data61; Australian National UniversityAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Hao XiongXiong, Hao Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Baowen XuXu, Baowen Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Fanjiang XuXu, Fanjiang Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Guandong XuXu, Guandong University of TechnologyAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Jinchen XuXu, Jinchen Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jun XuXu, Jun The University of Utah Committee Member in Program Committee within the FUZZING-track
Liang XuXu, Liang Jinling Institute of TechnologyChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Qingxin XuXu, Qingxin Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs
Tongtong XuXu, Tongtong HuaweiChina Silent Taint-Style Vulnerability Fixes Identification
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yiru XuXu, Yiru Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Zhengfeng XuXu, Zhengfeng Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Zhengzi XuXu, Zhengzi Nanyang Technological University; Imperial Global SingaporeSingapore DeLink: Source File Information Recovery in Binaries
Zhenyang XuXu, Zhenyang University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction
Jifeng XuanXuan, Jifeng Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Qi XuanXuan, Qi Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Jingling XueXue, Jingling UNSW SydneyAustralia A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction Committee Member in Program Committee within the ISSTA Technical Papers-track
Yue XueXue, Yue MetaTrust LabsSingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Zhipeng XueXue, Zhipeng SelfPiCo: Self-Guided Partial Code Execution with LLMs
Zhiyi XueXue, Zhiyi East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Y Drishti YadavYadav, Drishti Technische Universität WienAustria From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Dynamic Possible Source Count Analysis for Data Leakage Prevention Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Jiwei YanYan, Jiwei Institute of Software at Chinese Academy of SciencesChina DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates Panda: A Concurrent Scheduler for Compiler-Based Tools Synthesis-Based Enhancement for GUI Test Case Migration Committee Member in Program Committee within the ISSTA Technical Papers-track
Jun YanYan, Jun Institute of Software, Chinese Academy of SciencesChina Panda: A Concurrent Scheduler for Compiler-Based Tools
Meng YanYan, Meng Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding Committee Member in Program Committee within the ISSTA Technical Papers-track
Ming YanYan, Ming Tianjin University, ChinaChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Xiaoyong YanYan, Xiaoyong Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Albert Mingkun YangYang, Albert Mingkun OracleSweden Mutator-Driven Object Placement using Load Barriers
Boyang YangYang, Boyang Yanshan University; Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Chengcheng YangYang, Chengcheng East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Guowei YangYang, Guowei University of QueenslandAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Hongru YangYang, Hongru Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jinqiu YangYang, Jinqiu Concordia UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Jun YangYang, Jun University of Illinois at Urbana-ChampaignUnited States Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Junjie YangYang, Junjie College of Intelligence and Computing, Tianjin UniversityChina A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models
Lin YangYang, Lin Tianjin UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Min YangYang, Min Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Mingke YangYang, Mingke ShanghaiTech UniversityChina DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Ping YangYang, Ping Bytedance Network TechnologyChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Tianyi YangYang, Tianyi Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Wei YangYang, Wei University of Texas at DallasUnited States Guardian: A Runtime Framework for LLM-Based UI Exploration Committee Member in Program Committee within the ISSTA Technical Papers-track
Wenwu YangYang, Wenwu University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Xiaohu YangYang, Xiaohu Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Xiaoniu YangYang, Xiaoniu Zhejiang University of Technology; National Key Laboratory of Electromagnetic Space SecurityChina Interpretability Based Neural Network Repair
Xiaoyi YangYang, Xiaoyi Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Yibiao YangYang, Yibiao Nanjing UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yihan YangYang, Yihan Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Yongqiang YangYang, Yongqiang Huawei Cloud Computing TechnologyChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Zezhou YangYang, Zezhou Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Zhou YangYang, Zhou Singapore Management UniversitySingapore AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation
Ziyi YangYang, Ziyi National University of SingaporeSingapore Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Elaine YaoYao, Elaine Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Precise Compositional Buffer Overflow Detection via Heap Disjointness Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuan YaoYao, Yuan Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Yue YaoYao, Yue Carnegie Mellon University Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
Diogo YeYe, Diogo NOVA University Lisbon Local Projections of DCR Choreographies with Data and Spawn
Guixin YeYe, Guixin Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Program Committee within the ISSTA Technical Papers-track
Mingxi YeYe, Mingxi Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Wei YeYe, Wei Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Zhenyu YeYe, Zhenyu Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Jooyong YiYi, Jooyong UNISTSouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Heng YinYin, Heng University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Xin YinYin, Xin Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Xizhe YinYin, Xizhe Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Yining YinYin, Yining Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Xinlei YingYing, Xinlei Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Shin YooYoo, Shin Korea Advanced Institute of Science and TechnologySouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Nobuko YoshidaYoshida, Nobuko University of Oxford, UKUnited Kingdom Less is More Revisited: Global Specification and Local Verification Approaches
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Fearless Asynchronous Communications with Timed Multiparty Session Protocols Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
Nobuko YoshidaYoshida, Nobuko University of Oxford, UKUnited Kingdom Organizing Committee in Organizing Committee within the PLAID-track
Nianhao YouYou, Nianhao Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Wei YouYou, Wei Renmin University of ChinaChina Session Chair of Vulnerabilities and Malware (part of ISSTA Technical Papers) Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
David YoungYoung, David University of Kansas, USA Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Cody Hao YuYu, Cody Hao BosonAIUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Donghui YuYu, Donghui Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Haoran YuYu, Haoran Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Jiongchi YuYu, Jiongchi Singapore Management UniversitySingapore Bugs in Pods: Understanding Bugs in Container Runtime Systems Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Junze YuYu, Junze Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Shengcheng YuYu, Shengcheng Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tingting YuYu, Tingting University of ConnecticutUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiao YuYu, Xiao HuaweiChina Practitioners’ Expectations on Automated Test Generation
Zeliang YuYu, Zeliang Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Zheng YuYu, Zheng Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zheng YuYu, Zheng Northwestern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wei YuanYuan, Wei Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Yuanyuan YuanYuan, Yuanyuan Hong Kong University of Science and TechnologyChina See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Tao YueYue, Tao Beihang UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yvan Labiche Yvan Labiche Using Category Partition to Detect Metamorphic Relations
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Towards a Sound Construction of EVM Bytecode Control-flow Graphs
José Antonio Zamudio AmayaZamudio Amaya, José Antonio CISPA Helmholtz Center for Information SecuritySpain Shaping Test Inputs in Grammar-Based Fuzzing
Giacomo ZanattaZanatta, Giacomo Ca’ Foscari University of VeniceItaly Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Session Chair of Debugging (part of ISSTA Technical Papers) Session Chair of Code Mutation and Reduction (part of ISSTA Technical Papers) Robustness against the C/C++11 memory model The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and disappointment Automated Testing of Networked Systems Reliability Integrating Mutation Techniques to Keep Specification and Source Code in Sync Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Soft Verification for Actor Contract Systems From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Olivier ZendraZendra, Olivier InriaFrance Organizing Committee in Organizing Committee within the ICOOOLPS-track
Huazheng ZengZeng, Huazheng Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Limin ZengZeng, Limin Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Ruiying ZengZeng, Ruiying Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Zhengran ZengZeng, Zhengran Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Juan ZhaiZhai, Juan University of Massachusetts at AmherstUnited States Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Cen ZhangZhang, Cen Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Bugs in Pods: Understanding Bugs in Container Runtime Systems
Chao ZhangZhang, Chao Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Precise Compositional Buffer Overflow Detection via Heap Disjointness Committee Member in Program Committee within the ISSTA Technical Papers-track
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Committee Member in Program Committee within the FUZZING-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Fengwei ZhangZhang, Fengwei Southern University of Science and TechnologyChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor Committee Member in Program Committee within the ISSTA Technical Papers-track
Hao ZhangZhang, Hao MetaTrust LabsSingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
He ZhangZhang, He Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Hongyu ZhangZhang, Hongyu Chongqing UniversityChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Huaien ZhangZhang, Huaien Hong Kong Polytechnic University; Southern University of Science and TechnologyChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Hui ZhangZhang, Hui Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Session Chair of Static Analysis and Verification (part of ISSTA Technical Papers) DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates Panda: A Concurrent Scheduler for Compiler-Based Tools
Jian ZhangZhang, Jian Nanyang Technological UniversitySingapore PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiyang ZhangZhang, Jiyang University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Kaikai ZhangZhang, Kaikai Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2024 Sponsorship Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Safety-Critical Systems (part of ISSTA Technical Papers)
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Software Quality Assurance in the Era of Large Language Models
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Software Quality Assurance in the Era of Large Language Models Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs Committee Member in Program Committee within the ISSTA Technical Papers-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Lu ZhangZhang, Lu Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Man ZhangZhang, Man Beihang University, China Committee Member in Program Committee within the ISSTA Technical Papers-track
Mengxiao ZhangZhang, Mengxiao University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction
Min ZhangZhang, Min East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Mingxue ZhangZhang, Mingxue Chinese University of Hong KongChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Mu ZhangZhang, Mu University of UtahUnited States WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Neng ZhangZhang, Neng Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Qian ZhangZhang, Qian University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Program Committee within the FUZZING-track
Quan ZhangZhang, Quan Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Quanjun ZhangZhang, Quanjun Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Rong ZhangZhang, Rong East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Ruikai ZhangZhang, Ruikai Huawei Cloud Computing TechnologiesChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Runze ZhangZhang, Runze Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shikun ZhangZhang, Shikun Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Tian ZhangZhang, Tian Nanjing UniversityChina Silent Taint-Style Vulnerability Fixes Identification BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Distance-Aware Test Input Selection for Deep Neural Networks
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Weijie ZhangZhang, Weijie Jiangsu University of Science and TechnologyChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjie ZhangZhang, Wenjie Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Wuqi ZhangZhang, Wuqi Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Runtime Invariant Checking in Robotic Systems and Deep Learning Models Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiao-Yi ZhangZhang, Xiao-Yi University of Science and Technology Beijing Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies
Xiaohong ZhangZhang, Xiaohong Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Xiaoyu ZhangZhang, Xiaoyu Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xingjian ZhangZhang, Xingjian Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Xinyi ZhangZhang, Xinyi Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Xueling ZhangZhang, Xueling Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Yakun ZhangZhang, Yakun Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Yang ZhangZhang, Yang Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Yaosheng ZhangZhang, Yaosheng Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Yifan ZhangZhang, Yifan University of Nottingham Ningbo ChinaChina Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience
Ying ZhangZhang, Ying Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Yixuan ZhangZhang, Yixuan Peking UniversityChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Yuan ZhangZhang, Yuan Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Yuanyuan ZhangZhang, Yuanyuan Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Yuntong ZhangZhang, Yuntong National University of SingaporeSingapore AutoCodeRover: Autonomous Program Improvement
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zenong ZhangZhang, Zenong The University of Texas - Dallas Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhaoxu ZhangZhang, Zhaoxu University of Southern CaliforniaUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Zhijie ZhangZhang, Zhijie Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Zuoyan ZhangZhang, Zuoyan Hunan UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Gang ZhaoZhao, Gang Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Committee Member in Program Committee within the ISSTA Technical Papers-track
Jie ZhaoZhao, Jie Hunan UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jishen ZhaoZhao, Jishen University of California at San DiegoUnited States Multi-modal Learning for WebAssembly Reverse Engineering
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Wenxuan ZhaoZhao, Wenxuan Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Yanjie ZhaoZhao, Yanjie Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yanyang ZhaoZhao, Yanyang Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Yifan ZhaoZhao, Yifan Peking UniversityChina Commit Artifact Preserving Build Prediction Synthesis-Based Enhancement for GUI Test Case Migration
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yu ZhaoZhao, Yu University of CincinnatiUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Yutong ZhaoZhao, Yutong University of Central MissouriUnited States HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Zhehao ZhaoZhao, Zhehao Peking University SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Zhihong ZhaoZhao, Zhihong Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Yi ZhenZhen, Yi IndependentChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Peilin ZhengZheng, Peilin Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Xi ZhengZheng, Xi Macquarie UniversityAustralia Programme Committee in Programme Committee within the MET-track
Yaowen ZhengZheng, Yaowen Nanyang Technological UniversitySingapore How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Yingying ZhengZheng, Yingying Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Hua ZhongZhong, Hua Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Wanjun ZhongZhong, Wanjun Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Aoying ZhouZhou, Aoying East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Bei ZhouZhou, Bei Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Chijin ZhouZhou, Chijin Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Hao ZhouZhou, Hao Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiayuan ZhouZhou, Jiayuan HuaweiCanada Silent Taint-Style Vulnerability Fixes Identification
Jun ZhouZhou, Jun Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Kaihang ZhouZhou, Kaihang Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Lei ZhouZhou, Lei National University of Defense TechnologyChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Mingyi ZhouZhou, Mingyi Monash UniversityAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Quan ZhouZhou, Quan Penn State University CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Xuan ZhouZhou, Xuan East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Yajin ZhouZhou, Yajin Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Yangfan ZhouZhou, Yangfan Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ying ZhouZhou, Ying George Mason UniversityUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Yu ZhouZhou, Yu Using Metamorphic Relations to Improve Accuracy and Robustness of Deep Neural Networks
Yuchen ZhouZhou, Yuchen Beijing University of TechnologyChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Zhuotong ZhouZhou, Zhuotong Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Jiaxin ZhuZhu, Jiaxin Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Jieming ZhuZhu, Jieming Huawei Noah’s Ark LabChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Mingwei ZhuZhu, Mingwei University of Maryland, College Park Qafny: A Quantum-Program Verifier
Qihao ZhuZhu, Qihao DeepSeek-AIChina Synthesis-Based Enhancement for GUI Test Case Migration
Wenyu ZhuZhu, Wenyu Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
YungYu ZhuangZhuang, YungYu National Central UniversityTaiwan Committee Member in Program Committee within the MPLR-track
Xiazijian ZouZou, Xiazijian Central South UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the ECOOP Technical Papers-track
Maksim ZuevZuev, Maksim JetBrains Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Joseph ZulloZullo, Joseph Purdue University Optimizing Layout of Recursive Datatypes with Marmoset
Aron ZwaanZwaan, Aron Delft University of TechnologyNetherlands Defining Name Accessibility using Scope Graphs

ISSTA/ECOOP 2024 Contributors

Results (1486)

Tracks

Co-hosted Conferences

Workshops

Tutorials