APSEC 2024 (series) /
APSEC 2024 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 3 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 3 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 90mTalk | 6th International Workshop on Experience with SQuaRE family and its Future Direction Workshops | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Software Supply Chain: Issues, Challenges and Opportunities Tutorials | ||
09:00 - 10:30 | |||
09:00 90mTalk | 12th International Workshop on Quantitative Approaches to Software Quality Workshops | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Open Source Digital Ecology: A New Paradigm for Data-Driven Research on Developer Behavior Science Tutorials | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTalk | 6th International Workshop on Experience with SQuaRE family and its Future Direction Workshops | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Software Supply Chain: Issues, Challenges and Opportunities Tutorials | ||
11:00 - 12:30 | |||
11:00 90mTalk | 12th International Workshop on Quantitative Approaches to Software Quality Workshops | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Open Source Digital Ecology: A New Paradigm for Data-Driven Research on Developer Behavior Science Tutorials | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Distributed Systems – What Every Software Engineer Should Know Tutorials Ian Gorton Northeastern University – Seattle, USA | ||
14:00 - 15:30 | |||
14:00 90mTutorial | An Introduction to Quantum Software Engineering Tutorials Jianjun Zhao Kyushu University | ||
14:00 - 15:30 | |||
14:00 90mTalk | Fourth International Workshop on Intelligent Software Engineering Automation (ISEA) Workshops | ||
14:00 - 15:30 | |||
14:00 90mTalk | EEE-OSS: The Second International Workshop on Exploring Employee Experience in Open Source Software Workshops | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Distributed Systems – What Every Software Engineer Should Know Tutorials Ian Gorton Northeastern University – Seattle, USA | ||
16:00 - 17:30 | |||
16:00 90mTutorial | An Introduction to Quantum Software Engineering Tutorials Jianjun Zhao Kyushu University | ||
16:00 - 17:30 | |||
16:00 90mTalk | Fourth International Workshop on Intelligent Software Engineering Automation (ISEA) Workshops | ||
16:00 - 17:30 | |||
18:00 - 19:30 | |||
18:00 90mDinner | Dinner Catering | ||
Wed 4 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 4 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 09:30 | |||
09:00 30mTalk | Opening Ceremony Social Events | ||
09:30 - 10:30 | |||
09:30 60mTalk | Keynote - Efficient and Green Code LLMs: Happier Software Engineers, Happier Planet Keynotes David Lo Singapore Management University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:20 | |||
11:00 40mIndustry talk | SEIP Invited Talk - Evaluation Methods and Practices for Large Code Models SEIP - Software Engineering in Practice Yinan Wang Tencent | ||
11:40 40mIndustry talk | SEIP Invited Talk - MarsCode Agent: Automated Program Repair based on Large Language Models SEIP - Software Engineering in Practice Chao Peng ByteDance | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Unraveling the Potential of Large Language Models in Code Translation: How Far Are We? Technical Track Qingxiao Tao School of Software, Shanghai Jiao Tong University, Shanghai, China, Tingrui Yu School of Software, Shanghai Jiao Tong University, Shanghai, China, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University | ||
14:30 30mTalk | Effective Vulnerability Detection over Code Token Graph: A GCN with Score Gate Based Approach Technical Track Nong Zou Southwest University, Nan Li Southwest University, Junxiang Zhang Southwest University, Xiaomeng Wang Southwest University, Hong Lai Southwest University, Tao Jia Southwest University | ||
15:00 30mTalk | Putting APIs in the Right Order with Gated Graph Neural Networks Technical Track | ||
14:00 - 15:30 | |||
14:00 30mTalk | CDHF: Coordination Driven Hybrid Fuzzing for EOSIO Smart Contracts Technical Track | ||
14:30 30mTalk | A DNN Fuzz Testing Method Based on Gradient-weighted Class Activation Map Technical Track Zhouning Chen Sichuan University, Qiaoyun Liu Sichuan University, Shengxin Dai Sichuan University, Qiuhui Yang Sichuan University | ||
15:00 30mTalk | Prioritizing Test Cases through Dual-uncertainty Evaluating for Road Disease Detection System Technical Track Niu Chenxu College of Computer Science, ChongQing University, Huijun Liu College of Computer Science, Chongqing University, Ao Li School of Big Data & Software Engineering, Chongqing University, Tianhao Xiao College of Computer Science, Chongqing University, Zhimin Ruan China Merchants Chongqing Communications Technology Research & Design Institute Co. Ltd., Yongxin Ge School of Big Data & Software Engineering, Chongqing University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Integrating Feedback From Application Reviews Into Software Development for Improved User Satisfaction Technical Track Omar Adbealziz University of Saskatchewan, Zadia Codabux University of Saskatchewan, Kevin Schneider University of Saskatchewan | ||
14:30 30mTalk | Analyzing and Detecting Toxicities in Developer Online Chatrooms: A Fine-Grained Taxonomy and Automated Detection Approach Technical Track Junyi Tian Zhejiang University, Lingfeng Bao Zhejiang University, Shengyi Pan , Xing Hu Zhejiang University | ||
15:00 30mTalk | Adversarial Classification Rumor Detection based on Social Communication Networks and Time Series Features Technical Track Xinyu Zhang Sun Yat-sen University, Zixin Chang Chongqing University, Junhao Wen Chongqing University, Wei Zhou Chongqing University, Li Li Beihang University | ||
14:00 - 15:30 | |||
14:00 30mTalk | An Empirical Study of Cross-Project Pull Request Recommendation in GitHub Technical Track Wenyu Xu national university of defense technology, Yao Lu National University of Defense Technology, Xunhui Zhang National University of Defense Technology, China, Tanghaoran Zhang national university of defense technology, Xinjun Mao National University of Defense Technology, Bo Lin National University of Defense Technology | ||
14:30 30mTalk | FRELinker: A Novel Issue-Commit Link Recovery Model Based on Feature Refinement and Expansion with Multi-Classifier Fusion Technical Track Bangchao Wang Wuhan Textile University, Xinyu He School of Computer Science and Artificial Intelligence, Wuhan Textile University, Hongyan Wan Wuhan Textile University, Xiaoxiao Li School of Computer Science and Artificial Intelligence, Wuhan Textile University, Jiaxu Zhu School of Computer Science and Artificial Intelligence, Wuhan Textile University, Yukun Cao School of Computer Science and Artificial Intelligence, Wuhan Textile University | ||
15:00 20mTalk | Towards Filtering Out Deficient Pull Requests Collected through the GitHub API ERA - Early Research Achievements Bowen Tang Ritsumeikan University, Xiqin Lu Ritsumeikan University, Katsuhisa Maruyama Ritsumeikan University | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mMeeting | Steering Committee Meeting Social Events | ||
16:00 - 17:30 | |||
16:00 30mTalk | SwFuzz: Structure-Sensitive WebAssembly Fuzzing Technical Track Jiashui Wang Zhejiang University, Ziyi Guo Northwestern University, Xinlei Ying Ant Group, Peng Qian Zhejiang University, Yan Chen Northwestern University | ||
16:30 30mTalk | Data Conflicts-Guided Interleaved Thread Scheduling for Flaky Test Detection in Multithreaded Programs Technical Track Tianzi Wang College of lnformation Science and Technology, Beijing University of chemical Technology, Beijing, China, Ruilian Zhao Beijing University of Chemical Technology, Weiwei Wang College of lnformation Science and Technology, Beijing University of chemical Technology, Beijing, China, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China | ||
17:00 30mTalk | AS-Fuzzer: An Optimized ADS Fuzzing Method via Scenario Segmentation and Parallel Evolution Technical Track Fansong Chen Institute of Information Engineering, Chinese Academy of Sciences, Shenghao Lin Institute of Information Engineering, Chinese Academy of Sciences, Weicheng Lin Institute of Information Engineering, Chinese Academy of Sciences, Laile Xi Institute of Information Engineering, Chinese Academy of Sciences , Yongji Liu Institute of Information Engineering, Chinese Academy of Sciences, Lun 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 | ||
16:00 - 17:20 | |||
16:00 20mTalk | Pair Programming in Programming Courses in the Era of Generative AI: Students' Perspective EDU - Software Engineering Education Mario Simaremare Blekinge Institute of Technology, Chandro Pardede Institut Teknologi Del, Irma Tampubolon Institut Teknologi Del, Daniel Simangunsong Institut Teknologi Del, Putri Manurung Institut Teknologi Del | ||
16:20 20mTalk | Story Explorer: A Gamification Approach for Teaching Students How to Write Good User Stories EDU - Software Engineering Education Kun Lin College of Computer Science and Technology,Inner Mongolia Normal University, Chunhui Wang , Tong Li Beijing University of Technology, Zhiguo Liu College of Computer Science and Technology,Inner Mongolia Normal University, Ye Zhai College of Computer Science and Technology,Inner Mongolia Normal University | ||
16:40 20mTalk | A Snapshot of Software Testing Education and Instructional Interventions EDU - Software Engineering Education | ||
17:00 20mTalk | Unveiling Cognitive Biases in Software Testing: Insights from a Survey and Controlled Experiment SEIP - Software Engineering in Practice Eduard Paul Enoiu Mälardalen University, Alexandru Cusmaru Siemens Mobility GmbH, Jean Malm Malardalen University | ||
16:00 - 17:30 | |||
16:00 30mTalk | Automatic Commit Range Identification of Untagged Version Technical Track Yan Zhu Zhejiang University, Lingfeng Bao Zhejiang University, Chengjie Chen Zhejiang University, Lexiao Zhang School of Software Technology, Zhejiang University, Xin Yin Zhejiang University, Chao Ni Zhejiang University | ||
16:30 30mTalk | Classifying Bug Issue Types for Deep Learning-oriented Projects with Pre-Trained Model Technical Track Zixuan Zeng School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Yu Zhao , Lina Gong Nanjing University of Aeronautics and Astronautic | ||
17:00 20mTalk | GHA-BFP: Framework for Automated Build Failure Prediction in GitHub Actions ERA - Early Research Achievements Jiatai Li National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Tao Wang National University of Defense Technology, Yiwen Wu National University of Defense Technology | ||
18:00 - 19:30 | |||
18:00 90mDinner | Dinner Catering | ||
Thu 5 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 5 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | |||
09:30 60mTalk | Keynote - AI for Software Vulnerabilities and Android Malware Detection Keynotes Jacques Klein University of Luxembourg | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:20 | |||
11:00 40mTalk | SEIP Invited Talk - LLM for Code: Generation, Testing, and Evaluation SEIP - Software Engineering in Practice Xing Hu Zhejiang University | ||
11:40 40mTalk | SEIP Invited Talk - Artificial Intelligence Catalyzes a New Paradigm for Industrial Development SEIP - Software Engineering in Practice Zhifeng Li Huazhi Future | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | DupLLM: Duplicate Pull Requests Detection Based on Large Language Model Technical Track Zhifang Liao Central South University, Pei Liu Monash University, Peng Lan School of Computer Science and Engineering, Central South University, Changsha, China, Ke Sun Central South University | ||
14:30 30mTalk | Exploring the Potential of Large Language Models in Automatic Pull Request Title Generation: An Empirical Study Technical Track YiTao Zuo School of Computer Science and Engineering, Central South University, Changsha, China, Peng Lan School of Computer Science and Engineering, Central South University, Changsha, China, Zhifang Liao Central South University | ||
15:00 30mTalk | ModelCS: A Two-Stage Framework for Model Search Technical Track Lingjun Zhao National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Jiaying Li National University of Defense Technology, Haoran Liu National University of Defense Technology, Linxiao Bai National University of Defense Technology, Shanshan Li National University of Defense Technology | ||
14:00 - 15:30 | |||
14:00 30mTalk | Multi-Hierarchy Metamorphic Testing for Hyphenated Words in Machine Translation Technical Track Rui Zhu Nanjing University of Aeronautics and Astronautics, Chuanqi Tao Nanjing University of Aeronautics and Astronautics, Jerry Gao San Jose State University | ||
14:30 30mTalk | Exploring the Depths of WebAudio: Advancing Greybox Fuzzing for Enhanced Vulnerability Detection in Safari Technical Track Jiashui Wang Zhejiang University, Jiahui Wang Zhejiang University, Jundong Xie Ant Group, Zhenyuan Li Zhejiang University, Yan Chen Northwestern University, Peng Qian Zhejiang University | ||
15:00 20mTalk | A Study On C Code Defect Detection With Fine-tuned Large Language Models ERA - Early Research Achievements Yue Wang Beihang University, Xu Wang Beihang University, Hongwei Yu Beihang University, Fei Gao Beijing Aerospace Automatic Control Institute, Xueshi Liu Beijing Aerospace Automatic Control Institute, Xiaoling Wang | ||
14:00 - 15:30 | Session (10)Technical Track / SEIP - Software Engineering in Practice at Room 3 (Xianglin Ballroom) Chao Liu | ||
14:00 30mTalk | Why not Just Look For Answers? Using A More Direct Way for API Recommendation Technical Track Changxin Liu Chongqing University, Ling Xu School of Big Data & Software Engineering, Chongqing University, Wenhan Mu Chongqing University, Rui Qin Chongqing University | ||
14:30 30mTalk | Learning Heterogeneous Abstract Code Graph Representations For Program Comprehension Technical Track Shenning Song The College of Computer Science and Technology, Jilin University, Mengxi Zhang The College of Computer Science and Technology, Jilin University, Shaoquan Li The College of Computer Science and Technology, Jilin University, huaxiao liu The College of Computer Science and Technology, Jilin University | ||
15:00 20mTalk | CoSTV: Accelerating Code Search with Two-Stage Paradigm and Vector Retrieval SEIP - Software Engineering in Practice Dewu Zheng Sun yat-sen University, Yanlin Wang Sun Yat-sen University, Wenqing Chen Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Enhancing the Transferability of Adversarial Attacks for End-to-End Autonomous Driving Systems Technical Track Jingyu Zhang City University of Hong Kong, Jacky Keung City University of Hong Kong, Xiaoxue Ma City University of Hong Kong, Yihan Liao City University of Hong Kong, Yishu Li City University of Hong Kong, Yicheng Sun City University of Hong Kong | ||
14:30 30mTalk | Enhancing Reentrancy Vulnerability Detection and Repair with a Hybrid Model Framework Technical Track Mengliang Li Zhejiang University, Xiaoxue Ren Zhejiang University, Han Fu Zhejiang University, Zhuo Li State Street Technology(Zhejiang) Ltd, JianLing Sun Zhejiang University | ||
15:00 20mTalk | BugsInKube: A Collection of Reconciliation Bugs ERA - Early Research Achievements Kabilan Mahathevan University of Moratuwa, Sivakajan Sivaparan University of Moratuwa, Tharsha Sivapalarajah University of Moratuwa, Sunimal Rathnayake University of Moratuwa, Ridwan Salihin Shariffdeen National University of Singapore | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | SDEFL: A Lightweight Fault Detection and Localization Method for Deep Neural Networks Technical Track Bo Yang Beijing Forestry University, Jiawei Hu Beijing Forestry University, Jialun Cao Hong Kong University of Science and Technology | ||
16:30 30mTalk | A Study of Using Multimodal LLMs for Non-Crash Functional Bug Detection in Android Apps Technical Track Bangyan Ju University of Cincinnati, Jin Yang University of Cincinnati, Tingting Yu University of Connecticut, Tamerlan Abdullayev University of Cincinnati, Yuanyuan Wu University of Cincinati, Dingbang Wang University of Connecticut, Yu Zhao | ||
17:00 30mTalk | Effective Model Replacement for Solving Objective Mismatches in Pre-trained Model Compositions Technical Track Arogya Kharel School of Computing, KAIST, KyeongDeok Baek School of Computing, KAIST, In-Young Ko Korea Advanced Institute of Science and Technology | ||
16:00 - 17:30 | |||
16:00 30mTalk | Who is in Charge here? Understanding How Runtime Configuration Affects Software along with Variables&Constants Technical Track Chaopeng Luo National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Haochen He National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Teng Wang National University of Defense Technology, Shulin Zhou National University of Defense Technology, Si Zheng National University of Defense Technology, Shanshan Li National University of Defense Technology | ||
16:30 20mTalk | Toward Automation of Module Lazy Loading in Single-Page Web Applications ERA - Early Research Achievements | ||
16:50 20mTalk | Designing a Reactive Programming Language for Shape-Adaptive Computers ERA - Early Research Achievements Yusuke Izawa Tokyo Metropolitan University, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo | ||
17:10 20mTalk | Actor of Things: Resilient and Efficient Distributed AIoT Applications in an Actor System ERA - Early Research Achievements Tianqi Ren State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Chun Cao State Key Laboratory for Novel Software Technology, Nanjing University, Jun Ma Nanjing University | ||
16:00 - 17:30 | |||
16:00 30mTalk | Improving Code Search with Hard Negative Sampling Based on Fine-tuning Technical Track Hande Dong International Digital Economy Academy, Jiayi Lin International Digital Economy Academy, Yanlin Wang Sun Yat-sen University, Yichong Leng University of Science and Technology of China, Jiawei Chen Zhejiang University, Yutao Xie International Digital Economy Academy | ||
16:30 30mTalk | HANTracer: Leveraging Heterogeneous Graph Attention Network for Large-Scale Requirements-Code Traceability Link Recovery Technical Track Zhiyuan Zou , Bangchao Wang Wuhan Textile University, Hongyan Wan Wuhan Textile University, Huan Jin Wuhan Textile University, Xiaoxiao Li School of Computer Science and Artificial Intelligence, Wuhan Textile University, Yukun Cao School of Computer Science and Artificial Intelligence, Wuhan Textile University | ||
17:00 20mTalk | Enhancing Source Code Comment Generation via Retrieval-Augmented Generation with Design Document Term Dictionary ERA - Early Research Achievements Kazu Nishikawa Hitachi, Ltd． Research & Development Group., Genta Koreki Hitachi, Ltd． Research & Development Group., Hideyuki Kanuka Hitachi, Ltd. | ||
16:00 - 17:30 | |||
16:00 30mTalk | On the Relative Value of Feature Selection Techniques for Code Smell Detection Technical Track Zexian Zhang Wuhan University of Technology, Shuang Yin Wuhan University of Technology, Lin Zhu Wuhan University of Technology, Shan Gao Hokkaido University, Haoxuan Chen Wuhan University of Technology, Wenhua Hu Wuhan University of Technology, Fuyang Li Wuhan University of Technology | ||
16:30 30mTalk | An Empirical Study on Self-Admitted Technical Debt in Quantum Software Technical Track Yuta Ishimoto Kyushu University, Yuto Nakamura Kyushu University, Ryota Katsube Hitachi, Ltd., Naoto Sato Research & Development Group, Hitachi, Ltd., Hideto Ogawa Hitachi Ltd., Masanari Kondo Kyushu University, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Kyushu University | ||
17:00 30mTalk | Deep Learning and Data Augmentation for Detecting Self-Admitted Technical Debt Technical Track Edi Sutoyo Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Paris Avgeriou University of Groningen, The Netherlands, Andrea Capiluppi University of Groningen | ||
18:00 - 19:30 | |||
18:00 90mDinner | Dinner Catering | ||
Fri 6 DecDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 6 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:30 - 10:30 | |||
09:30 30mTalk | Enhancing Code Generation through Retrieval of Cross-Lingual Semantic Graphs Technical Track Zhijie Jiang National University of Defense Technology, Zejian Shi Fudan University, Xinyu Gao , Yun Xiong Fudan University | ||
10:00 30mTalk | Optimizing LLMs for Code Generation: Which Hyperparameter Settings Yield the Best Results? Technical Track Chetan Arora Monash University, Ahnaf Ibn Sayeed Monash University, Sherlock A. Licorish University of Otago, Fanyu Wang Monash University, Christoph Treude Singapore Management University | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:20 | |||
11:00 20mTalk | Large Language Models Empowered Online Log Anomaly Detection in AIOps SEIP - Software Engineering in Practice | ||
11:20 20mTalk | Leveraging Generative AI for Accelarating Enterprise Application Development: Insights from ChatGPT SEIP - Software Engineering in Practice Asha Rajbhoj TCS Research, Tanay Sant Tata Consultancy Services, Akanksha Somase Tata Consultancy Services, Vinay Kulkarni Tata Consultancy Services Research | ||
11:40 20mTalk | Autorepairability of ChatGPT and Gemini: A Comparative Study ERA - Early Research Achievements Chutweeraya Sriwilailak Mahidol University, Yoshiki Higo Osaka University, Pongpop Lapvikai Mahidol University, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Morakot Choetkiertikul Mahidol University, Thailand | ||
12:00 20mTalk | Towards Log-based Execution Status Estimation Using Graph Neural Networks ERA - Early Research Achievements | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:20 | |||
14:00 20mTalk | Tool-supported Development of ML Prototypes ERA - Early Research Achievements | ||
14:20 20mTalk | Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework ERA - Early Research Achievements | ||
14:40 20mTalk | DEV-EYE: A Tool for Monitoring Bus Factor Using Commit History ERA - Early Research Achievements Dan Muhindo Kazimoto Mahidol University, Morakot Choetkiertikul Mahidol University, Thailand, Chaiyong Rakhitwetsagul Mahidol University, Thailand, Thanwadee Sunetnanta Mahidol University | ||
15:00 20mTalk | ENeRgy sustaInability COding (ENRICO): A PRACTICAL USE CASE SEIP - Software Engineering in Practice Benoit Lange Inria File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Sound Floating-Point Neural Network Verification with MILP Technical Track Shifu Yang College of Computer, National University of Defense Technology, Changsha, China, Liqian Chen National University of Defense Technology, Banghu Yin College of Computer, National University of Defense Technology, Changsha, China, Minghao Li College of Computer, National University of Defense Technology, Changsha, China, Yuan Zhou University of Oxford, Ji Wang National University of Defense Technology | ||
14:30 30mTalk | Parallel symbolic execution for smart contracts with load balancing Technical Track | ||
15:00 20mTalk | Designing distributed systems using SAT solvers ERA - Early Research Achievements Puneet Bhateja DA-IICT | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:00 | |||
16:00 60mTalk | Closing Ceremony Social Events | ||