Relax with Capybaras (ICSE 2026 - Research Track) - ICSE 2026

Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil

Track

ICSE 2026 Research Track

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

When

Fri 17 Apr 2026 17:15 - 17:30 at Oceania IX - AI for Software Engineering 29 Chair(s): Tien N. Nguyen

Abstract

This is an empty presentation slot due to late breaking program changes. You can either wait for the next presentation, enjoy some relaxing capybaras (thanks to Tranquil Mind Relaxation), or end the session of there are no more presentations in this session.

https://www.youtube.com/watch?v=cTatMeY0Lfc

Relax with Capybaras

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Session Program

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	16:00 - 17:30	AI for Software Engineering 29Journal-first Papers / Research Track at Oceania IX Chair(s): Tien N. Nguyen University of Texas at Dallas

	16:00 15m Talk		Learning Program Behavioral Models from Synthesized Input-Output Pairs Journal-first Papers Tural Mammadov CISPA Helmholtz Center for Information Security, Dietrich Klakow Saarland University, Alexander Koller Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security
	16:15 15m Talk		MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning Journal-first Papers Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Julie Marie Gjøby Welfare Technologies Section, Oslo Kommune Helseetaten
	16:30 15m Talk		Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation Research Track Zitong Zhou UCLA, Matteo Paltenghi University of Stuttgart, Miryung Kim UCLA and Amazon Web Services, Michael Pradel CISPA Helmholtz Center for Information Security Link to publication Media Attached
	16:45 15m Talk		HarnessLLM: Rust Verification Harness Generation with Large Language Models Research Track Minghua Wang Ant Group, Yuwei Liu Ant Group, Lin Huang Ant Group
	17:00 15m Talk		Agentic Predicates Reasoning for Directed Fuzzing Research Track Jie Zhu University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Jiahao Yu Northwestern University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago Pre-print
	17:15 15m Talk		Relax with Capybaras Research Track Media Attached