SE4RAI 2022
Sat 21 - Sun 29 May 2022
co-located with ICSE 2022
ICSE 2022 (series) / SE4RAI 2022 (series) / David Lawrence Convention Center /

Room information: Ballroom A

VenueDavid Lawrence Convention Center
Room nameBallroom A
Floor3
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

Wed 25 May

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

08:45 - 09:30
Opening SessionICSE All plenary events / ICSE Technical Track / ICSE Keynotes at Ballroom A
09:30 - 10:30
Papers 1: Teaching and ProductivityICSE SEET - Software Engineering Education and Training / ICSE Journal-First Papers / ICSE Technical Track at Ballroom A
Chair(s): Christoph Matthies Hasso Plattner Institute, University of Potsdam
09:30
5m
Talk
Individual differences limit predicting well-being and productivity using software repositories: a longitudinal industrial study
ICSE Journal-First Papers
Miikka Kuutila University of Oulu, Mika Mäntylä University of Oulu, Maëlick Claes University of Oulu, Marko Elovainio University of Helsinki, Bram Adams Queen's University, Kingston, Ontario
Link to publication Media Attached
09:35
5m
Talk
Integrating Hackathons into an Online Cybersecurity Course
ICSE SEET - Software Engineering Education and Training
Abasi-amefon Obot Affia University of Tartu, Estonia, Alexander Nolte University of Tartu, Raimundas Matulevičius University of Tartu, Estonia
DOI Pre-print Media Attached
09:40
5m
Talk
An Exploratory Study of Productivity in Software Teams
ICSE Technical Track
Anastasia Ruvimova University of Zurich, Alexander Lill University of Zurich, Gail Murphy University of British Columbia, Elaine Huang University of Zurich, Jan Gugler University of Zurich, Lauren Howe University of Zurich, Thomas Fritz University of Zurich
Pre-print Media Attached
09:45
5m
Talk
Designing Divergent Thinking, Creative Problem Solving Exams
ICSE SEET - Software Engineering Education and Training
Jeff Offutt George Mason University, Kesina Baral George Mason University
Pre-print Media Attached
09:50
5m
Talk
Reading to Write Code: An Experience Report of a Reverse Engineering and Modeling Course
ICSE SEET - Software Engineering Education and Training
Brooke Kelsey Ryan University of California, Irvine, Adriana Meza Soria UC Irvine, Kaj Dreef University of California, Irvine, Andre van der Hoek University of California, Irvine
DOI Pre-print Media Attached
09:55
5m
Talk
Emotions and Perceived Productivity of Software Developers at the Workplace
ICSE Journal-First Papers
Daniela Girardi University of Bari, Filippo Lanubile University of Bari, Nicole Novielli University of Bari, Alexander Serebrenik Eindhoven University of Technology
Link to publication DOI Pre-print Media Attached
11:00 - 12:30
Papers 5: Validation and VerificationICSE SEIP - Software Engineering in Practice / ICSE Technical Track / ICSE Journal-First Papers at Ballroom A
Chair(s): Shiva Nejati University of Ottawa
11:00
5m
Talk
Linear-time Temporal Logic guided Greybox Fuzzing
ICSE Technical Track
Ruijie Meng National University of Singapore, Singapore, Zhen Dong Fudan University, China, Jialin Li National University of Singapore, Singapore, Ivan Beschastnikh University of British Columbia, Abhik Roychoudhury National University of Singapore
DOI Pre-print Media Attached
11:05
5m
Talk
Verification of Consistency between Process Models, Object Life Cycles, and Context-dependent Semantic Specifications
ICSE Journal-First Papers
Ralph Hoch Institute of Computer Technology, TU Wien, Christoph Luckeneder Vienna University of Technology, Roman Popp TU Wien, Vienna, Austria, Hermann Kaindl Institute of Computer Technology, TU Wien
Link to publication DOI Pre-print Media Attached
11:10
5m
Talk
GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs
ICSE Technical Track
Harrison Green ForAllSecure, Thanassis Avgerinos ForAllSecure
DOI Pre-print Media Attached
11:15
5m
Talk
ExAIS: Executable AI Semantics
ICSE Technical Track
Richard Schumi Singapore Management University, Jun Sun Singapore Management University
Pre-print Media Attached
11:20
5m
Talk
Verifying Dynamic Trait Objects in Rust
ICSE SEIP - Software Engineering in Practice
Alexa VanHattum Cornell University, Daniel Schwartz-Narbonne Amazon, n.n., Nathan Chong Amazon, Adrian Sampson Cornell University
Pre-print Media Attached
11:25
5m
Talk
Quantifying Permissiveness of Access Control Policies
ICSE Technical Track
William Eiers University of California at Santa Barbara, USA, Ganesh Sankaran University of California Santa Barbara, Albert Li University of California Santa Barbara, Emily O'Mahony University of California Santa Barbara, Benjamin Prince University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara
Pre-print Media Attached
11:30
5m
Talk
Fuzzing Class Specifications
ICSE Technical Track
Facundo Molina University of Rio Cuarto and CONICET, Argentina, Marcelo d'Amorim Federal University of Pernambuco, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina
Pre-print Media Attached

Wed 25 May

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Ballroom A

ICSE All plenary events + ICSE Technical Track + ICSE Keynotes

Opening Session

ICSE SEET - Software Engineering Education and Training + ICSE Journal-First Papers + ICSE Technical Track

Papers 1: Teaching and Productivity

ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE Journal-First Papers

Papers 5: Validation and Verification

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

Thu 26 May

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Ballroom A

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

Fri 27 May

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

Room9:003010:003011:003012:003013:003014:0030
Ballroom A

ICSE Technical Track

ICSE Technical Track

ICSE Technical Track

Wed 25 May

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

Room9:0015304510:0015304511:00153045
Ballroom A
ICSE Journal-First Papers
Individual differences limit predicting well-being and productivity usi ...
09:30 - 09:35
ICSE SEET - Software Engineering Education and Training
Integrating Hackathons into an Online Cybersecurity Course
09:35 - 09:40
ICSE Technical Track
An Exploratory Study of Productivity in Software Teams
09:40 - 09:45
ICSE SEET - Software Engineering Education and Training
Designing Divergent Thinking, Creative Problem Solving Exams
09:45 - 09:50
ICSE SEET - Software Engineering Education and Training
Reading to Write Code: An Experience Report of a Reverse Engineering an ...
09:50 - 09:55
ICSE Journal-First Papers
Emotions and Perceived Productivity of Software Developers at the Workplace
09:55 - 10:00
ICSE Technical Track
Linear-time Temporal Logic guided Greybox Fuzzing
11:00 - 11:05
ICSE Journal-First Papers
Verification of Consistency between Process Models, Object Life Cycles, ...
11:05 - 11:10
ICSE Technical Track
GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs
11:10 - 11:15
ICSE Technical Track
ExAIS: Executable AI Semantics
11:15 - 11:20
ICSE SEIP - Software Engineering in Practice
Verifying Dynamic Trait Objects in Rust
11:20 - 11:25
ICSE Technical Track
Quantifying Permissiveness of Access Control Policies
11:25 - 11:30
ICSE Technical Track
Fuzzing Class Specifications
11:30 - 11:35