ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
ASE 2024 (series) / Sheraton Grand, Sacramento, California /

Room information: Carr

VenueSheraton Grand, Sacramento, California
Room nameCarr
Floor2
Room InformationNo extra information available
Program

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

Mon 28 Oct

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

10:30 - 12:00
RENE Track Session[Workshop] RENE at Carr
10:30
10m
Talk
Automatic Generation of Logical Specifications for Behavioural Models
[Workshop] RENE
Radoslaw Klimek AGH University of Krakow, Julia Witek AGH University of Krakow
10:40
20m
Talk
Group Discussion
[Workshop] RENE

11:00
20m
Talk
MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers
[Workshop] RENE
Linsey Kitt Iowa State University, Myra Cohen Iowa State University
11:20
20m
Day opening
RENE Track Opening Session
[Workshop] RENE

11:40
20m
Talk
Taxonomy of Security-related Issues in Android Apps: An Empirical Study
[Workshop] RENE
Teerath Das University of Jyväskylä, Adam Ali Mohammad Ali JInnah University, Tommi Mikkonen University of Jyvaskyla
13:30 - 16:30
TutorialsTutorials at Carr
13:30
3h
Tutorial
Tutorial on Software Engineering for FMware
Tutorials
Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Filipe Cogo Centre for Software Excellence, Huawei Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University

Tue 29 Oct

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

10:30 - 12:00
Requirement engineeringResearch Papers / NIER Track / Journal-first Papers at Carr
Chair(s): Lina Marsso University of Toronto
10:30
15m
Talk
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach
Research Papers
Jialiang Wei EuroMov DHM, Univ Montpellier & IMT Mines Ales, Anne-Lise Courbis IMT Mines Alès, Thomas Lambolais IMT Mines Alès, Binbin Xu IMT Mines Alès, Pierre Louis Bernard University of Montpellier, Gerard Dray IMT Mines Alès, Walid Maalej University of Hamburg
Pre-print
10:45
15m
Talk
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Research Papers
Chico Sundermann University of Ulm, Jacob Loth University of Ulm, Thomas Thüm Paderborn University
11:00
15m
Talk
Learning-based Relaxation of Completeness Requirements for Data Entry Forms
Journal-first Papers
Hichem Belgacem Luxembourg Institute of Science and Technology, Xiaochen Li Dalian University of Technology, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
11:15
15m
Talk
Blackbox Observability of Features and Feature Interactions
Research Papers
Kallistos Weis Saarland University, Leopoldo Teixeira Federal University of Pernambuco, Clemens Dubslaff Eindhoven University of Technology, Sven Apel Saarland University
Pre-print
11:30
15m
Talk
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
Research Papers
Kexin Sun Nanjing University, Yiding Ren Nanjing University, Hongyu Kuang Nanjing University, Hui Gao Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University, Guoping Rong Nanjing University, Dong Shao Nanjing University, He Zhang Nanjing University
Pre-print
11:45
10m
Talk
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements
NIER Track
Mohamad Fazelnia University of Hawaii at Manoa, Mehdi Mirakhorli University of Hawaii at Manoa, Hamid Bagheri University of Nebraska-Lincoln
13:30 - 15:00
Web and UIResearch Papers / Industry Showcase / Tool Demonstrations at Carr
Chair(s): Mattia Fazzini University of Minnesota
13:30
15m
Talk
Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents
Research Papers
Shaoheng Cao Nanjing University, Renyi Chen Samsung Electronics（China）R&D Centre, Minxue Pan Nanjing University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Xuandong Li Nanjing University
13:45
15m
Talk
Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial Software System
Industry Showcase
Haonan Zhang University of Waterloo, Lizhi Liao Memorial University of Newfoundland, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Weiyi Shang University of Waterloo, Nidhi Narula ERA Environmental, Catalin Sporea ERA Environmental Management Solutions, Andrei Toma ERA Environmental Management Solutions, Sarah Sajedi ERA Environmental Management Solutions
14:00
15m
Talk
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics
Research Papers
Yuanhong Lan Nanjing University, Yifei Lu Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University
14:15
15m
Talk
Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web Testing? An Exploratory Study
Research Papers
Yujia Fan Southern University of Science and Technology, Sinan Wang Southern University of Science and Technology, Zebang Fei Southern University of Science and Technology, Yao Qin Southern University of Science and Technology, Huaxuan Li Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology
14:30
10m
Talk
Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat
Industry Showcase
Sidong Feng Monash University, Haochuan Lu Tencent, Jianqin Jiang Tencent Inc., Ting Xiong Tencent Inc., Likun Huang Tencent Inc., Yinglin Liang Tencent Inc., Xiaoqin Li Tencent Inc., Yuetang Deng Tencent, Aldeida Aleti Monash University
14:40
10m
Talk
Self-Elicitation of Requirements with Automated GUI Prototyping
Tool Demonstrations
Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim, Christian Bartelt , Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group
DOI Pre-print Media Attached
15:30 - 17:00
Performance and loadResearch Papers / Industry Showcase / NIER Track / Tool Demonstrations at Carr
15:30
15m
Talk
AI-driven Java Performance Testing: Balancing Result Quality with Testing Time
Research Papers
Luca Traini University of L'Aquila, Federico Di Menna University of L'Aquila, Vittorio Cortellessa University of L'Aquila
DOI Pre-print
15:45
15m
Talk
MLOLET - Machine Learning Optimized Load and Endurance Testing: An industrial experience report
Industry Showcase
Arthur Vitui Concordia University, Tse-Hsun (Peter) Chen Concordia University
16:00
15m
Talk
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code
Research Papers
Muzi Qu University of Chinese Academy of Sciences, Jie Liu Institute of Software, Chinese Academy of Sciences, Liangyi Kang Institute of Software, Chinese Academy of Sciences, Shuai Wang Institute of Software, Chinese Academy of Sciences, Dan Ye Institute of Software, Chinese Academy of Sciences, Tao Huang Institute of Software at Chinese Academy of Sciences
16:15
10m
Talk
BenchCloud: A Platform for Scalable Performance Benchmarking
Tool Demonstrations
Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Marek Jankola LMU Munich
DOI Pre-print Media Attached
16:25
10m
Talk
A Formal Treatment of Performance BugsRecorded Talk
NIER Track
Omar I. Al Bataineh Gran Sasso Science Institute (GSSI)

Wed 30 Oct

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

10:30 - 12:00
Log and trace; failure and faultResearch Papers / Industry Showcase at Carr
Chair(s): Yiming Tang Rochester Institute of Technology
10:30
15m
Talk
Demonstration-Free: Towards More Practical Log Parsing with Large Language Models
Research Papers
Yi Xiao , Van-Hoang Le The University of Newcastle, Hongyu Zhang Chongqing University
10:45
15m
Talk
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing
Research Papers
Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Pinjia He Chinese University of Hong Kong, Shenzhen
11:00
15m
Talk
Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach
Research Papers
Vittoriano Muttillo University of Teramo, Claudio Di Sipio University of l'Aquila, Riccardo Rubei University of L'Aquila, Luca Berardinelli Johannes Kepler University Linz, MohammadHadi Dehghani Johannes Kepler University Linz
11:15
15m
Talk
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving
Industry Showcase
Haoyu Liao East China Normal University, Jianmei Guo East China Normal University, Bo Huang East China Normal University, Yujie Han East China Normal University, Dingyu Yang Zhejiang University, Kai Shi Alibaba Group, Jonathan Ding Intel, Guoyao Xu Alibaba Group, Guodong Yang Alibaba Group, Liping Zhang Alibaba Group
11:30
15m
Talk
FAIL: Analyzing Software Failures from the News Using LLMs
Research Papers
Dharun Anandayuvaraj Purdue University, Matthew Campbell Purdue University, Arav Tewari Purdue University, James C. Davis Purdue University
DOI Pre-print
11:45
15m
Talk
Do not neglect what's on your hands: localizing software faults with exception trigger streamACM SigSoft Distinguished Paper Award
Research Papers
Xihao Zhang School of Computer Science, Wuhan University, Yi Song School of Computer Science, Wuhan University, Xiaoyuan Xie Wuhan University, Qi Xin Wuhan University, Chenliang Xing School of Computer Science, Wuhan University
13:30 - 15:00
VerificationResearch Papers / Tool Demonstrations at Carr
Chair(s): Tevfik Bultan University of California at Santa Barbara
13:30
15m
Talk
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant InferenceACM SigSoft Distinguished Paper Award
Research Papers
Guangyuan Wu Nanjing University, Weining Cao Nanjing University, Yuan Yao Nanjing University, Hengfeng Wei State Key Laboratory for Novel Software Technology, Nanjing University, Taolue Chen Birkbeck, University of London, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University
13:45
15m
Talk
LLM-Generated Invariants for Bounded Model Checking Without Loop UnrollingACM SigSoft Distinguished Paper Award
Research Papers
Muhammad A. A. Pirzada The University of Manchester, Giles Reger University of Manchester, Ahmed Bhayat Independent Scholar, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
Link to publication DOI
14:00
15m
Talk
Proof Automation with Large Language Models
Research Papers
Minghai Lu Purdue University, Benjamin Delaware Purdue University, Tianyi Zhang Purdue University
Pre-print
14:15
15m
Talk
Verifying the Option Type With Rely-Guarantee Reasoning
Research Papers
James Yoo University of Washington, Michael D. Ernst University of Washington, René Just University of Washington
Link to publication DOI
14:30
10m
Talk
CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification
Tool Demonstrations
Thomas Lemberger LMU Munich, Henrik Wachowitz LMU Munich
14:40
10m
Talk
CoqPilot, a plugin for LLM-based generation of proofs
Tool Demonstrations
Andrei Kozyrev JetBrains Research, Constructor University Bremen, Gleb Solovev JetBrains Research, Constructor University Bremen, Nikita Khramov JetBrains Research, Constructor University Bremen, Anton Podkopaev JetBrains Research, Constructor University

Thu 31 Oct

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

10:30 - 12:00
Cloud and Systems Research Papers / Journal-first Papers / Industry Showcase at Carr
Chair(s): Amel Bennaceur The Open University, UK
10:30
15m
Talk
FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows
Research Papers
Yilun Wang Anhui University, Pengfei Chen Sun Yat-sen University, Hui Dou Anhui University, Yiwen Zhang Anhui University, Guangba  Yu Sun Yat-sen University, Zilong He Sun Yat-sen University, Haiyu Huang Sun Yat-sen University
Pre-print
10:45
15m
Talk
Challenges & Opportunities in Automating DBMS: A Qualitative Study
Industry Showcase
Yifan WANG Orange/ INRIA, Pierre Bourhis University of Lille, Inria, CRIStAL UMR CNRS 9189, Romain Rouvoy University Lille 1 and INRIA, Patrick Royer Orange
11:00
15m
Talk
Test-suite-guided discovery of least privilege for cloud infrastructure as code
Journal-first Papers
Ryo Shimizu Hitachi Ltd., Yuna Nunomura Hitachi, Ltd., Hideyuki Kanuka Hitachi, Ltd.
DOI
11:15
15m
Talk
Microservice Decomposition Techniques: An Independent Tool Comparison
Research Papers
Yingying Wang University of British Columbia, Sarah Bornais The University of British Columbia, Julia Rubin The University of British Columbia
Pre-print
11:30
10m
Talk
Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories
Industry Showcase
Christian Gilbertson Sandia National Labs, Reed Milewicz Sandia National Laboratories, Eric Berquist Sandia National Labs, Aaron Brundage Sandia National Labs, John Engelmann Sandia National Labs, Brian Evans Sandia National Labs, Nicholas Francis Sandia National Labs, Ernest Friedman-Hill Sandia National Labs, Samuel Grayson Sandia National Labs, Evan Harvey Sandia National Labs, Eric Ho Sandia National Labs, Edward Hoffman Sandia National Labs, Kevin Irick Sandia National Labs, Anagha Krishna Sandia National Labs, Aaron Moreno Sandia National Labs, Joshua Teves Sandia National Labs
11:40
10m
Talk
Cloud Resource Protection via Automated Security Property Reasoning
Industry Showcase
Zhixing Xu Amazon Web Services, Shengjian Guo Amazon Web Services, Oksana Tkachuk Amazon Web Services, Saeed Nejati Amazon Web Services, Niloofar Razavi Amazon Web Services, George Argyros Amazon Web Services
13:30 - 15:00
Code generation 3Industry Showcase / Journal-first Papers / Research Papers at Carr
Chair(s): Jialun Cao Hong Kong University of Science and Technology
13:30
15m
Talk
Test-Driven Development and LLM-based Code Generation
Research Papers
Noble Saji Mathews University of Waterloo, Canada, Mei Nagappan University of Waterloo
13:45
15m
Talk
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven RefinementACM SigSoft Distinguished Paper Award
Research Papers
Huan Zhang Nanjing University, Wei Cheng Nanjing University, Yuhan Wu Nanjing University, Wei Hu Nanjing University
14:00
15m
Talk
Ansible Lightspeed: A Code Generation Service for IT Automation
Industry Showcase
Priyam Sahoo , Saurabh Pujar IBM Research AI, Ganesh Nalawade RED HAT, Richard Gebhardt , Louis Mandel IBM Research, USA, Luca Buratti IBM Research
Link to publication DOI Pre-print File Attached
14:15
15m
Talk
Self-planning Code Generation with Large Language Models
Journal-first Papers
Xue Jiang , Yihong Dong Peking University, Lecheng Wang Peking University, Fang Zheng Peking University, Qiwei Shang Peking University, Ge Li Peking University, Zhi Jin Peking University, Wenpin Jiao Peking University
15:30 - 16:30
Code smellsResearch Papers / NIER Track at Carr
15:30
15m
Talk
iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection and Refactoring
Research Papers
Di Wu , Fangwen Mu Institute of Software, Chinese Academy of Sciences, Lin Shi Beihang University, Zhaoqiang Guo Software Engineering Application Technology Lab, Huawei, China, Kui Liu Huawei, Weiguang Zhuang Beihang University, Yuqi Zhong Beihang University, Li Zhang Beihang University
15:45
15m
Talk
A Position-Aware Approach to Decomposing God Classes
Research Papers
Tianyi Chen Beijing Institute of Technology, Yanjie Jiang Peking University, Fu Fan Beijing Institute of Technology, Bo Liu Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
16:00
15m
Talk
Three Heads Are Better Than One: Suggesting Move Method Refactoring Opportunities with Inter-class Code Entity Dependency Enhanced Hybrid Hypergraph Neural Network
Research Papers
Di Cui Xidian University, Jiaqi Wang Xidian University, Qiangqiang Wang Xidian University, Peng Ji Xidian University, Minglang Qiao Xidian University, Yutong Zhao University of Central Missouri, Jingzhao Hu Xidian University, Luqiao Wang Xidian University, Qingshan Li Xidian University
16:15
10m
Talk
Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot
NIER Track
Beiqi Zhang Wuhan University, Peng Liang Wuhan University, China, Qiong Feng Nanjing University of Science and Technology, Yujia Fu Wuhan University, Zengyang Li Central China Normal University
DOI Pre-print

Fri 1 Nov

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

08:30 - 09:00
A-Mobile[Workshop] A-Mobile at Carr
09:00 - 10:00
A-Mobile[Workshop] A-Mobile at Carr
10:30 - 12:00
A-Mobile[Workshop] A-Mobile at Carr

Mon 28 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
Carr

[Workshop] RENE

RENE Track Session

Tutorials

Tutorials

Tue 29 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
Carr

Research Papers + NIER Track + Journal-first Papers

Requirement engineering

Research Papers + Industry Showcase + Tool Demonstrations

Web and UI

Research Papers + Industry Showcase + NIER Track + Tool Demonstrations

Performance and load

Wed 30 Oct

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

Room10:003011:003012:003013:003014:0030
Carr

Research Papers + Industry Showcase

Log and trace; failure and fault

Research Papers + Tool Demonstrations

Verification

Thu 31 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
Carr

Research Papers + Journal-first Papers + Industry Showcase

Cloud and Systems

Industry Showcase + Journal-first Papers + Research Papers

Code generation 3

Research Papers + NIER Track

Code smells

Fri 1 Nov

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

Room8:00309:003010:003011:0030
Carr

[Workshop] A-Mobile

A-Mobile

[Workshop] A-Mobile

A-Mobile

[Workshop] A-Mobile

A-Mobile

Mon 28 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Carr
ASE [Workshop] RENE
Automatic Generation of Logical Specifications for Behavioural Models
10:30 - 10:40
ASE [Workshop] RENE
Group Discussion
10:40 - 11:00
ASE [Workshop] RENE
MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Com ...
11:00 - 11:20
ASE [Workshop] RENE
RENE Track Opening Session
11:20 - 11:40
ASE [Workshop] RENE
Taxonomy of Security-related Issues in Android Apps: An Empirical Study
11:40 - 12:00
ASE Tutorials
Tutorial on Software Engineering for FMware
13:30 - 16:30

Tue 29 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Carr
ASE Research Papers
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based A ...
10:30 - 10:45
ASE Research Papers
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
10:45 - 11:00
ASE Journal-first Papers
Learning-based Relaxation of Completeness Requirements for Data Entry Forms
11:00 - 11:15
ASE Research Papers
Blackbox Observability of Features and Feature Interactions
11:15 - 11:30
ASE Research Papers
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-base ...
11:30 - 11:45
ASE NIER Track
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language ...
11:45 - 11:55
ASE Research Papers
Beyond Manual Modeling: Automating GUI Model Generation Using Design Do ...
13:30 - 13:45
ASE Industry Showcase
Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial ...
13:45 - 14:00
ASE Research Papers
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analy ...
14:00 - 14:15
ASE Research Papers
Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web ...
14:15 - 14:30
ASE Industry Showcase
Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs ...
14:30 - 14:40
ASE Tool Demonstrations
Self-Elicitation of Requirements with Automated GUI Prototyping
14:40 - 14:50
ASE Research Papers
AI-driven Java Performance Testing: Balancing Result Quality with Testi ...
15:30 - 15:45
ASE Industry Showcase
MLOLET - Machine Learning Optimized Load and Endurance Testing: An indu ...
15:45 - 16:00
ASE Research Papers
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generati ...
16:00 - 16:15
ASE Tool Demonstrations
BenchCloud: A Platform for Scalable Performance Benchmarking
16:15 - 16:25
ASE NIER TrackRecorded Talk
A Formal Treatment of Performance Bugs
16:25 - 16:35

Wed 30 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Carr
ASE Research Papers
Demonstration-Free: Towards More Practical Log Parsing with Large Langu ...
10:30 - 10:45
ASE Research Papers
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing
10:45 - 11:00
ASE Research Papers
Towards Synthetic Trace Generation of Modeling Operations using In-Cont ...
11:00 - 11:15
ASE Industry Showcase
DeployFix: Dynamic Repair of Software Deployment Failures via Constrain ...
11:15 - 11:30
ASE Research Papers
FAIL: Analyzing Software Failures from the News Using LLMs
11:30 - 11:45
ASE Research PapersACM SigSoft Distinguished Paper Award
Do not neglect what's on your hands: localizing software faults with ex ...
11:45 - 12:00
ASE Research PapersACM SigSoft Distinguished Paper Award
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
13:30 - 13:45
ASE Research PapersACM SigSoft Distinguished Paper Award
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
13:45 - 14:00
ASE Research Papers
Proof Automation with Large Language Models
14:00 - 14:15
ASE Research Papers
Verifying the Option Type With Rely-Guarantee Reasoning
14:15 - 14:30
ASE Tool Demonstrations
CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification
14:30 - 14:40
ASE Tool Demonstrations
CoqPilot, a plugin for LLM-based generation of proofs
14:40 - 14:50

Thu 31 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Carr
ASE Research Papers
FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows
10:30 - 10:45
ASE Industry Showcase
Challenges & Opportunities in Automating DBMS: A Qualitative Study
10:45 - 11:00
ASE Journal-first Papers
Test-suite-guided discovery of least privilege for cloud infrastructure ...
11:00 - 11:15
ASE Research Papers
Microservice Decomposition Techniques: An Independent Tool Comparison
11:15 - 11:30
ASE Industry Showcase
Towards Long-Term Scientific Model Sustainment at Sandia National Labor ...
11:30 - 11:40
ASE Industry Showcase
Cloud Resource Protection via Automated Security Property Reasoning
11:40 - 11:50
ASE Research Papers
Test-Driven Development and LLM-based Code Generation
13:30 - 13:45
ASE Research PapersACM SigSoft Distinguished Paper Award
A Pair Programming Framework for Code Generation via Multi-Plan Explora ...
13:45 - 14:00
ASE Industry Showcase
Ansible Lightspeed: A Code Generation Service for IT Automation
14:00 - 14:15
ASE Journal-first Papers
Self-planning Code Generation with Large Language Models
14:15 - 14:30
ASE Research Papers
iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection a ...
15:30 - 15:45
ASE Research Papers
A Position-Aware Approach to Decomposing God Classes
15:45 - 16:00
ASE Research Papers
Three Heads Are Better Than One: Suggesting Move Method Refactoring Opp ...
16:00 - 16:15
ASE NIER Track
Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Cod ...
16:15 - 16:25