CAIN 2022
Mon 16 - Tue 17 May 2022
co-located with
ICSE 2022
Toggle navigation
Attending
Venue: David Lawrence Convention Center
Virtual: Midspace
Registration for CAIN
Attending CAIN Virtually on Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
CAIN Program
Your Program
Overview
Presenter Information
Post-Conference
Mon 16 May
Tue 17 May
Track/Call
Organization
CAIN 2022 Committees
Organizing Committee
Track Committees
Program Committee
Industrial Track Committee
Posters Committee
Contributors
People Index
Search
Series
Series
CAIN 2025
CAIN 2024
CAIN 2023
CAIN 2022
Sign in
Sign up
ICSE 2022
(
series
) /
CAIN 2022
(
series
) /
David Lawrence Convention Center
/
Room information: Ballroom A
Venue
David Lawrence Convention Center
Room name
Ballroom A
Floor
3
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
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 Session
ICSE All plenary events
/
ICSE Technical Track
/
ICSE Keynotes
at
Ballroom A
09:30 - 10:30
Papers 1: Teaching and Productivity
ICSE 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 Verification
ICSE 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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Ballroom A
ICSE Technical Track
ICSE Technical Track
ICSE Technical Track
Wed 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
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
x
Fri 13 Dec 23:31