ISSTA/ECOOP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1483)

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 Bach PoulsenBach Poulsen, 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 Call Graph Soundness in Android Static Analysis CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors 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
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 Java Bytecode Normalization for Code Similarity Analysis
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 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 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 Automated Testing of Networked Systems Reliability 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 DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing 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 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 Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
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 CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding 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
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 JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking ESBMC-Python: A Bounded Model Checker for Python Programs
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) With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Collaboration to Repository-Level Vulnerability Detection Shaping Test Inputs in Grammar-Based Fuzzing Graph Learning for Extract Class Refactoring Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Learning the Effects of Software Changes 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 AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel 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
Serena Elisa PontaElisa Ponta, Serena SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
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 SQLess: Dialect-Agnostic SQL Query Simplification DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Lingling FanFan, Lingling Nankai UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhiyu FanFan, Zhiyu National University of SingaporeSingapore AutoCodeRover: Autonomous Program Improvement Oracle-Guided Program Selection from Large Language Models
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 JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking ESBMC-Python: A Bounded Model Checker for Python Programs
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 Introduction to the Gamify 2024 workshop Engaging Developers in Exploratory Unit Testing through Gamification 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) Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models API Misuse Detection via Probabilistic Graphical Model 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 With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Collaboration to Repository-Level Vulnerability Detection Shaping Test Inputs in Grammar-Based Fuzzing Graph Learning for Extract Class Refactoring Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Learning the Effects of Software Changes 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 Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems Evaluating Human Trajectory Prediction with Metamorphic Testing 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 Synthesis-Based Enhancement for GUI Test Case Migration Commit Artifact Preserving Build Prediction
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) Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really? 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 Silent Taint-Style Vulnerability Fixes Identification SelfPiCo: Self-Guided Partial Code Execution with LLMs 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 The Havoc Paradox in Generator-Based Fuzzing Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup
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 Enhancing ROS System Fuzzing through Callback Tracing Logos: Log Guided Fuzzing for Protocol Implementations Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement 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 Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs Benchmarks and Replicability in Software Engineering Research: Challenges and Opportunities 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 Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really? 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) Call Graph Soundness in Android Static Analysis CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors 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 The Havoc Paradox in Generator-Based Fuzzing Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup 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 AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models API Misuse Detection via Probabilistic Graphical Model FDI: Attack Neural Code Generation Systems through User Feedback Channel 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 Distance-Aware Test Input Selection for Deep Neural Networks Silent Taint-Style Vulnerability Fixes Identification
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 Bugs in Pods: Understanding Bugs in Container Runtime Systems How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation 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 CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging 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 AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel Practitioners’ Expectations on Automated Test 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 Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients FDI: Attack Neural Code Generation Systems through User Feedback Channel 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 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 MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection 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) Closing Session Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems
Matteo MarraMarra, Matteo Nokia Bell Labs, BelgiumBelgium Language-Agnostic Debugging for Microcontrollers Committee Member in Program Committee within the DEBT-track
Daniel MarshallMarshall, Daniel 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 The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios 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 Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
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 With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Collaboration to Repository-Level Vulnerability Detection Shaping Test Inputs in Grammar-Based Fuzzing Graph Learning for Extract Class Refactoring Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Learning the Effects of Software Changes Compiling with Arrays Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really? 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 Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA Towards a Sound Construction of EVM Bytecode Control-flow Graphs
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