Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Workshops /

Room information: GI Room

VenueWorkshops
Room nameGI Room
Room InformationNo extra information available

Information for Participants
Info for room GI Room:

Go directly to this room on Clowdr

Program

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

Sun 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:00 - 18:05
WelcomeGI at GI Room

YT Video: https://www.youtube.com/watch?v=LfOXI6rdf4I

18:05 - 19:05
Keynote speechGI at GI Room
18:05
60m
Keynote
Engineering and Evolving Software
GI
Stephanie Forrest Arizona State University
Media Attached
19:25 - 21:10
Session 1GI at GI Room
19:25
25m
Long-paper
Uniform Edit Selection for Genetic Improvement: Empirical Analysis of Mutation Operator Efficacy
GI
Marta Smigielska University College London, Aymeric Blot University College London, Justyna Petke University College London
Pre-print Media Attached
19:50
10m
Short-paper
Optimising SQL Queries Using Genetic Improvement
GI
James Callan UCL, Justyna Petke University College London
Pre-print Media Attached
20:00
25m
Long-paper
Exploring the Accuracy - Energy Trade-off in Machine Learning
GI
Alexander E.I. Brownlee University of Stirling, Jason Adair University of Stirling, Saemundur O. Haraldsson University of Stirling, John Jabbo University of Stirling
Pre-print Media Attached
20:25
10m
Short-paper
Open Challenges in Genetic Improvement for Emergent Software Systems
GI
Penelope Faulkner Rainford Lancaster University, Barry Porter Lancaster University
Pre-print Media Attached
20:35
25m
Long-paper
Using Genetic Improvement to Retarget Quantum Software on Differing Hardware
GI
George O'Brien University of Sheffield, John Clark University of Sheffield
Media Attached
21:00
10m
Short-paper
(Genetically) Improving Novelty in Procedural Story Generation
GI
Erik Fredericks Grand Valley State University, Byron Devries Grand Valley State University
Pre-print Media Attached
21:30 - 22:50
Session 2GI at GI Room
21:30
25m
Long-paper
CRNRepair: Automated Program Repair of Chemical Reaction Networks
GI
Ibrahim Mesecan Iowa State University, Michael C. Gerten Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Tomas Haddad Caldas Catholic Pontifical University of Rio Grande do Sul
Pre-print Media Attached
21:55
10m
Short-paper
Applying Automated Program Repair to Dataflow Programming Languages
GI
Yu Huang University of Michigan, Hammad Ahmad University of Michigan, Stephanie Forrest Arizona State University, Westley Weimer University of Michigan
Media Attached
22:05
25m
Long-paper
Generating Objected-Oriented Source Code Using Genetic Programming
GI
Vicente Illanes Universidad de Chile, Alexandre Bergel University of Chile
Pre-print Media Attached
22:30
10m
Short-paper
Partial Specifications for Program Repair
GI
Linsey Kitt Iowa State University, Myra Cohen Iowa State University
Pre-print Media Attached
22:40
10m
Short-paper
A Permutation Representation of Covering Arrays
GI
Ryan Dougherty United States Military Academy, Xi Jiang Colgate University
Media Attached
23:10 - 00:10
Awards & Open discussionGI at GI Room

Sun 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room18:003019:003020:003021:003022:003023:00300:0030
GI Room

GI

Welcome

GI

Keynote speech

GI

Session 1

GI

Session 2

GI

Awards & Open discussion

Sun 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room18:0015304519:0015304520:0015304521:0015304522:00153045
GI Room
GI
Engineering and Evolving Software
18:05 - 19:05
GI
Uniform Edit Selection for Genetic Improvement: Empirical Analysis of M ...
19:25 - 19:50
GI
Optimising SQL Queries Using Genetic Improvement
19:50 - 20:00
GI
Exploring the Accuracy - Energy Trade-off in Machine Learning
20:00 - 20:25
GI
Open Challenges in Genetic Improvement for Emergent Software Systems
20:25 - 20:35
GI
Using Genetic Improvement to Retarget Quantum Software on Differing Har ...
20:35 - 21:00
GI
(Genetically) Improving Novelty in Procedural Story Generation
21:00 - 21:10
GI
CRNRepair: Automated Program Repair of Chemical Reaction Networks
21:30 - 21:55
GI
Applying Automated Program Repair to Dataflow Programming Languages
21:55 - 22:05
GI
Generating Objected-Oriented Source Code Using Genetic Programming
22:05 - 22:30
GI
Partial Specifications for Program Repair
22:30 - 22:40
GI
A Permutation Representation of Covering Arrays
22:40 - 22:50