Representing Data Collections in an SSA Form by McMichen, Tommy, Greiner, Nathan, Zhong, Peter, Sossai, Federico, Patel, Atmn, Campanoni, Simone

A static verification framework for message passing in Go using behavioural types by Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis by Zheng, Yunhui, Pujar, Saurabh, Lewis, Burn, Buratti, Luca, Epstein, Edward, Yang, Bo, Laredo, Jim, Morari, Alessandro, Su, Zhong

Get full text

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code by Deligiannis, Pantazis, Lal, Akash, Mehrotra, Nikita, Poddar, Rishi, Rastogi, Aseem

Pandemic programming: How COVID-19 affects software developers and how their organizations can help by Ralph, Paul, Baltes, Sebastian, Adisaputri, Gianisa, Torkar, Richard, Kovalenko, Vladimir, Kalinowski, Marcos, Novielli, Nicole, Yoo, Shin, Devroey, Xavier, Tan, Xin, Zhou, Minghui, Turhan, Burak, Hoda, Rashina, Hata, Hideaki, Robles, Gregorio, Milani Fard, Amin, Alkadhi, Rana

A family of experiments on test-driven development by Santos, Adrian, Vegas, Sira, Dieste, Oscar, Uyaguari, Fernando, Tosun, Ayşe, Fucci, Davide, Turhan, Burak, Scanniello, Giuseppe, Romano, Simone, Karac, Itir, Kuhrmann, Marco, Mandić, Vladimir, Ramač, Robert, Pfahl, Dietmar, Engblom, Christian, Kyykka, Jarno, Rungi, Kerli, Palomeque, Carolina, Spisak, Jaroslav, Oivo, Markku, Juristo, Natalia

LLM Assistance for Memory Safety by Mohammed, Nausheen, Lal, Akash, Rastogi, Aseem, Sharma, Rahul, Roy, Subhajit

Recommending API Function Calls and Code Snippets to Support Software Development by Nguyen, Phuong T., Di Rocco, Juri, Di Sipio, Claudio, Di Ruscio, Davide, Di Penta, Massimiliano

CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification by Lemberger, Thomas, Wachowitz, Henrik

Fast and Reliable Program Synthesis via User Interaction by Chen, Yanju, Wang, Chenglong, Wang, Xinyu, Bastani, Osbert, Feng, Yu

Enabling Fine-Grained Incremental Builds by Making Compiler Stateful by Han, Ruobing, Zhao, Jisheng, Kim, Hyesoon

Is GitHub’s Copilot as bad as humans at introducing vulnerabilities in code? by Asare, Owura, Nagappan, Meiyappan, Asokan, N.

Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding by Di, Yifeng, Zhang, Tianyi

The who, what, how of software engineering research: a socio-technical framework by Storey, Margaret-Anne, Ernst, Neil A., Williams, Courtney, Kalliamvakou, Eirini

Merge Conflict Resolution: Classification or Generation? by Dong, Jinhao, Zhu, Qihao, Sun, Zeyu, Lou, Yiling, Hao, Dan

Source Code Summarization in the Era of Large Language Models by Sun, Weisong, Miao, Yun, Li, Yuekang, Zhang, Hongyu, Fang, Chunrong, Liu, Yi, Deng, Gelei, Liu, Yang, Chen, Zhenyu

Personalized First Issue Recommender for Newcomers in Open Source Projects by Xiao, Wenxin, Li, Jingyue, He, Hao, Qiu, Ruiqiao, Zhou, Minghui

One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution by Cicolini, Luisa, Carloni, Filippo, Santambrogio, Marco D., Conficconi, Davide

Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution by Liang, Haochun, Jiang, Xu, Guan, Nan, He, Qingqiang, Wang, Yi

Get full text

Exploring the Architectural Impact of Possible Dependencies in Python Software by Jin, Wuxia, Cai, Yuanfang, Kazman, Rick, Zhang, Gang, Zheng, Qinghua, Liu, Ting