Smith Classroom (Gates G10)

VenueSeattle

Room nameSmith Classroom (Gates G10)

Floor1

Room numberGates G10

Capacity110

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-08:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-08:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00	Session 1ICOOOLPS at Smith Classroom (Gates G10) Chair(s): Dimi Racordon Northeastern University, USA

08:45 15m Coffee break		Welcome and Introduction ICOOOLPS Dimi Racordon Northeastern University, USA
09:00 60m Talk		Deegen: a meta-compiler approach for high performance VMs at low engineering cost ICOOOLPS Haoran Xu Stanford University

10:30 - 12:00	Session 2ICOOOLPS at Smith Classroom (Gates G10)

10:30 30m Talk		Towards Reliable Memory Management for Python Native Extensions ICOOOLPS Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada Pre-print

13:30 - 15:00	Session 3ICOOOLPS at Smith Classroom (Gates G10)

13:30 60m Talk		A Retrospective on Julia ICOOOLPS Benjamin Chung Northeastern University
14:30 30m Research paper		Lazy Code Transformations in a Formally Verified Compiler ICOOOLPS Léo Gourdin Pre-print

15:30 - 17:00	Session 4ICOOOLPS at Smith Classroom (Gates G10)

15:30 45m Panel		Round table ICOOOLPS Dimi Racordon Northeastern University, USA

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	ISSTA 2: Fuzzing 1ISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Jonathan Bell Northeastern University

10:30 15m Talk		Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing ISSTA Technical Papers Michael Chesser University of Adelaide, Surya Nepal CSIRO’s Data61, Damith C. Ranasinghe University of Adelaide DOI
10:45 15m Talk		Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction ISSTA Technical Papers Stephan Lipp TU Munich, Daniel Elsner TU Munich, Severin Kacianka TU Munich, Alexander Pretschner TU Munich, Marcel Böhme MPI-SP; Monash University, Sebastian Banescu TU Munich DOI
11:00 15m Talk		ItyFuzz: Snapshot-Based Fuzzer for Smart Contract ISSTA Technical Papers Chaofan Shou University of California at Santa Barbara, Shangyin Tan University of California at Berkeley, Koushik Sen University of California at Berkeley DOI
11:15 15m Talk		Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models ISSTA Technical Papers Yinlin Deng University of Illinois at Urbana-Champaign, Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Haoran Peng University of Science and Technology of China, Chenyuan Yang University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign DOI
11:30 15m Talk		Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing ISSTA Technical Papers Mingxi Ye Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Dongpeng Wu Sun Yat-sen University, Huizhong Li WeBank DOI
11:45 15m Talk		Green Fuzzer Benchmarking ISSTA Technical Papers Jiradet Ounjai MPI-SWS, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien DOI

13:30 - 15:00	ISSTA 4: Static AnalysisISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Christian Hammer University of Passau

13:30 15m Talk		Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis ISSTA Technical Papers Kai Cheng Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences; Sangfor Technologies, Yaowen Zheng Nanyang Technological University, Tao Liu Pennsylvania State University, Le Guan University of Georgia, Peng Liu Pennsylvania State University, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kejiang Ye Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences, Limin Sun Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
13:45 15m Talk		Beware of the Unexpected: Bimodal Taint AnalysisACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yiu Wai Chow University of Stuttgart, Max Schaefer GitHub, Michael Pradel University of Stuttgart DOI
14:00 15m Talk		OCFI: Make Function Entry Identification Hard Again ISSTA Technical Papers Chengbin Pang Nanjing University, Tiantai Zhang Nanjing University, Xuelan Xu Nanjing University, Linzhang Wang Nanjing University, Bing Mao Nanjing University DOI
14:15 15m Talk		Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics ISSTA Technical Papers Tian Tan Nanjing University, Yue Li Nanjing University DOI Pre-print
14:30 15m Talk		That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssemblyACM SIGSOFT Distinguished Artifact ISSTA Technical Papers Daniel Lehmann University of Stuttgart, Michelle Thalakottur Northeastern University, Frank Tip Northeastern University, Michael Pradel University of Stuttgart DOI
14:45 15m Talk		Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly BinariesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ningyu He Peking University, Zhehao Zhao Peking University, Jikai Wang Huazhong University of Science and Technology, Yubin Hu Beijing University of Posts and Telecommunications, Shengjian (Daniel) Guo Baidu Security, Haoyu Wang Huazhong University of Science and Technology, Guangtai Liang Huawei Cloud Computing Technologies, Ding Li Peking University, Xiangqun Chen Peking University, Yao Guo Peking University DOI

15:30 - 17:00	ISSTA Online 1: SE and Deep LearningISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Myra Cohen Iowa State University

15:30 10m Talk		COME: Commit Message Generation with Modification Embedding ISSTA Technical Papers Yichen He Beihang University, Liran Wang Beihang University, Kaiyi Wang Beihang University, Yupeng Zhang Beihang University, Hang Zhang Beihang University, Zhoujun Li Beihang University DOI
15:40 10m Talk		CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation ISSTA Technical Papers Yihong Dong Peking University, Ge Li Peking University, Zhi Jin Peking University DOI Pre-print
15:50 10m Talk		Towards More Realistic Evaluation for Neural Test Oracle Generation ISSTA Technical Papers Zhongxin Liu Zhejiang University, Kui Liu Huawei, Xin Xia Huawei, Xiaohu Yang Zhejiang University DOI Pre-print
16:00 10m Talk		Detecting Condition-Related Bugs with Control Flow Graph Neural Network ISSTA Technical Papers Jian Zhang Beihang University, Xu Wang Beihang University, Hongyu Zhang Chongqing University, Hailong Sun Beihang University, Xudong Liu Beihang University, Chunming Hu Beihang University, Yang Liu Nanyang Technological University DOI
16:10 10m Talk		RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring ISSTA Technical Papers Hao Liu Xiamen University, Yanlin Wang Sun Yat-sen University, Zhao Wei Tencent, Yong Xu Tencent, Juhong Wang Tencent, Hui Li Xiamen University, Rongrong Ji Xiamen University DOI Pre-print
16:20 10m Talk		Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? ISSTA Technical Papers Yutao Hu Huazhong University of Science and Technology, Suyuan Wang Huazhong University of Science and Technology, Wenke Li Huazhong University of Science and Technology, Junru Peng Wuhan University, Yueming Wu Nanyang Technological University, Deqing Zou Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI
16:30 10m Talk		Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond ISSTA Technical Papers Ensheng Shi Xi’an Jiaotong University, Yanlin Wang Sun Yat-sen University, Hongyu Zhang Chongqing University, Lun Du Microsoft Research, Shi Han Microsoft Research, Dongmei Zhang Microsoft Research, Hongbin Sun Xi’an Jiaotong University DOI

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	ISSTA 5: Improving Deep Learning SystemsISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Michael Pradel University of Stuttgart

10:30 15m Talk		Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper) ISSTA Technical Papers XuNie Huazhong University of Science and Technology; Beijing University of Posts and Telecommunications, Ningke Li Huazhong University of Science and Technology, Kailong Wang Huazhong University of Science and Technology, Shangguang Wang Beijing University of Posts and Telecommunications, Xiapu Luo Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology DOI
10:45 15m Talk		Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis ISSTA Technical Papers Xiangzhe Xu Purdue University, Shiwei Feng Purdue University, Yapeng Ye Purdue University, Guangyu Shen Purdue University, Zian Su Purdue University, Siyuan Cheng Purdue University, Guanhong Tao Purdue University, Qingkai Shi Purdue University, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University DOI
11:00 15m Talk		CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement ISSTA Technical Papers Xuanqi Gao Xi’an Jiaotong University, Juan Zhai University of Massachusetts Amherst, Shiqing Ma UMass Amherst, Chao Shen Xi’an Jiaotong University, Yufei Chen Xi’an Jiaotong University; City University of Hong Kong, Shiwei Wang Xi’an Jiaotong University DOI Pre-print
11:15 15m Talk		DeepAtash: Focused Test Generation for Deep Learning Systems ISSTA Technical Papers Tahereh Zohdinasab USI Lugano, Vincenzo Riccio University of Udine, Paolo Tonella USI Lugano DOI
11:30 15m Talk		Systematic Testing of the Data-Poisoning Robustness of KNN ISSTA Technical Papers Yannan Li University of Southern California, Jingbo Wang University of Southern California, Chao Wang University of Southern California DOI
11:45 15m Talk		Semantic-Based Neural Network Repair ISSTA Technical Papers Richard Schumi Singapore Management University, Jun Sun Singapore Management University DOI

13:30 - 15:00	ISSTA 7: Testing and Analysis of Machine-Learning SystemsISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Vincenzo Riccio University of Udine

13:30 15m Talk		FairRec: Fairness Testing for Deep Recommender Systems ISSTA Technical Papers Huizhong Guo Zhejiang University, Jinfeng Li Alibaba Group, Jingyi Wang Zhejiang University, Xiangyu Liu Alibaba Group, Dongxia Wang Zhejiang University, Zehong Hu Alibaba Group, Rong Zhang Alibaba Group, Hui Xue Alibaba Group DOI
13:45 15m Talk		DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization ISSTA Technical Papers Simin Chen University of Texas at Dallas, Shiyi Wei University of Texas at Dallas, Cong Liu University of California at Riverside, Wei Yang University of Texas at Dallas DOI
14:00 15m Talk		Validating Multimedia Content Moderation Software via Semantic Fusion ISSTA Technical Papers Wenxuan Wang Chinese University of Hong Kong, Jingyuan Huang Chinese University of Hong Kong, Chang Chen Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Jianping Zhang Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Pinjia He Chinese University of Hong Kong, Michael Lyu Chinese University of Hong Kong DOI
14:15 15m Talk		What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications ISSTA Technical Papers Linlin Li Southern University of Science and Technology, Ruifeng Wang Northeastern University, Xian Zhan Southern University of Science and Technology, Ying Wang Northeastern University, Cuiyun Gao Harbin Institute of Technology, Sinan Wang Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology DOI
14:30 15m Talk		How Effective Are Neural Networks for Fixing Security Vulnerabilities ISSTA Technical Papers Yi Wu Purdue University, Nan Jiang Purdue University, Hung Viet Pham University of Waterloo, Thibaud Lutellier University of Alberta, Jordan Davis Purdue University, Lin Tan Purdue University, Petr Babkin J.P. Morgan AI Research, Sameena Shah J.P. Morgan AI Research DOI
14:45 15m Talk		ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems ISSTA Technical Papers Mingyi Zhou Monash University, Xiang Gao Beihang University, Jing Wu Monash University, John Grundy Monash University, Xiao Chen Monash University, Chunyang Chen Monash University, Li Li Beihang University DOI

15:30 - 17:00	ISSTA Online 4: Testing and Analysis of DL SystemsISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Elena Sherman Boise State University

15:30 10m Talk		A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation ISSTA Technical Papers Zhiyi Xue East China Normal University, Si Liu ETH Zurich, Zhaodi Zhang East China Normal University, Yiting Wu East China Normal University, Min Zhang East China Normal University DOI
15:40 10m Talk		In Defense of Simple Techniques for Neural Network Test Case Selection ISSTA Technical Papers Shenglin Bao Fudan University, Chaofeng Sha Fudan University, Bihuan Chen Fudan University, Xin Peng Fudan University, Wenyun Zhao Fudan University DOI
15:50 10m Talk		ROME: Testing Image Captioning Systems via Recursive Object Melting ISSTA Technical Papers BoXi Yu Chinese University of Hong Kong, Zhiqing Zhong Chinese University of Hong Kong, Jiaqi Li Chinese University of Hong Kong, Yixing Yang Chinese University of Hong Kong, Shilin He Microsoft Research, Pinjia He Chinese University of Hong Kong DOI
16:00 10m Talk		ACETest: Automated Constraint Extraction for Testing Deep Learning Operators ISSTA Technical Papers Jingyi Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yuekang Li University of New South Wales, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, DongSong Yu Zhongguancun Laboratory, Chendong Yu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Hui Su Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yufeng Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences DOI
16:10 10m Talk		Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing ISSTA Technical Papers Yisong Xiao Beihang University, Aishan Liu Beihang University; Institute of Dataspace, Li Tianlin Nanyang Technological University, Xianglong Liu Beihang University; Institute of Dataspace; Zhongguancun Laboratory DOI
16:20 10m Talk		CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems ISSTA Technical Papers Quan Zhang Tsinghua University, Yongqiang Tian University of Waterloo, Yifeng Ding University of Illinois at Urbana-Champaign, Shanshan Li National University of Defense Technology, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University, Jiaguang Sun Tsinghua University DOI
16:30 10m Talk		Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems ISSTA Technical Papers Jun Wang Nanjing University, Yanhui Li Nanjing University, Xiang Huang Nanjing University, Lin Chen Nanjing University, Xiaofang Zhang Soochow University, Yuming Zhou Nanjing University DOI
16:40 10m Talk		CydiOS: A Model-Based Testing Framework for iOS Apps ISSTA Technical Papers Shuohan Wu Hong Kong Polytechnic University, Jianfeng Li Xi’an Jiaotong University, Hao Zhou Hong Kong Polytechnic University, Yongsheng Fang Beijing University of Posts and Telecommunications, Kaifa ZHAO Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology, Chenxiong Qian University of Hong Kong, Xiapu Luo Hong Kong Polytechnic University DOI

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	ISSTA 10: Test OptimizationsISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Wing Lam University of Illinois at Urbana-Champaign

10:30 15m Talk		More Precise Regression Test Selection via Reasoning about Semantics-Modifying ChangesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yu Liu University of Texas at Austin, Jiyang Zhang University of Texas at Austin, Pengyu Nie University of Texas at Austin, Milos Gligoric University of Texas at Austin, Owolabi Legunsen Cornell University DOI
10:45 15m Talk		Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration ISSTA Technical Papers Yiyu Zhang Nanjing University, Tianyi Liu Nanjing University, Zewen Sun Nanjing University, Zhe Chen Nanjing University of Aeronautics and Astronautics, Xuandong Li Nanjing University, Zhiqiang Zuo Nanjing University DOI
11:00 15m Talk		Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper) ISSTA Technical Papers Pablo Valle Mondragon University, Aitor Arrieta Mondragon University, Maite Arratibel Orona DOI Pre-print
11:15 15m Talk		June: A Type Testability Transformation for Improved ATG Performance ISSTA Technical Papers Dan Bruce University College London, David Kelly King’s College London, Hector Menendez King’s College London, Earl T. Barr University College London; Google DeepMind, David Clark University College London DOI
11:30 15m Talk		Pattern-Based Peephole Optimizations with Java JIT Tests ISSTA Technical Papers Zhiqiang Zang University of Texas at Austin, Aditya Thimmaiah University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI Pre-print
11:45 15m Talk		GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)ACM SIGSOFT Distinguished Artifact ISSTA Technical Papers Reese Levine University of California at Santa Cruz, Mingun Cho University of California at Davis, Devon McKee University of California at Santa Cruz, Andrew Quinn University of California at Santa Cruz, Tyler Sorensen University of California at Santa Cruz DOI

13:30 - 15:00	ISSTA 12: Web and Smart ContractsISSTA Technical Papers at Smith Classroom (Gates G10) Chair(s): Martin Kellogg New Jersey Institute of Technology

13:30 15m Talk		Enhancing REST API Testing with NLP Techniques ISSTA Technical Papers Myeongsoo Kim Georgia Institute of Technology, Davide Corradini University of Verona, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology, Michele Pasqua University of Verona, Rachel Tzoref-Brill IBM Research, Mariano Ceccato University of Verona DOI
13:45 15m Talk		AGORA: Automated Generation of Test Oracles for REST APIsACM SIGSOFT Distinguished Artifact ISSTA Technical Papers Juan C. Alonso University of Seville, Sergio Segura University of Seville, Antonio Ruiz-Cortés University of Seville DOI
14:00 15m Talk		ωTest: WebView-Oriented Testing for Android Applications ISSTA Technical Papers Jiajun Hu Hong Kong University of Science and Technology, Lili Wei McGill University, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI
14:15 15m Talk		NodeRT: Detecting Races in Node.js Applications Practically ISSTA Technical Papers Jingyao Zhou Nanjing University, Lei Xu Nanjing University, Gongzheng Lu Suzhou City University, Weifeng Zhang Nanjing University of Posts and Telecommunications, Xiangyu Zhang Purdue University DOI
14:30 15m Talk		iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements ISSTA Technical Papers Pengcheng Fang Case Western Reserve University, Zhenhua Zou Tsinghua University, Xusheng Xiao Arizona State University, Zhuotao Liu Tsinghua University DOI
14:45 15m Talk		Automated Generation of Security-Centric Descriptions for Smart Contract BytecodeACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yu Pan University of Utah, Zhichao Xu University of Utah, Levi Taiji Li University of Utah, Yunhe Yang University of Utah, Mu Zhang University of Utah DOI

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Smith Classroom (Gates G10)							ICOOOLPS Session 1																								ICOOOLPS Session 2																																				ICOOOLPS Session 3																								ICOOOLPS Session 4

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Smith Classroom (Gates G10)							ISSTA Technical Papers ISSTA 2: Fuzzing 1																																				ISSTA Technical Papers ISSTA 4: Static Analysis																								ISSTA Technical Papers ISSTA Online 1: SE and Deep Learning

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Smith Classroom (Gates G10)							ISSTA Technical Papers ISSTA 5: Improving Deep Learning Systems																																				ISSTA Technical Papers ISSTA 7: Testing and Analysis of Machine-Learning Systems																								ISSTA Technical Papers ISSTA Online 4: Testing and Analysis of DL Systems

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Smith Classroom (Gates G10)							ISSTA Technical Papers ISSTA 10: Test Optimizations																																				ISSTA Technical Papers ISSTA 12: Web and Smart Contracts

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Smith Classroom (Gates G10)										ICOOOLPS Welcome and Introduction 08:45 - 09:00			ICOOOLPS Deegen: a meta-compiler approach for high performance VMs at low engine ... 09:00 - 10:00																		ICOOOLPS Towards Reliable Memory Management for Python Native Extensions 10:30 - 11:00																																				ICOOOLPS A Retrospective on Julia 13:30 - 14:30												ICOOOLPS Lazy Code Transformations in a Formally Verified Compiler 14:30 - 15:00												ICOOOLPS Round table 15:30 - 16:15

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Smith Classroom (Gates G10)							ISSTA Technical Papers Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing 10:30 - 10:45			ISSTA Technical Papers Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerabilit ... 10:45 - 11:00			ISSTA Technical Papers ItyFuzz: Snapshot-Based Fuzzer for Smart Contract 11:00 - 11:15			ISSTA Technical Papers Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libr ... 11:15 - 11:30			ISSTA Technical Papers Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Re ... 11:30 - 11:45			ISSTA Technical Papers Green Fuzzer Benchmarking 11:45 - 12:00																					ISSTA Technical Papers Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Bas ... 13:30 - 13:45			ISSTA Technical PapersACM SIGSOFT Distinguished Paper Beware of the Unexpected: Bimodal Taint Analysis 13:45 - 14:00			ISSTA Technical Papers OCFI: Make Function Entry Identification Hard Again 14:00 - 14:15			ISSTA Technical Papers Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harne ... 14:15 - 14:30			ISSTA Technical PapersACM SIGSOFT Distinguished Artifact That’s a Tough Call: Studying the Challenges of Call Graph Construction ... 14:30 - 14:45			ISSTA Technical PapersACM SIGSOFT Distinguished Paper Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Ex ... 14:45 - 15:00									ISSTA Technical Papers COME: Commit Message Generation with Modification Embedding 15:30 - 15:40		ISSTA Technical Papers CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation 15:40 - 15:50		ISSTA Technical Papers Towards More Realistic Evaluation for Neural Test Oracle Generation 15:50 - 16:00		ISSTA Technical Papers Detecting Condition-Related Bugs with Control Flow Graph Neural Network 16:00 - 16:10		ISSTA Technical Papers RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring 16:10 - 16:20		ISSTA Technical Papers Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? 16:20 - 16:30		ISSTA Technical Papers Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experiment ... 16:30 - 16:40

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Smith Classroom (Gates G10)							ISSTA Technical Papers Understanding and Tackling Label Errors in Deep Learning-Based Vulnerab ... 10:30 - 10:45			ISSTA Technical Papers Improving Binary Code Similarity Transformer Models by Semantics-Driven ... 10:45 - 11:00			ISSTA Technical Papers CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and ... 11:00 - 11:15			ISSTA Technical Papers DeepAtash: Focused Test Generation for Deep Learning Systems 11:15 - 11:30			ISSTA Technical Papers Systematic Testing of the Data-Poisoning Robustness of KNN 11:30 - 11:45			ISSTA Technical Papers Semantic-Based Neural Network Repair 11:45 - 12:00																					ISSTA Technical Papers FairRec: Fairness Testing for Deep Recommender Systems 13:30 - 13:45			ISSTA Technical Papers DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Grap ... 13:45 - 14:00			ISSTA Technical Papers Validating Multimedia Content Moderation Software via Semantic Fusion 14:00 - 14:15			ISSTA Technical Papers What You See Is What You Get? It Is Not the Case! Detecting Misleading ... 14:15 - 14:30			ISSTA Technical Papers How Effective Are Neural Networks for Fixing Security Vulnerabilities 14:30 - 14:45			ISSTA Technical Papers ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-B ... 14:45 - 15:00									ISSTA Technical Papers A Tale of Two Approximations: Tightening Over-Approximation for DNN Rob ... 15:30 - 15:40		ISSTA Technical Papers In Defense of Simple Techniques for Neural Network Test Case Selection 15:40 - 15:50		ISSTA Technical Papers ROME: Testing Image Captioning Systems via Recursive Object Melting 15:50 - 16:00		ISSTA Technical Papers ACETest: Automated Constraint Extraction for Testing Deep Learning Oper ... 16:00 - 16:10		ISSTA Technical Papers Latent Imitator: Generating Natural Individual Discriminatory Instances ... 16:10 - 16:20		ISSTA Technical Papers CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems 16:20 - 16:30		ISSTA Technical Papers Back Deduction Based Testing for Word Sense Disambiguation Ability of M ... 16:30 - 16:40		ISSTA Technical Papers CydiOS: A Model-Based Testing Framework for iOS Apps 16:40 - 16:50

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Smith Classroom (Gates G10)							ISSTA Technical PapersACM SIGSOFT Distinguished Paper More Precise Regression Test Selection via Reasoning about Semantics-Mo ... 10:30 - 10:45			ISSTA Technical Papers Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration 10:45 - 11:00			ISSTA Technical Papers Applying and Extending the Delta Debugging Algorithm for Elevator Dispa ... 11:00 - 11:15			ISSTA Technical Papers June: A Type Testability Transformation for Improved ATG Performance 11:15 - 11:30			ISSTA Technical Papers Pattern-Based Peephole Optimizations with Java JIT Tests 11:30 - 11:45			ISSTA Technical PapersACM SIGSOFT Distinguished Artifact GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) 11:45 - 12:00																					ISSTA Technical Papers Enhancing REST API Testing with NLP Techniques 13:30 - 13:45			ISSTA Technical PapersACM SIGSOFT Distinguished Artifact AGORA: Automated Generation of Test Oracles for REST APIs 13:45 - 14:00			ISSTA Technical Papers ωTest: WebView-Oriented Testing for Android Applications 14:00 - 14:15			ISSTA Technical Papers NodeRT: Detecting Races in Node.js Applications Practically 14:15 - 14:30			ISSTA Technical Papers iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agre ... 14:30 - 14:45			ISSTA Technical PapersACM SIGSOFT Distinguished Paper Automated Generation of Security-Centric Descriptions for Smart Contrac ... 14:45 - 15:00

Room information: Smith Classroom (Gates G10)

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tracks

ECOOP and ISSTA 2023

Room information: Smith Classroom (Gates G10)

Program Display Configuration

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Technical Papers

ISSTA Technical Papers

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change

Mon 17 Jul
Displayed time zone: Pacific Time (US & Canada) change

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

Wed 19 Jul
Displayed time zone: Pacific Time (US & Canada) change

Thu 20 Jul
Displayed time zone: Pacific Time (US & Canada) change