ECOOP and ISSTA 2023 Contributors - ECOOP and ISSTA 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1025)

A Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de TelecomunicaçõesPortugal Toward Tool-Independent Summaries for Symbolic Execution Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA PC Member in Program Committee within the ECOOP Research Papers-track
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICET, Argentina PC Member in Technical Papers within the ISSTA Technical Papers-track
Michel AlbonicoAlbonico, Michel Federal University of Technology - Paraná (UTFPR)Brazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Karim AliAli, Karim University of Alberta Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Kevin AllixAllix, Kevin CentraleSupelec RennesFrance Guided Retraining to Enhance the Detection of Difficult Android Malware
Eman Abdullah AlOmarAlOmar, Eman Abdullah Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Juan C. AlonsoAlonso, Juan C. Universidad de Sevilla AGORA: Automated Generation of Test Oracles for REST APIs
Ziyad AlsaeedAlsaeed, Ziyad Qassim University Finding Short Slow Inputs Faster with Grammar-Based Search
Nada AminAmin, Nada Harvard UniversityUnited States The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Idan AmitAmit, Idan The Hebrew University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan Polymorphism for Programming With Versions
Tomoyuki AotaniAotani, Tomoyuki Sanyo-Onoda City UniversityJapan Committee Member in Program Committee within the COP-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Iván Arcuschin MorenoArcuschin Moreno, Iván University of Buenos Aires, ArgentinaArgentina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Maite ArratibelArratibel, Maite OronaSpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Jamshed AshurovAshurov, Jamshed UC San Diego Characterizing WebAssembly Performance in the Era of Serverless Computing
Isabella AttisanoAttisano, Isabella Villanova University Virtual Reality (VR) Automated Testing in the Wild: a Case Study on Unity-Based VR Applications
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Student Research Competition Co-Chair in Chairs within the ECOOP and ISSTA Student Research Competition-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Petr BabkinBabkin, Petr J.P. Morgan AI Research How Effective are Neural Networks for Fixing Security Vulnerabilities
Riyadh BaghdadiBaghdadi, Riyadh NYU Abu DhabiUnited Arab Emirates PC Member in Program Committee within the ECOOP Research Papers-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia Security Checking of Trigger-Action-Programming Smart Home Integrations Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Daniel BaierBaier, Daniel Ludwig Maximilian University of MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Sebastian BanescuBanescu, Sebastian Technical University of Munich Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction
Abdul Ali BangashBangash, Abdul Ali University of Alberta, CanadaCanada Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023
Shenglin BaoBao, Shenglin Fudan University In Defense of Simple Techniques for Neural Network Test Case Selection
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance PC Member in Technical Papers within the ISSTA Technical Papers-track
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom CodeGrid: A Grid Representation of Code June: A Type Testability Transformation for Improved ATG Performance PC Member in Technical Papers within the ISSTA Technical Papers-track
Adam D. BarwellBarwell, Adam D. University of St Andrews and University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Mark BattyBatty, Mark University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Alexandre BergelBergel, Alexandre University of ChileChile PC Member in Technical Papers within the ISSTA Technical Papers-track
Bernhard BergerBerger, Bernhard Hamburg University of TechnologyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python
Sahil BhatiaBhatia, Sahil University of California, Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Multi-graded Featherweight Java
Domenico BianculliBianculli, Domenico University of LuxembourgLuxembourg PC Member in Technical Papers within the ISSTA Technical Papers-track
Annete BieniusaBieniusa, Annete Kaiserslautern LoRe: A Programming Model for Verifiably Safe Local-First Software
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the COP-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Tegawendé F. BissyandéBissyandé, Tegawendé F. SnT, University of Luxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Aymeric BlotBlot, Aymeric Université du Littoral Côte d'OpaleFrance Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
James BornholtBornholt, James University of Texas at AustinUnited States Synthesis-Aided Crash Consistency for Storage Systems
Henrique Botelho GuerraBotelho Guerra, Henrique INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Katharina BrandlBrandl, Katharina JGU MainzGermany Modular Abstract Definitional Interpreters for WebAssembly
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
David BremnerBremner, David University of New Brunswick Towards Reliable Memory Management for Python Native Extensions
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
Dan BruceBruce, Dan University College London June: A Type Testability Transformation for Improved ATG Performance
Lei BuBu, Lei Nanjing University Security Checking of Trigger-Action-Programming Smart Home Integrations GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Tevfik BultanBultan, Tevfik University of California, Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
Luca BurattiBuratti, Luca IBM ResearchUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Timon BöhlerBöhler, Timon TU Darmstadt A Direct-Style Effect Notation for Sequential and Parallel Programs
Marcel BöhmeBöhme, Marcel MPI-SP, Germany and Monash University, AustraliaGermany Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track
Xiangrui CaiCai, Xiangrui Nankai University LiResolver: License Incompatibility Resolution for Open Source Software
Yan CaiCai, Yan Institute of Software at Chinese Academy of SciencesChina Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Dylan CallaghanCallaghan, Dylan Stellenbosch University Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
José CamposCampos, José University of Porto, PortugalPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Dynamically Updatable Multiparty Session Protocols
Mariano CeccatoCeccato, Mariano University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Semantics for Noninterference with Interaction Trees
Sang Kil ChaCha, Sang Kil KAIST, South KoreaSouth Korea Committee Member in Program Committee within the FUZZING-track
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mahin ChandramohanChandramohan, Mahin Oracle Labs On Leveraging Tests to Infer Nullable Annotations
Avik ChaudhuriChaudhuri, Avik Facebook, USA PC Member in Program Committee within the FTfJP-track
An Ran ChenChen, An Ran Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Chang ChenChen, Chang The Chinese University of Hong Kong Validating Multimedia Content Moderation Software via Semantic Fusion
Chu ChenChen, Chu SBDT: Search-based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Chunyang ChenChen, Chunyang Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Guoqiang chenchen, Guoqiang Donghwan Shin Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Huaming ChenChen, Huaming The University of SydneyAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jiachi ChenChen, Jiachi School of Software Engineering, Sun Yat-sen University Definition and Detection of Defects in NFT Smart Contracts Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Jianjun ChenChen, Jianjun Tsinghua University 1dFuzz: Reproduce 1-day Vulnerabilities with Directed Differential Fuzzing
Junjie ChenChen, Junjie Tianjin UniversityChina Testing the Compiler for a New-born Programming Language: An Industrial Case Study (Experience Paper) Fuzzing Deep Learning Compilers with HirGen Vectorizing Program Ingredients for Better JVM Testing Silent Compiler Bug De-duplication via Three-Dimensional Analysis PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Kai ChenChen, Kai SKLOIS, Institute of Information Engineering, Chinese Academy of Sciences, China Security Checking of Trigger-Action-Programming Smart Home Integrations
Kaixiang ChenChen, Kaixiang Tsinghua UniversityChina 1dFuzz: Reproduce 1-day Vulnerabilities with Directed Differential Fuzzing
Lin ChenChen, Lin Nanjing UniversityChina Back Deduction based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Mengjie ChenChen, Mengjie Mask Network Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Rui ChenChen, Rui Beijing Institute of Control EngineeringChina An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software
Sen ChenChen, Sen Tianjin UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Simin ChenChen, Simin University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Xiangqun ChenChen, Xiangqun Peking University Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiao ChenChen, Xiao Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Yang ChenChen, Yang University of Illinois Urbana-ChampaignUnited States Transforming Test Suites Into Croissants
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yixiang ChenChen, Yixiang East China Normal University A Comprehensive Study on Quality Assurance Tools for Java
Yufan ChenChen, Yufan Xidian University Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Yufei ChenChen, Yufei Xi'an Jiaotong University CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement
Yufeng ChenChen, Yufeng Institute of Information Engineering, Chinese Academy of Sciences ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yuting ChenChen, Yuting Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Zhenpeng ChenChen, Zhenpeng University College London, UKUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Zhuo ChenChen, Zhuo Zhejiang University & Ant Group DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Kai ChengCheng, Kai Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences; Sangfor Technologies Inc. Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Mingfei ChengCheng, Mingfei Singapore Management University, SingaporeSingapore BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Siyuan ChengCheng, Siyuan Purdue University Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael ChesserChesser, Michael University of Adelaide ICICLE: A re-Designed Emulator for Grey-Box Firmware Fuzzing
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Fuzzing Deep Learning Compilers with HirGen $\omega$Test: WebView-Oriented Testing for Android Applications ConfFix: Repairing Configuration Compatibility Issues in Android Apps PC Member in Technical Papers within the ISSTA Technical Papers-track
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track PC Member in Program Committee within the ECOOP Research Papers-track
Mingun ChoCho, Mingun UC Davis Project X: Testing GPU Memory Consistency At Large (Experience Paper)
Wonkeun ChoiChoi, Wonkeun Korea Advanced Institute of Science and Technology A Bayesian Framework for Automated Debugging
Chun Yong ChongChong, Chun Yong Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yiu Wai ChowChow, Yiu Wai University of Stuttgart Beware of the Unexpected: Bimodal Taint Analysis
Maria ChristakisChristakis, Maria TU WienAustria Dependency-Aware Metamorphic Testing of Datalog Engines Green Fuzzer Benchmarking
Benjamin ChungChung, Benjamin Northeastern University Digging into Julia's implementation: lesson learned
David ClarkClark, David University College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Myra CohenCohen, Myra Iowa State UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Simon CookseyCooksey, Simon University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Emilio CoppaCoppa, Emilio Sapienza University of Rome Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Davide CorradiniCorradini, Davide University of Verona Enhancing REST API Testing with NLP Techniques
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Flow Analysis for Detecting Non-Determinism in Blockchain
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Lázaro CostaCosta, Lázaro Faculty of Engineering of the University of PortoPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Eduard Costel PinconschiCostel Pinconschi, Eduard Instituto Superior Técnico, University of Lisboa & INESC-IDPortugal Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Steven CostiouCostiou, Steven INRIA LilleFrance Committee Member in Program Committee within the DEBT-track
Andrew CraikCraik, Andrew ChronosoftAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Caroline CronjägerCronjäger, Caroline Ruhr-Universität Bochum Exact Separation Logic
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Jiancong CuiCui, Jiancong Institute of Information and Engineering，CAS API2vec: Learning Representations of API Sequences for Malware Detection
Lei CuiCui, Lei Institute of Information Engineering，Chinese Academy of Sciences API2vec: Learning Representations of API Sequences for Malware Detection
Siwei CuiCui, Siwei Texas A & M UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Arnaud Daby-SeesaramDaby-Seesaram, Arnaud ENS Paris Saclay Modular Verification of State-Based CRDTs in Separation Logic
Francesco DagninoDagnino, Francesco University of GenoaItaly Multi-graded Featherweight Java
Jinglin DaiDai, Jinglin Nanjing University Security Checking of Trigger-Action-Programming Smart Home Integrations
Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Nadia DaoudiDaoudi, Nadia SnT, University of Luxembourg Guided Retraining to Enhance the Detection of Difficult Android Malware
Istvan DavidDavid, Istvan Université de MontréalCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Jordan DavisDavis, Jordan Purdue University How Effective are Neural Networks for Fixing Security Vulnerabilities
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Wiring circuits is easy as {0, 1, ω}, or is it. . .
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium VeriFx: Correct Replicated Data Types for the Masses
Haotian DengDeng, Haotian Purdue University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shuiguang DengDeng, Shuiguang Zhejiang University Data Constraint Mining for Automatic Reconciliation Scripts Generation
Yinlin DengDeng, Yinlin University of Illinois at Urbana-ChampaignUnited States Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Elisabetta Di NittoDi Nitto, Elisabetta Politecnico di MilanoItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Peng DiDi, Peng Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand On Leveraging Tests to Infer Nullable Annotations Understanding Breaking Changes in the Wild
Laura DillonDillon, Laura Michigan State University Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Yangruibo DingDing, Yangruibo Columbia UniversityUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Yifeng DingDing, Yifeng University of Illinois at Urbana ChampaignUnited States CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Zhenquan DingDing, Zhenquan Institute of Information and Engineering，CAS API2vec: Learning Representations of API Sequences for Malware Detection
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mike DoddsDodds, Mike Galois, Inc. PC Member in Program Committee within the FTfJP-track
Swaroopa DolaDola, Swaroopa University of Virginia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Julian DolbyDolby, Julian IBM ResearchUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C PC Member in Technical Papers within the ISSTA Technical Papers-track PC Member in Program Committee within the ECOOP Research Papers-track
Xuewen DongDong, Xuewen Xidian University Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yihong DongDong, Yihong Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Hang DuDu, Hang University of California, Irvine To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Lun DuDu, Lun Microsoft Research AsiaChina Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond
Zhenhua DuanDuan, Zhenhua SBDT: Search-based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Committee Member in Program Committee within the ICOOOLPS-track
Stefania DumbravaDumbrava, Stefania ENSIIE & Institut Polytechnique de Paris Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
E Daniel EbertEbert, Daniel Robert Bosch GmbH Fuzzing Embedded Systems Using Debug Interfaces
William EiersEiers, William University of California at Santa Barbara, USA Quantitative Policy Repair for Access Control on the Cloud
Max EiseleEisele, Max Robert Bosch GmbHGermany Fuzzing Embedded Systems Using Debug Interfaces
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States PhysCov: Physical Test Coverage for Autonomous Vehicles
Dhia Elhaq RzigElhaq Rzig, Dhia University of Michigan - Dearborn Virtual Reality (VR) Automated Testing in the Wild: a Case Study on Unity-Based VR Applications
Daniel ElsnerElsner, Daniel TU MunichGermany Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Organizing Committee for ECOOP 2023 Modular Abstract Definitional Interpreters for WebAssembly Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Local Arrangements Chair in Organizing Committee for ISSTA 2023
Sebastian ErtelErtel, Sebastian Composable Operating Systems Group, Barkhausen Institute, Dresden ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Anne EtienEtien, Anne Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStALFrance Committee Member in Program Committee within the DEBT-track
Karine Even-MendozaEven-Mendoza, Karine King's College LondonUnited Kingdom GrayC: Greybox Fuzzing of Compilers and Analysers for C Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Naser Ezzati JivanEzzati Jivan, Naser Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Saad EzziniEzzini, Saad Lancaster UniversityUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Andong FanFan, Andong The Hong Kong University of Science and TechnologyChina super-charging Object-Oriented Programming through Precise Typing of Open Recursion
Gang FanFan, Gang Ant Group Synthesizing Conjunctive Queries for Code Search
Lingling FanFan, Lingling Nankai University LiResolver: License Incompatibility Resolution for Open Source Software
Xingyu FanFan, Xingyu Tianjin University Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Zhiyu FanFan, Zhiyu National University of Singapore, Singapore Concept-based Automated Grading of CS-1 Programming Assignments
Chunrong FangFang, Chunrong Nanjing UniversityChina Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Pengcheng FangFang, Pengcheng Case Western Reserve University iSyn: Semi-Automated Smart Contract Synthesis from Legal Financial Agreements
Ruili FangFang, Ruili University of Georgia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yilin FangFang, Yilin Huazhong University of Science and Technology Fine-grained Code Clone Detection with Block-based Splitting of Abstract Syntax Tree
Yongsheng FangFang, Yongsheng Beijing University of Posts and Telecommunications CydiOS: a model-based testing framework for iOS apps
Yuzhou FangFang, Yuzhou The Hong Kong University of Science and Technology Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track PC Member in Program Committee within the VORTEX-track
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Object Synthesis for Automated Test Generation
Ruitao FengFeng, Ruitao Nanyang Technological University A Comprehensive Study on Quality Assurance Tools for Java
Shiwei FengFeng, Shiwei Purdue University Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis
Yang FengFeng, Yang Nanjing UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Fabiano FerrariFerrari, Fabiano Federal University of São CarlosBrazil PC Member in Technical Papers within the ISSTA Technical Papers-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal VeriFx: Correct Replicated Data Types for the Masses
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction PC Member in Technical Papers within the ISSTA Technical Papers-track
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Michael FosterFoster, Michael University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Nate FosterFoster, Nate Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Toward Tool-Independent Summaries for Symbolic Execution PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
Gordon FraserFraser, Gordon University of Passau Program Chair in Organizing Committee for ISSTA 2023 PC Chair in Technical Papers within the ISSTA Technical Papers-track
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic General Co-Chair in Organizing Committee for ECOOP 2023
Ruifeng FuFu, Ruifeng College of Intelligence and Computing, Tianjin University Testing the Compiler for a New-born Programming Language: An Industrial Case Study (Experience Paper)
Davide FucciFucci, Davide Blekinge Institute of TechnologySweden Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
G Juan Pablo GaleottiGaleotti, Juan Pablo University of Buenos AiresArgentina PC Member in Technical Papers within the ISSTA Technical Papers-track
Alessio GambiGambi, Alessio IMC University of Applied Sciences KremsAustria Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Tianchang GaoGao, Tianchang College of Intelligence and Computing, Tianjin University Vectorizing Program Ingredients for Better JVM Testing
Xiang GaoGao, Xiang Beihang University, ChinaChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Xuanqi GaoGao, Xuanqi Xi'an Jiaotong University CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement
Ya GaoGao, Ya Nankai University LiResolver: License Incompatibility Resolution for Open Source Software
Yaoqing GaoGao, Yaoqing Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Exact Separation Logic
Carlos Gavidia-CalderonGavidia-Calderon, Carlos The Alan Turing InstituteUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Gregory GayGay, Gregory Chalmers \| University of GothenburgSweden Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Golnaz GharachorluGharachorlu, Golnaz Simon Fraser University Type Batched Program Reduction
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Multi-graded Featherweight Java
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa On using VeriFast, VerCors, Plural, and KeY to check object usage
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Extracting Inline Tests from Unit Tests Pattern-based Peephole Optimizations with Java JIT Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Yaroslav GolubevGolubev, Yaroslav JetBrains ResearchSerbia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs VeriFx: Correct Replicated Data Types for the Masses Co-chair in Organizing Committee within the DEBT-track
Rahul GopinathGopinath, Rahul University of SydneyAustralia Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Leo GourdinGourdin, Leo Lazy Code Transformations in a Formally Verified Compiler
Eva GraversenGraversen, Eva University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
John GrundyGrundy, John Monash UniversityAustralia ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Jiazhen GuGu, Jiazhen The Chinese University of Hong Kong Validating Multimedia Content Moderation Software via Semantic Fusion
Hao GuanGuan, Hao The University of Queensland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Le GuanGuan, Le Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Do Machine Learning Models Produce TypeScript Types that Type Check?
Yujiang GuiGui, Yujiang University of New South Wales Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection
Anna GuoGuo, Anna The University of Texas at Austin Extracting Inline Tests from Unit Tests
Huizhong GuoGuo, Huizhong Zhejiang University, China FairRec: Fairness Testing for Deep Recommender Systems
Shengjian (Daniel) GuoGuo, Shengjian (Daniel) Baidu Security Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Xiaochen GuoGuo, Xiaochen Huazhong University of Science and Technology Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Yao GuoGuo, Yao Peking University Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yuejun GUoGUo, Yuejun Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium Committee Member in Program Committee within the DEBT-track
Bhanukiran GurijalaGurijala, Bhanukiran The University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the COP-track
H Julian HaasHaas, Julian Technische Universität Darmstadt LoRe: A Programming Model for Verifiably Safe Local-First Software
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Automatically Reproducing Android Bug Reports Using Natural Language Processing and Reinforcement Learning PC Member in Technical Papers within the ISSTA Technical Papers-track Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
William HallahanHallahan, William Binghamton Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontréalCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Christian HammerHammer, Christian University of PassauGermany PC Member in Technical Papers within the ISSTA Technical Papers-track
Rui HanHan, Rui State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Improving Bit-Blasting for Nonlinear Integer Constraints
Seungheon HanHan, Seungheon Ulsan National Institute of Science and Technology Automated Program Repair from Fuzzing Perspective
Shi HanHan, Shi Microsoft ResearchChina Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond
Yudong HanHan, Yudong Peking University Who Judges the Judge: An Empirical Study on Online Judge Tests
Nils HansenHansen, Nils JGU Mainz Modular Abstract Definitional Interpreters for WebAssembly
Sicheng HaoHao, Sicheng Sun Yat-sen University SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis
Zhiyu HaoHao, Zhiyu Zhongguancun Lab API2vec: Learning Representations of API Sequences for Malware Detection
Mark HarmanHarman, Mark University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Sarah HarrisHarris, Sarah University of Kent Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Foyzul HassanHassan, Foyzul University of Michigan - DearbornUnited States Virtual Reality (VR) Automated Testing in the Wild: a Case Study on Unity-Based VR Applications
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
Dongjie HeHe, Dongjie UNSW SydneyAustralia Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection
Jifeng HeHe, Jifeng Shanghai Key Lab of Trustworthy Computing, China An Empirical Study of Functional Bugs in Android Apps
Ningyu HeHe, Ningyu Peking University Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Paul HeHe, Paul University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Pinjia HeHe, Pinjia Chinese University of Hong Kong at ShenzhenChina ROME: Testing Image Captioning Systems via Recursive Object Melting Validating Multimedia Content Moderation Software via Semantic Fusion
Shilin HeHe, Shilin Microsoft ResearchChina ROME: Testing Image Captioning Systems via Recursive Object Melting
Yichen HeHe, Yichen Beihang University COME: Commit Message Generation with Modification Embedding
Yiling HeHe, Yiling Zhejiang University DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yubo HeHe, Yubo State Key Laboratory of Mathematical Engineering and Advanced Computing of Information Engineering University 1dFuzz: Reproduce 1-day Vulnerabilities with Directed Differential Fuzzing
Simon HennigerHenniger, Simon Technical University of Munich The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Paula HerberHerber, Paula University of Munster, GermanyGermany PC Member in Program Committee within the FTfJP-track
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Program Committee within the FUZZING-track Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track
Tobias HeßHeß, Tobias University of UlmGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Carl HildebrandtHildebrandt, Carl University of VirginiaSouth Africa PhysCov: Physical Test Coverage for Autonomous Vehicles
Andrew K. HirschHirsch, Andrew K. University at BuffaloUnited States Semantics for Noninterference with Interaction Trees
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the DEBT-track Organizer in Organizing Committee within the COP-track
Renáta HodovánHodován, Renáta University of Szeged, HungaryHungary Committee Member in Program Committee within the FUZZING-track
Tony HoskingHosking, Tony Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Ping HouHou, Ping University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Chunming HuHu, Chunming Beihang UniversityChina Detecting Condition-related Bugs with Control Flow Graph Neural Network
Jiajun HuHu, Jiajun The Hong Kong University of Science and Technology $\omega$Test: WebView-Oriented Testing for Android Applications
Qiang HuHu, Qiang University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tiancheng HuHu, Tiancheng Huazhong University of Science and Technology Fine-grained Code Clone Detection with Block-based Splitting of Abstract Syntax Tree
Wenbo HuHu, Wenbo Institute of Information Engineering, Chinese Academy of Sciences Splendor: Static Detection of Stored XSS in Modern Web Applications
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yang HuHu, Yang University of Texas at AustinUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yubin HuHu, Yubin Beijing University of Posts and Telecommunications Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Yubo HuHu, Yubo Xidian University DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Yutao HuHu, Yutao Huazhong University of Science and Technology Interpreters for GNN-based Vulnerability Detection: Are We There Yet?
Yuxin HuHu, Yuxin Southern University of Science and Technology (SUSTech) Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Zehong HuHu, Zehong Alibaba Group FairRec: Fairness Testing for Deep Recommender Systems
Ziyue HuaHua, Ziyue Peking University GDsmith: Detecting Bugs in Cypher Graph Database Engines
Gang HuangHuang, Gang Peking University Who Judges the Judge: An Empirical Study on Online Judge Tests
Huaxun HuangHuang, Huaxun The Hong Kong University of Science and Technology ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Jingyuan HuangHuang, Jingyuan The Chinese University of Hong Kong Validating Multimedia Content Moderation Software via Semantic Fusion
Pei HuangHuang, Pei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Improving Bit-Blasting for Nonlinear Integer Constraints
Xiang HuangHuang, Xiang Nanjing University Back Deduction based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Xiaotong HuangHuang, Xiaotong Huazhong University of Science and Technology Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zunchen HuangHuang, Zunchen University of Southern California Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei HuoHuo, Wei Institute of Information Engineering, Chinese Academy of Sciences Splendor: Static Detection of Stored XSS in Modern Web Applications ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Christopher HuthHuth, Christopher Robert Bosch GmbH Fuzzing Embedded Systems Using Debug Interfaces
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track
Maximilian Ignacio Willembrinck SantanderIgnacio Willembrinck Santander, Maximilian Committee Member in Program Committee within the DEBT-track
Nafees IqbalIqbal, Nafees University of Michigan - Dearborn Virtual Reality (VR) Automated Testing in the Wild: a Case Study on Unity-Based VR Applications
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites Into Croissants PC Member in Technical Papers within the ISSTA Technical Papers-track
Alex JafariJafari, Alex United States Sponsors Co-Chair in Organizing Committee for ISSTA 2023 General Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Dhanushka JayasuriyaJayasuriya, Dhanushka University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Rongrong JiJi, Rongrong Xiamen University Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring
Yuede JiJi, Yuede University of North Texas API2vec: Learning Representations of API Sequences for Malware Detection
Zhenlan JiJi, Zhenlan The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Fuqi JiaJia, Fuqi State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Improving Bit-Blasting for Nonlinear Integer Constraints
Haoxiang JiaJia, Haoxiang Huazhong University of Science and Technology Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Ling JiangJiang, Ling Southern University of Science and Technology Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Nan JiangJiang, Nan Purdue University How Effective are Neural Networks for Fixing Security Vulnerabilities
Yu JiangJiang, Yu Tsinghua UniversityChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yunsong JiangJiang, Yunsong Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software
Zigui JiangJiang, Zigui Sun Yat-sen UniversityChina DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Wenpin JiaoJiao, Wenpin Peking University, China GDsmith: Detecting Bugs in Cypher Graph Database Engines
Feiyang JinJin, Feiyang Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Fine-grained Code Clone Detection with Block-based Splitting of Abstract Syntax Tree Interpreters for GNN-based Vulnerability Detection: Are We There Yet? Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation An Empirical Study on the Effects of Obfuscation on Static Machine Learning-based Malicious JavaScript Detectors
Xin JinJin, Xin The Ohio State UniversityUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhi JinJin, Zhi Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Workshops Co-Chair in Organizing Committee for ISSTA 2023 Workshops Co-Chair in Organizing Committee for ECOOP 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
James JonesJones, James University of California, IrvineUnited States To Kill a Mutant: An Empirical Study of Mutation Testing Kills PC Member in Technical Papers within the ISSTA Technical Papers-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the FTfJP-track
Eric JulJul, Eric University of OsloNorway Co-chair in Organizing Committee within the ICOOOLPS-track
René JustJust, René University of WashingtonUnited States General Chair in Organizing Committee for ISSTA 2023
David JustoJusto, David Microsoft AzureUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
K Abdoul Kader KaboréKaboré, Abdoul Kader SnT, University of LuxembourgLuxembourg CodeGrid: A Grid Representation of Code
Severin KaciankaKacianka, Severin Technical University of MunichGermany Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction
Gail KaiserKaiser, Gail Columbia UniversityUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Matteo KammKamm, Matteo ETH Zürich Testing Graph Database Engines via Query Partitioning
Sungmin KangKang, Sungmin KAISTSouth Korea A Bayesian Framework for Automated Debugging
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Piyus KediaKedia, Piyus Indraprastha Institute of Information Technology, DelhiIndia CGuard: Scalable and Precise Object Bounds Protection for C
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany Modular Abstract Definitional Interpreters for WebAssembly
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Organizing Committee for ECOOP 2023
Martin KelloggKellogg, Martin NJIT PC Member in Technical Papers within the ISSTA Technical Papers-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Student Volunteer Co-Chair in Chairs within the ECOOP and ISSTA Student Volunteers-track
David KellyKelly, David University College London June: A Type Testability Transformation for Improved ATG Performance
ASKAR YELTAYULY KHAMITKHAMIT, ASKAR YELTAYULY Ulsan National Institute of Science and Technology Automated Program Repair from Fuzzing Perspective
M. Mahdi KhosraviKhosravi, M. Mahdi Middle East Technical University Systematically Producing Test-Orders to Detect Order-Dependent Flaky Tests
Ellen KidaneKidane, Ellen University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Moonzoo KimKim, Moonzoo KAIST / VPlusLab Inc. South Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Myeongsoo KimKim, Myeongsoo Georgia Institute of Technology, USAUnited States Enhancing REST API Testing with NLP Techniques
YoungJae KimKim, YoungJae Ulsan National Institute of Science and Technology Automated Program Repair from Fuzzing Perspective
Jacques KleinKlein, Jacques University of Luxembourg CodeGrid: A Grid Representation of Code Guided Retraining to Enhance the Detection of Difficult Android Malware PC Member in Technical Papers within the ISSTA Technical Papers-track
Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Caleb KochKoch, Caleb Stanford Automata Learning with an Incomplete Teacher
Sumer KohliKohli, Sumer UC BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Kelvin Kai Wen KongKong, Kelvin Kai Wen School of Information and Technology, Monash University Malaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Queping KongKong, Queping Sun Yat-sen University DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Vijay Krishna PalepuKrishna Palepu, Vijay Microsoft To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Martin KrulišKruliš, Martin Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Christian KuessnerKuessner, Christian Technische Universität DarmstadtGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Roland KuhnKuhn, Roland Actyx AGGermany Behavioural Types for Local-First Software
Udit Kumar AgarwalKumar Agarwal, Udit CGuard: Scalable and Precise Object Bounds Protection for C
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the COP-track
L Wing LamLam, Wing George Mason University Systematically Producing Test-Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track
Michele LanzaLanza, Michele Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Julia Kaiwen LauLau, Julia Kaiwen School of Information and Technology, Monash University Malaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Out-of-place Multiverse Debugging for Constraint Devices
Isabella LaybournLaybourn, Isabella Carnegie Mellon University Guiding Greybox Fuzzing using Mutation Testing
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Organizing Committee within the FTfJP-track
Byoungyoung LeeLee, Byoungyoung Seoul National University, South Korea Committee Member in Program Committee within the FUZZING-track
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Owolabi LegunsenLegunsen, Owolabi Cornell University Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes PC Member in Technical Papers within the ISSTA Technical Papers-track
Daniel LehmannLehmann, Daniel University of StuttgartGermany That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada PC Member in Technical Papers within the ISSTA Technical Papers-track
Reese LevineLevine, Reese UC Santa Cruz Project X: Testing GPU Memory Consistency At Large (Experience Paper)
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Albert LiLi, Albert University of California Santa Barbara Rare Path Guided Fuzzing
Ao LiLi, Ao Carnegie Mellon University Guiding Greybox Fuzzing using Mutation Testing
Changwen LiLi, Changwen Institute of Software, Chinese Academy of Sciences Simulation-based Validation for Autonomous Driving Systems
Chao LiLi, Chao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software
Chengpeng LiLi, Chengpeng University of Texas at AustinUnited States Systematically Producing Test-Orders to Detect Order-Dependent Flaky Tests
Ding LiLi, Ding Peking UniversityChina Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Feng LiLi, Feng Institute of Computing Technology at Chinese Academy of Sciences, China Splendor: Static Detection of Stored XSS in Modern Web Applications
Ge LiLi, Ge Peking UniversityChina CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Haonan LiLi, Haonan Southern University of Science and Technology Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Hong LiLi, Hong Institute of information engineering, Chinese Academy of Sciences Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Hui LiLi, Hui Department of Computer Science and Technology, Xiamen UniversityChina Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring
Huizhong LiLi, Huizhong WeBankChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jianfeng LiLi, Jianfeng The Hong Kong Polytechnic University CydiOS: a model-based testing framework for iOS apps
Jiaqi LiLi, Jiaqi The Chinese University of Hong Kong, Shenzhen ROME: Testing Image Captioning Systems via Recursive Object Melting
Jinfeng LiLi, Jinfeng Alibaba Group FairRec: Fairness Testing for Deep Recommender Systems
Jinku LiLi, Jinku School of Cyber Engineering, Xidian University, Xi'an 710071, China DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Kaixuan LiLi, Kaixuan East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Levi Taiji LiLi, Levi Taiji University of Utah Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Li LiLi, Li Beihang UniversityChina ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Linyu LiLi, Linyu LiResolver: License Incompatibility Resolution for Open Source Software
Lun LiLi, Lun Institute of Information and Engineering，CAS API2vec: Learning Representations of API Sequences for Malware Detection
Ningke LiLi, Ningke Huazhong University of Science and Technology Understanding and Tackling Label Errors in Deep Learning-based Vulnerability Detection (Experience Paper)
Shanshan LiLi, Shanshan National University of Defense TechnologyChina CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Suwan LiLi, Suwan Nanjing University Security Checking of Trigger-Action-Programming Smart Home Integrations
Wenke LiLi, Wenke Huazhong University of Science and Technology Interpreters for GNN-based Vulnerability Detection: Are We There Yet?
Xuandong LiLi, Xuandong Nanjing UniversityChina Security Checking of Trigger-Action-Programming Smart Home Integrations Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Yanhui LiLi, Yanhui Nanjing UniversityChina Back Deduction based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Yannan LiLi, Yannan University of Southern California Constraint Based Compiler Optimization for Energy Harvesting Applications Systematic Testing of the Data-Poisoning Robustness of KNN
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yeting LiLi, Yeting Chinese Academy of Sciences ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Yue LiLi, Yue Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yuekang LiLi, Yuekang Nanyang Technological University ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Zhenhao LiLi, Zhenhao Concordia UniversityCanada Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhoujun LiLi, Zhoujun Beihang University COME: Commit Message Generation with Modification Embedding
Zongyang LiLi, Zongyang Peking UniversityChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Guangtai LiangLiang, Guangtai Huawei CloudChina Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Lizhi LiaoLiao, Lizhi Concordia University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Xianhao LiaoLiao, Xianhao Ant Group DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Zeqin LiaoLiao, Zeqin Sun Yat-sen UniversityChina SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis
Sherlock A. LicorishLicorish, Sherlock A. University of OtagoNew Zealand PC Member in Technical Papers within the ISSTA Technical Papers-track
Mei Kuan LimLim, Mei Kuan Monash University MalaysiaMalaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Bin LinLin, Bin Radboud University On the Rise of Modern Software Documentation
Bo LinLin, Bo National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei LinLin, Wei GDsmith: Detecting Bugs in Cypher Graph Database Engines
Mario Linares-VásquezLinares-Vásquez, Mario Universidad de los AndesColombia PC Member in Technical Papers within the ISSTA Technical Papers-track
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Jonathan Lindegaard StarupLindegaard Starup, Jonathan Aarhus UniversityDenmark Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
LI LinlinLinlin, LI Southern University of Science and Technology What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Stephan LippLipp, Stephan Technical University of Munich Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction
Aishan LiuLiu, Aishan Beihang University Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Chengwei LiuLiu, Chengwei Nanyang Technological University, Singapore A Comprehensive Study on Quality Assurance Tools for Java
Cong LiuLiu, Cong University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Han LiuLiu, Han East China Normal UniversityChina A Comprehensive Study on Quality Assurance Tools for Java
Hao LiuLiu, Hao Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring
Jiangchao LiuLiu, Jiangchao Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Jie LiuLiu, Jie Ant Group DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Jierui LiuLiu, Jierui Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Kaibo LiuLiu, Kaibo Peking University Who Judges the Judge: An Empirical Study on Online Judge Tests
Kui LiuLiu, Kui Huawei Software Engineering Application Technology LabChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Minghao LiuLiu, Minghao State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of SciencesChina Improving Bit-Blasting for Nonlinear Integer Constraints
Peng LiuLiu, Peng The Pennsylvania State University Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Si LiuLiu, Si ETH ZurichSwitzerland A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Tao LiuLiu, Tao The Pennsylvania State University Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Tianyi LiuLiu, Tianyi Nanjing University Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Xianglong LiuLiu, Xianglong Beihang University Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Xiangyu LiuLiu, Xiangyu Alibaba Group FairRec: Fairness Testing for Deep Recommender Systems
Xudong LiuLiu, Xudong Beihang University Detecting Condition-related Bugs with Control Flow Graph Neural Network
Yan LiuLiu, Yan Runtime Verification Inc. Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore A Comprehensive Study on Quality Assurance Tools for Java Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts Detecting Condition-related Bugs with Control Flow Graph Neural Network
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina $\omega$Test: WebView-Oriented Testing for Android Applications What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications ConfFix: Repairing Configuration Compatibility Issues in Android Apps Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Yu LiuLiu, Yu University of Texas at Austin Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Zheli LiuLiu, Zheli Nankai University LiResolver: License Incompatibility Resolution for Open Source Software
Zhengyang LiuLiu, Zhengyang University of Utah Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Zhibo LiuLiu, Zhibo Hong Kong University of Science and TechnologyChina Exploring Missed Optimizations in WebAssembly Optimizers Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina Towards More Realistic Evaluation for Neural Test Oracle Generation
Zhuotao LiuLiu, Zhuotao Tsinghua University iSyn: Semi-Automated Smart Contract Synthesis from Legal Financial Agreements
David LoLo, David Singapore Management UniversitySingapore Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing PC Member in Technical Papers within the ISSTA Technical Papers-track
Calvin LoncaricLoncaric, Calvin OracleUnited States Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Joshua Chern Wey LowLow, Joshua Chern Wey School of Information and Technology, Monash University Malaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Gongzheng LuLu, Gongzheng Suzhou City University NodeRT: Detecting Races in Node.js Applications Practically
Xu LuLu, Xu ICTT and ISN Laboratory, Xidian University SBDT: Search-based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Lovro LugovićLugović, Lovro University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Stephan LukasczykLukasczyk, Stephan University of PassauGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Linghui LuoLuo, Linghui Amazon Web ServicesGermany PC Member in Technical Papers within the ISSTA Technical Papers-track
Xiapu LuoLuo, Xiapu The Hong Kong Polytechnic UniversityChina 1dFuzz: Reproduce 1-day Vulnerabilities with Directed Differential Fuzzing Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features Understanding and Tackling Label Errors in Deep Learning-based Vulnerability Detection (Experience Paper) CydiOS: a model-based testing framework for iOS apps
Thibaud LutellierLutellier, Thibaud University of Alberta How Effective are Neural Networks for Fixing Security Vulnerabilities
Matthew LutzeLutze, Matthew Aarhus University Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Michael LyuLyu, Michael The Chinese University of Hong Kong Validating Multimedia Content Moderation Software via Semantic Fusion
Andreas LööwLööw, Andreas Imperial College London Exact Separation Logic
M Jie M. ZhangM. Zhang, Jie King's College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests PC Member in Technical Papers within the ISSTA Technical Papers-track
Feifei MaMa, Feifei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Improving Bit-Blasting for Nonlinear Integer Constraints
Haoyang MaMa, Haoyang Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Fuzzing Deep Learning Compilers with HirGen
Shiqing MaMa, Shiqing Rutgers University CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement
Yun MaMa, Yun Peking UniversityChina Who Judges the Judge: An Empirical Study on Online Judge Tests
Zheyu MaMa, Zheyu 1dFuzz: Reproduce 1-day Vulnerabilities with Directed Differential Fuzzing
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Adnan MahmoodMahmood, Adnan Macquarie UniversityAustralia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dominik MaierMaier, Dominik Google Committee Member in Program Committee within the FUZZING-track
Petar MaksimovićMaksimović, Petar Imperial College London, UK Exact Separation Logic
Muhammad MalikMalik, Muhammad North Dakota State University Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bing MaoMao, Bing Nanjing University OCFI: Make Function Entry Identification Hard Again
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly PC Member in Technical Papers within the ISSTA Technical Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Transforming Test Suites Into Croissants
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the ICOOOLPS-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DEBT-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Omar MasmaliMasmali, Omar Dammam College of TechnologySaudi Arabia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center PC Member in Technical Papers within the ISSTA Technical Papers-track
Devon McKeeMcKee, Devon UC Santa CruzUnited States Project X: Testing GPU Memory Consistency At Large (Experience Paper)
Phil McMinnMcMinn, Phil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Behavioural Types for Local-First Software
Hector MenendezMenendez, Hector King's College LondonUnited Kingdom June: A Type Testability Transformation for Improved ATG Performance
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Wei MengMeng, Wei Chinese University of Hong KongChina Exploring Missed Optimizations in WebAssembly Optimizers
Kim MensMens, Kim Université catholique de Louvain, ICTEAM institute, BelgiumBelgium Committee Member in Program Committee within the COP-track
Ali MesbahMesbah, Ali University of British Columbia (UBC) PC Member in Technical Papers within the ISSTA Technical Papers-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Mira MeziniMezini, Mira TU DarmstadtGermany A Direct-Style Effect Notation for Sequential and Parallel Programs LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software
Xinyuan MiaoMiao, Xinyuan Shanghai Jiao Tong University GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Aleksandar MicicMicic, Aleksandar IBM, Canada Towards Reliable Memory Management for Python Native Extensions
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the ECOOP Research Papers-track
Roberto MinelliMinelli, Roberto Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Sanjay MisraMisra, Sanjay Østfold University CollegeNorway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yifan MoMo, Yifan School of Software Engineering, Sun Yat-sen University Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Mark MoellerMoeller, Mark Cornell University Automata Learning with an Incomplete Teacher
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Alessandro MorariMorari, Alessandro IBM ResearchUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
João MotaMota, João NOVA School of Science and Technology On using VeriFast, VerCors, Plural, and KeY to check object usage
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Hsu Myat WinMyat Win, Hsu University of Technology Sydney (UTS)Australia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark PC Member in Program Committee within the ECOOP Research Papers-track
N Csaba NagyNagy, Csaba Software Institute - USI, Lugano On the Rise of Modern Software Documentation
Nicole NairNair, Nicole Swarthmore College Guiding Greybox Fuzzing using Mutation Testing
Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for ISSTA 2023 Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Student Research Competition Co-Chair in Chairs within the ECOOP and ISSTA Student Research Competition-track
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada Towards Reliable Memory Management for Python Native Extensions
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Toward Tool-Independent Summaries for Symbolic Execution
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Flow Analysis for Detecting Non-Determinism in Blockchain
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
Surya NepalNepal, Surya Data61, CSIRO ICICLE: A re-Designed Emulator for Grey-Box Firmware Fuzzing
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Liming NieNie, Liming Nanyang Technological University A Comprehensive Study on Quality Assurance Tools for Java
Pengbo NieNie, Pengbo Shanghai Jiao Tong University GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Pengyu NieNie, Pengyu University of Texas at Austin Extracting Inline Tests from Unit Tests More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Sen NieNie, Sen Keen Security Lab, Tencent Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DEBT-track
Abel NietoNieto, Abel Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Zhenyu NingNing, Zhenyu Hunan University and Southern University of Science and Technology (SUSTech) Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
James NobleNoble, James Research & ProgrammingNew Zealand PC Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FUZZING-track
Muhammad Numair MansurNumair Mansur, Muhammad MPI-SWSGermany Dependency-Aware Metamorphic Testing of Datalog Engines
O Kelton OBrienOBrien, Kelton University of Minnesota Guiding Greybox Fuzzing using Mutation Testing
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea PC Member in Technical Papers within the ISSTA Technical Papers-track
Willian OizumiOizumi, Willian GoToBrazil Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Milos OjdanicOjdanic, Milos University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Dependent Merges and First-Class Environments
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Flow Analysis for Detecting Non-Determinism in Blockchain
Cyrus OmarOmar, Cyrus University of MichiganUnited States Pearls/Brave New Ideas Area Chair in Program Committee within the ECOOP Research Papers-track
John-Paul OreOre, John-Paul North Carolina State UniversityUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Enhancing REST API Testing with NLP Techniques
Alex OrsoOrso, Alex Georgia Institute of Technology United States PC Member in Technical Papers within the ISSTA Technical Papers-track
Klaus OstermannOstermann, Klaus University of TübingenGermany PC Member in Program Committee within the ECOOP Research Papers-track
Samuel OuOu, Samuel University of AucklandNew Zealand Understanding Breaking Changes in the Wild
Jiradet OunjaiOunjai, Jiradet MPI-SWS Green Fuzzer Benchmarking
P Rohan PadhyePadhye, Rohan Carnegie Mellon University Guiding Greybox Fuzzing using Mutation Testing Committee Member in Program Committee within the FUZZING-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Yu PanPan, Yu University of MichiganUnited States Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Chengbin PangPang, Chengbin Nanjing University OCFI: Make Function Entry Identification Hard Again
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology) super-charging Object-Oriented Programming through Precise Typing of Open Recursion
Michele PasquaPasqua, Michele University of VeronaItaly Enhancing REST API Testing with NLP Techniques
Fabrizio PastorePastore, Fabrizio University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mathias PayerPayer, Mathias EPFLSwitzerland Committee Member in Program Committee within the FUZZING-track
David J. PearcePearce, David J. ConsenSysUnited States On Leveraging Tests to Infer Nullable Annotations
Hila PelegPeleg, Hila TechnionIsrael PC Member in Technical Papers within the ISSTA Technical Papers-track
Haoran PengPeng, Haoran University of Science and Technology of ChinaChina Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Junru PengPeng, Junru Xidian University Interpreters for GNN-based Vulnerability Detection: Are We There Yet?
Xin PengPeng, Xin Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Tomas PetricekPetricek, Tomas Charles UniversityCzech Republic PC Member in Program Committee within the ECOOP Research Papers-track
Fabio PetrilloPetrillo, Fabio École de technologie supérieure (ÉTS), Montréal -- Université du QuébecCanada Committee Member in Program Committee within the DEBT-track
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland PC Member in Technical Papers within the ISSTA Technical Papers-track
Hung Viet PhamPham, Hung Viet York UniversityCanada How Effective are Neural Networks for Fixing Security Vulnerabilities
Thuan PhamPham, Thuan The University of Melbourne Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2023 SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution Tool demonstrations co-chair in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
Juan Altmayer PizzornoPizzorno, Juan Altmayer University of Massachusetts AmherstUnited States SlipCover: Near Zero-Overhead Code Coverage for Python
Andy PodgurskiPodgurski, Andy Case Western University PC Member in Technical Papers within the ISSTA Technical Papers-track
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee within the ECOOP Research Papers-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Hannah PotterPotter, Hannah University of WashingtonUnited States ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Michael PradelPradel, Michael University of StuttgartGermany Beware of the Unexpected: Bimodal Taint Analysis That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly PC Member in Technical Papers within the ISSTA Technical Papers-track
Jyoti PrakashPrakash, Jyoti University of PassauIndia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Alexander PretschnerPretschner, Alexander TU MunichGermany Green Fuzzing: A Saturation-based Stopping Criterion using Vulnerability Prediction
Geguang PuPu, Geguang East China Normal University An Empirical Study of Functional Bugs in Android Apps
Saurabh PujarPujar, Saurabh IBM ResearchUnited States CONCORD: Clone-aware Contrastive Learning for Source Code
Rahul PurandarePurandare, Rahul University of Nebraska—Lincoln CGuard: Scalable and Precise Object Bounds Protection for C
Q Chenxiong QianQian, Chenxiong University of Hong Kong CydiOS: a model-based testing framework for iOS apps
Xue QinQin, Xue Villanova University Virtual Reality (VR) Automated Testing in the Wild: a Case Study on Unity-Based VR Applications
Zhan QinQin, Zhan Zhejiang University DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Han QiuQiu, Han Tsinghua UniversityChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Andrew QuinnQuinn, Andrew University of California, Santa CruzUnited States Project X: Testing GPU Memory Consistency At Large (Experience Paper)
R Felipe R. MonteiroR. Monteiro, Felipe AmazonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Md Rafiqul Islam RabinRabin, Md Rafiqul Islam University of HoustonUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of ICOOOLPS (part of ICOOOLPS) Co-chair in Organizing Committee within the ICOOOLPS-track
Marco RagliantiRaglianti, Marco Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Rudolf RamlerRamler, Rudolf Software Competence Center HagenbergAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Frederico RamosRamos, Frederico Instituto Superior Técnico Toward Tool-Independent Summaries for Symbolic Execution
Aurora RamírezRamírez, Aurora University of CórdobaSpain Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Damith C. RanasingheRanasinghe, Damith C. The University of Adelaide ICICLE: A re-Designed Emulator for Grey-Box Firmware Fuzzing
Antonio RavaraRavara, Antonio NOVA LINCS & FCT, NOVA University of LisbonPortugal On using VeriFast, VerCors, Plural, and KeY to check object usage
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States CONCORD: Clone-aware Contrastive Learning for Source Code PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Organizing Committee within the FUZZING-track
Baber RehmanRehman, Baber University of Hong Kong Determinism with Intersection and Union Types
Baber RehmanRehman, Baber The University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Kunlun RenRen, Kunlun Huazhong University of Science and Technology An Empirical Study on the Effects of Obfuscation on Static Machine Learning-based Malicious JavaScript Detectors
Luyao RenRen, Luyao Peking University, ChinaChina GDsmith: Detecting Bugs in Cypher Graph Database Engines
Pinghong RenRen, Pinghong Qufu Normal University SBDT: Search-based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly DeepAtash: Focused Test Generation for Deep Learning Systems
David RichterRichter, David Technical University of DarmstadtGermany A Direct-Style Effect Notation for Sequential and Parallel Programs
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Testing Graph Database Engines via Query Partitioning
RishabhRishabh GGSIPU CGuard: Scalable and Precise Object Bounds Protection for C
José Miguel RojasRojas, José Miguel The University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Ori RothRoth, Ori TechnionIsrael Python Type Hints are Turing Complete
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the DEBT-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Concept-based Automated Grading of CS-1 Programming Assignments PC Member in Technical Papers within the ISSTA Technical Papers-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2023 Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Ruben Ruiz TorrubianoRuiz Torrubiano, Ruben IMC University of Applied Sciences KremsAustria Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Antonio Ruiz-CortésRuiz-Cortés, Antonio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs
Ugnius RumseviciusRumsevicius, Ugnius University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Jukka RuohonenRuohonen, Jukka University of TurkuFinland Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
S Nuno SabinoSabino, Nuno Instituto Superior Técnico, Carnegie Mellon UniversityPortugal Toward Tool-Independent Summaries for Symbolic Execution
Seemanta SahaSaha, Seemanta UCSB Rare Path Guided Fuzzing
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Program Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Jordan SamhiSamhi, Jordan University of LuxembourgLuxembourg Publicity Co-Chair in Organizing Committee for ISSTA 2023 Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ganesh SankaranSankaran, Ganesh University of California Santa BarbaraUnited States Quantitative Policy Repair for Access Control on the Cloud Rare Path Guided Fuzzing
Rafaello SannaSanna, Rafaello University of Rochester Guiding Greybox Fuzzing using Mutation Testing
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Laboni SarkerSarker, Laboni University of California Santa Barbara Rare Path Guided Fuzzing
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Federica SarroSarro, Federica University College LondonUnited Kingdom Who Judges the Judge: An Empirical Study on Online Judge Tests
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Beware of the Unexpected: Bimodal Taint Analysis
Moritz SchloegelSchloegel, Moritz CISPA, Germany Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Co-chair in Organizing Committee within the DEBT-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Richard SchumiSchumi, Richard Singapore Management University Semantic-Based Neural Network Repair
Thomas SchweizerSchweizer, Thomas University of Washington, SeattleUnited States An empirical evaluation of commit-untangling tools
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track
Ryan ScottScott, Ryan Galois, Inc.United States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Sergio SeguraSegura, Sergio University of SevilleSpain AGORA: Automated Generation of Test Oracles for REST APIs PC Member in Technical Papers within the ISSTA Technical Papers-track
Koushik SenSen, Koushik UC Berkeley ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Koushik SenSen, Koushik University of California at BerkeleyUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance PC Member in Program Committee within the ECOOP Research Papers-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Chaofeng ShaSha, Chaofeng Fudan UniversityChina In Defense of Simple Techniques for Neural Network Test Case Selection
Md ShafiuzzamanShafiuzzaman, Md University of California Santa Barbara Rare Path Guided Fuzzing
Sameena ShahShah, Sameena J.P. Morgan AI ResearchUnited States How Effective are Neural Networks for Fixing Security Vulnerabilities
Hesam ShahrokhiShahrokhi, Hesam University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Arindam SharmaSharma, Arindam Imperial College London GrayC: Greybox Fuzzing of Compilers and Analysers for C
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Chao ShenShen, Chao Xi'an Jiaotong University CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement
Guangyu ShenShen, Guangyu Purdue University Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Qingchao ShenShen, Qingchao Tianjin UniversityChina Fuzzing Deep Learning Compilers with HirGen
Elena ShermanSherman, Elena Boise State UniversityUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
August ShiShi, August University of Texas at AustinUnited States Systematically Producing Test-Orders to Detect Order-Dependent Flaky Tests PC Member in Technical Papers within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Ensheng ShiShi, Ensheng Xi'an Jiaotong UniversityChina Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond
Jingyi ShiShi, Jingyi Chinese Academy of SciencesChina ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Wenxuan ShiShi, Wenxuan Southern University of Science and Technology (SUSTech) Alligator In Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Jun ShirakoShirako, Jun Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Fedor ShmarovShmarov, Fedor The University of Manchester Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Chaofan ShouShou, Chaofan University of California, Santa BarbaraUnited States Rare Path Guided Fuzzing ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Joseph SifakisSifakis, Joseph Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG Simulation-based Validation for Autonomous Driving Systems
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Lucas SilverSilver, Lucas University of PennsylvaniaUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification Semantics for Noninterference with Interaction Trees
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
Jeongju SohnSohn, Jeongju University of LuxembourgLuxembourg Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Dakota SolesSoles, Dakota The University of Texas at Dallas An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
Alaia Solko-BreslinSolko-Breslin, Alaia University of Pennsylvania Automata Learning with an Incomplete Teacher
Wei SongSong, Wei Nanjing University of Science and TechnologyChina DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
Ezekiel SoremekunSoremekun, Ezekiel Royal Holloway, University of LondonUnited Kingdom Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Project X: Testing GPU Memory Consistency At Large (Experience Paper)
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track
Badr SouaniSouani, Badr University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Leonardo SousaSousa, Leonardo CMU - Silicon ValleyUnited States Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Helge SpiekerSpieker, Helge Simula Research Laboratory, NorwayNorway Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Martin SpießlSpießl, Martin LMU MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Fausto SpotoSpoto, Fausto U. Verona Flow Analysis for Detecting Non-Determinism in Blockchain
Manu SridharanSridharan, Manu University of California at RiversideUnited States PC Member in Technical Papers within the ISSTA Technical Papers-track
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Meriel SteinStein, Meriel PhysCov: Physical Test Coverage for Autonomous Vehicles
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway PC Member in Program Committee within the VORTEX-track
Felix StutzStutz, Felix MPI-SWS Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts
He SuSu, He Institute of Information Engineering, Chinese Academy of Sciences Splendor: Static Detection of Stored XSS in Modern Web Applications
Hui SuSu, Hui University of Electronic Science and Technology of China ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Moon Ting SuSu, Moon Ting Universiti MalayaMalaysia Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Ting SuSu, Ting East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland An Empirical Study of Functional Bugs in Android Apps Testing Graph Database Engines via Query Partitioning
Zian SuSu, Zian Purdue University Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis
Felix SuchertSuchert, Felix Center for Advancing Electronics Dresden, TU DresdenGermany ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Nick SumnerSumner, Nick Simon Fraser University Type Batched Program Reduction
Chengnian SunSun, Chengnian University of WaterlooCanada CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Hailong SunSun, Hailong Beihang UniversityChina Detecting Condition-related Bugs with Control Flow Graph Neural Network
Hongbin SunSun, Hongbin Xi'an Jiaotong University Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond
Jiaguang SunSun, Jiaguang Tsinghua University CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Jingling SunSun, Jingling East China Normal UniversityChina An Empirical Study of Functional Bugs in Android Apps
Jun SunSun, Jun Singapore Management UniversitySingapore Semantic-Based Neural Network Repair Testing Automated Driving Systems by Breaking Many Laws Efficiently Silent Compiler Bug De-duplication via Three-Dimensional Analysis PC Member in Technical Papers within the ISSTA Technical Papers-track
Limin SunSun, Limin Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China Detecting Vulnerabilities in Linux-based Embedded Firmware with SSE-based On-demand Alias Analysis
Yang SunSun, Yang Singapore Management University, Singapore Testing Automated Driving Systems by Breaking Many Laws Efficiently
Yujie SunSun, Yujie Institute of Information Engineering, Chinese Academy of Sciences Splendor: Static Detection of Stored XSS in Modern Web Applications
Zewen SunSun, Zewen Nanjing University Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Julian SutherlandSutherland, Julian Imperial College London Exact Separation Logic
Amanda SwearnginSwearngin, Amanda Apple, USAUnited States Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Laszlo SzekeresSzekeres, Laszlo Google Committee Member in Organizing Committee within the FUZZING-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Experience Area Chair in Program Committee within the ECOOP Research Papers-track
T Fabio TagliaferroTagliaferro, Fabio CYS4 Srl Flow Analysis for Detecting Non-Determinism in Blockchain
Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom PC Member in Program Committee within the FTfJP-track
Jinhao TanTan, Jinhao University of Hong Kong Dependent Merges and First-Class Environments
Lin TanTan, Lin Purdue UniversityUnited States How Effective are Neural Networks for Fixing Security Vulnerabilities
Per Hoong TanTan, Per Hoong School of Information and Technology, Monash University Malaysia Synthesizing Speech Test Cases with Text-To-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Shangyin TanTan, Shangyin UC BerkeleyUnited States ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Shin Hwei TanTan, Shin Hwei Concordia University Concept-based Automated Grading of CS-1 Programming Assignments
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina PC Member in Technical Papers within the ISSTA Technical Papers-track
Tian TanTan, Tian Nanjing UniversityChina Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Yudai TanabeTanabe, Yudai Kyoto UniversityJapan Organizer in Organizing Committee within the COP-track
Qiyi TangTang, Qiyi Tencent Security Keen Lab Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Guanhong TaoTao, Guanhong Purdue UniversityUnited States Improving Binary Code Similarity Transformer Models by Semantics-driven Instruction Deemphasis
April TeaTea, April University of Washington, SeattleUnited States Student Volunteer Co-Chair in Organizing Committee for ISSTA 2023 Student Volunteer Co-Chair in Chairs within the ECOOP and ISSTA Student Volunteers-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil PC Member in Program Committee within the FTfJP-track
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Understanding Breaking Changes in the Wild PC Member in Technical Papers within the ISSTA Technical Papers-track
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Peter ThiemannThiemann, Peter University of Freiburg, Germany PC Member in Program Committee within the ECOOP Research Papers-track
Aditya ThimmaiahThimmaiah, Aditya The University of Texas at Austin Pattern-based Peephole Optimizations with Java JIT Tests
Cong TianTian, Cong ICTT and ISN Laboratory, Xidian University SBDT: Search-based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Haoye TianTian, Haoye University of Luxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yongqiang TianTian, Yongqiang University of WaterlooCanada Fuzzing Deep Learning Compilers with HirGen CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Yuan TianTian, Yuan Queens University, Kingston, CanadaCanada Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Li TianlinTianlin, Li NTU Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Amin TimanyTimany, Amin Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Frank TipTip, Frank Northeastern UniversityUnited States That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States PC Member in Program Committee within the FTfJP-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States PC Chair in Program Committee within the FTfJP-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland DeepAtash: Focused Test Generation for Deep Learning Systems
Emina TorlakTorlak, Emina Amazon Web Services and University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track PC Member in Program Committee within the VORTEX-track
Emma ToschTosch, Emma Northeastern University, USA PC Member in Program Committee within the ECOOP Research Papers-track
Alix TrieuTrieu, Alix ANSSIFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Michele TucciTucci, Michele Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Michele TufanoTufano, Michele MicrosoftUnited States Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Behavioural Types for Local-First Software
Rachel Tzoref-BrillTzoref-Brill, Rachel IBM ResearchIsrael Enhancing REST API Testing with NLP Techniques PC Member in Technical Papers within the ISSTA Technical Papers-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track
Fitash Ul HaqUl Haq, Fitash University of LuxembourgLuxembourg Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
V Pablo ValleValle, Pablo University of MondragonSpain Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands PC Member in Technical Papers within the ISSTA Technical Papers-track
Jacob Van GeffenVan Geffen, Jacob Veridise Inc. Synthesis-Aided Crash Consistency for Storage Systems
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Wiring circuits is easy as {0, 1, ω}, or is it. . .
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal PC Member in Program Committee within the ECOOP Research Papers-track
Tatiana Castro VelezVelez, Tatiana Castro City University of New York (CUNY) Graduate Center Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Siddhanth VenkateshwaranVenkateshwaran, Siddhanth University of Illinois - Chicago SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution
Luca VersariVersari, Luca Google, ZurichSwitzerland Committee Member in Chairs within the ECOOP and ISSTA Student Research Competition-track
Vasudev VikramVikram, Vasudev Carnegie Mellon University Guiding Greybox Fuzzing using Mutation Testing
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa PC Member in Technical Papers within the ISSTA Technical Papers-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Kostyantyn VorobyovVorobyov, Kostyantyn Oracle Labs, Australia Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
W Neil WalkinshawWalkinshaw, Neil University of SheffieldUnited Kingdom PC Member in Technical Papers within the ISSTA Technical Papers-track
Chengcheng WanWan, Chengcheng The University of ChicagoUnited States GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Boxiang WangWang, Boxiang Xidian University and Beijing Sunwise Information Technology Ltd An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software
Chao WangWang, Chao University of Southern CaliforniaUnited States Constraint Based Compiler Optimization for Energy Harvesting Applications Systematic Testing of the Data-Poisoning Robustness of KNN
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Dongxia WangWang, Dongxia Zhejiang University FairRec: Fairness Testing for Deep Recommender Systems
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina Understanding and Tackling Label Errors in Deep Learning-based Vulnerability Detection (Experience Paper) Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries CydiOS: a model-based testing framework for iOS apps
Ji WangWang, Ji Institute for Quantum Information \& State Key Laboratory of High Performance Computing, College of Computer Science and Technology, National University of Defense Technology Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Jikai WangWang, Jikai Huazhong University of Science and Technology Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Jingbo WangWang, Jingbo University of Southern California Systematic Testing of the Data-Poisoning Robustness of KNN
Jingyi WangWang, Jingyi Zhejiang UniversityChina FairRec: Fairness Testing for Deep Recommender Systems
Jue WangWang, Jue Nanjing UniversityChina An Empirical Study of Functional Bugs in Android Apps
Juhong WangWang, Juhong Tencent Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring
Jun WangWang, Jun Back Deduction based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Kailong WangWang, Kailong National University of Singapore Understanding and Tackling Label Errors in Deep Learning-based Vulnerability Detection (Experience Paper)
Kaiyi WangWang, Kaiyi Beihang University COME: Commit Message Generation with Modification Embedding
Ke WangWang, Ke Ant Group DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Linzhang WangWang, Linzhang Nanjing University OCFI: Make Function Entry Identification Hard Again
Liran WangWang, Liran Beihang University COME: Commit Message Generation with Modification Embedding
Qiang WangWang, Qiang Academy of Military Sciences Simulation-based Validation for Autonomous Driving Systems
Ruifeng WangWang, Ruifeng Northeastern University What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Shangguang WangWang, Shangguang Beijing University of Posts and TelecommunicationsChina Understanding and Tackling Label Errors in Deep Learning-based Vulnerability Detection (Experience Paper)
Shangwen WangWang, Shangwen National University of Defense TechnologyChina Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track
Shiwei WangWang, Shiwei Xi'an Jiaotong University CILIATE: Towards Fairer Class-based Incremental Learning by Dataset and Training Refinement
Shuai WangWang, Shuai Hong Kong University of Science and Technology Exploring Missed Optimizations in WebAssembly Optimizers Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts PC Member in Technical Papers within the ISSTA Technical Papers-track
Sinan WangWang, Sinan Southern University of Science and Technology What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Suyuan WangWang, Suyuan Huazhong University of Science and Technology Interpreters for GNN-based Vulnerability Detection: Are We There Yet?
Tianxiao WangWang, Tianxiao Zhejiang University, Hangzhou, China Data Constraint Mining for Automatic Reconciliation Scripts Generation
Ting WangWang, Ting College of Computer Science and Technology, National University of Defense Technology Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation within the ISSTA Artifact Evaluation-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Wenxuan WangWang, Wenxuan The Chinese University of Hong Kong Validating Multimedia Content Moderation Software via Semantic Fusion
Xi WangWang, Xi University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Xu WangWang, Xu Beihang UniversityChina Detecting Condition-related Bugs with Control Flow Graph Neural Network
Yanlin WangWang, Yanlin School of Software Engineering, Sun Yat-sen University Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring Toward Automated Detecting Unanticipated Price Feed in Smart Contract DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Ying WangWang, Ying Northeastern University, China What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada PC Member in Program Committee within the ECOOP Research Papers-track
Yuke WangWang, Yuke University of California Santa Barbara Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Zan WangWang, Zan Tianjin University, ChinaChina Testing the Compiler for a New-born Programming Language: An Industrial Case Study (Experience Paper)
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Zhixuan WangWang, Zhixuan Xidian University An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software
Zihan WangWang, Zihan Shanghai Jiao Tong UniversityChina GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany PC Member in Program Committee within the ECOOP Research Papers-track
Lili WeiWei, Lili McGill UniversityCanada $\omega$Test: WebView-Oriented Testing for Android Applications
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization PC Member in Technical Papers within the ISSTA Technical Papers-track
Zhao WeiWei, Zhao Tencent Testing Automated Driving Systems by Breaking Many Laws Efficiently Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Web Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ISSTA 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 A Direct-Style Effect Notation for Sequential and Parallel Programs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Qiang WeizhongWeizhong, Qiang Huazhong University of Science and Technology An Empirical Study on the Effects of Obfuscation on Static Machine Learning-based Malicious JavaScript Detectors
He WenWen, He East China Normal University An Empirical Study of Functional Bugs in Android Apps
Ming WenWen, Ming Huazhong University of Science and TechnologyChina ConfFix: Repairing Configuration Compatibility Issues in Android Apps Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Edwin WestbrookWestbrook, Edwin GaloisUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Thomas WienerWiener, Thomas Cornell University Automata Learning with an Incomplete Teacher
Matt WindsorWindsor, Matt University of York Committee Member in Tool Demonstrations within the ISSTA Tool Demonstrations-track
Robert WinnWinn, Robert University of Southern California Automatically Reproducing Android Bug Reports Using Natural Language Processing and Reinforcement Learning
Stefan WinterWinter, Stefan LMU MunichGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 PC Member in Technical Papers within the ISSTA Technical Papers-track Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee within the ECOOP Research Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden PC Member in Program Committee within the ECOOP Research Papers-track
Daoyuan WuWu, Daoyuan Chinese University of Hong KongChina Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Diyu WuWu, Diyu Ant GroupChina Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Dongpeng WuWu, Dongpeng Sun Yat-sen University Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Jing WuWu, Jing Monash University ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-based Systems
Jinjie WuWu, Jinjie Alibaba Group, Hangzhou, China Data Constraint Mining