Write a Blog >>
AST 2022
Tue 17 - Wed 18 May 2022 Midspace Room
co-located with ICSE 2022
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

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