SE4RAI 2022
Sat 21 - Sun 29 May 2022
co-located with ICSE 2022
VenueDavid Lawrence Convention Center
Room nameRoom 306+307
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 4: Verification and AnalysisICSE Technical Track / ICSE Journal-First Papers at Room 306+307
Chair(s): Gregory Gay Chalmers and the University of Gothenburg
09:30
5m
Talk
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly BinariesBest Artifact Award
ICSE Technical Track
Quentin Stiévenart Vrije Universiteit Brussel, David Binkley Loyola University Maryland, Coen De Roover Vrije Universiteit Brussel
DOI Pre-print Media Attached
09:35
5m
Talk
Diversity-Driven Automated Formal VerificationDistinguished Paper Award
ICSE Technical Track
Emily First University of Massachusetts Amherst, Yuriy Brun University of Massachusetts
DOI Pre-print Media Attached
09:40
5m
Talk
Control and Discovery of Environment Behaviour
ICSE Journal-First Papers
Maureen Keegan Intercom, Nicolás D’Ippolito Dept. of Computer Science FCEyN, University of Buenos Aires, Víctor Braberman ICC (UBA-CONICET), Nir Piterman University of Gothenberg, Sebastian Uchitel Universidad de Buenos Aires / Imperial College
Link to publication DOI Pre-print Media Attached
09:45
5m
Talk
Learning Lenient Parsing & Typing via Indirect Supervision
ICSE Journal-First Papers
Toufique Ahmed University of California at Davis, Prem Devanbu Department of Computer Science, University of California, Davis, Vincent J. Hellendoorn Carnegie Mellon University
Link to publication DOI Pre-print Media Attached
09:50
5m
Talk
Striking a Balance: Pruning False-Positives from Static Call GraphsNominated for Distinguished Paper
ICSE Technical Track
Akshay Utture University of California, Los Angeles (UCLA), Shuyang Liu University of California, Los Angeles, Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California at Los Angeles
DOI Pre-print Media Attached
09:55
5m
Talk
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C
ICSE Technical Track
Zachary Patterson University of Texas at Dallas, Zenong Zhang The University of Texas at Dallas, Brent Pappas University of Central Florida, Shiyi Wei University of Texas at Dallas, Paul Gazzillo University of Central Florida
Pre-print Media Attached
11:00 - 12:30
Papers 8: Education and TrainingICSE SEET - Software Engineering Education and Training / ICSE SEIS - Software Engineering in Society at Room 306+307
Chair(s): Sira Vegas Universidad Politecnica de Madrid
11:00
5m
Talk
Attracting and Retaining OSS contributors with a Maintainer Dashboard
ICSE SEIS - Software Engineering in Society
Mariam Guizani Oregon State University, Thomas Zimmermann Microsoft Research, Anita Sarma Oregon State University, Denae Ford Microsoft Research
Pre-print Media Attached
11:05
5m
Talk
Guiding Peer-feedback in Learning Software Design using UML
ICSE SEET - Software Engineering Education and Training
Satrio Adi Rukmono Institut Teknologi Bandung, Michel Chaudron Eindhoven University of Technology, The Netherlands
Pre-print Media Attached
11:10
5m
Talk
ASPA: A Static Analyser to Support Learning and Continuous Feedback on Programming Courses. An Empirical Validation
ICSE SEET - Software Engineering Education and Training
Roope Luukkainen LUT University, Jussi Kasurinen LUT University, Uolevi Nikula LUT University, Valentina Lenarduzzi University of Oulu
DOI Pre-print Media Attached
11:15
5m
Talk
Preparing Software Engineers to Develop Robot Systems
ICSE SEET - Software Engineering Education and Training
Carl Hildebrandt University of Virginia, Meriel von Stein University of Virginia, Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia
DOI Pre-print Media Attached
11:20
5m
Talk
ITSS: Interactive Web-Based Authoring and Playback Integrated Environment for Programming Tutorials
ICSE SEET - Software Engineering Education and Training
Eng Lieh Ouh Singapore Management University, Benjamin Kok Siew Gan School of Computing and Information Systems, Singapore Management University, David Lo Singapore Management University
Pre-print Media Attached
11:25
5m
Talk
Global Software Engineering in a Global Classroom
ICSE SEET - Software Engineering Education and Training
Paul Schmiedmayer Technical University of Munich, Robert Chatley Imperial College London, Jan Philip Bernius Technical University of Munich, Stephan Krusche Technische Universität München, Konstantin Chaika St. Petersburg State Electrotechnical University "LETI", Kirill Krinkin St. Petersburg State Electrotechnical University "LETI", Bernd Bruegge Technical University of Munich
Link to publication DOI Pre-print Media Attached
11:30
5m
Talk
Debugging with Stack Overflow: Web Search Behavior in Novice and Expert Programmers
ICSE SEET - Software Engineering Education and Training
Annie Li University of Michigan, Madeline Endres University of Michigan, Westley Weimer University of Michigan
DOI Pre-print Media Attached
15:30 - 16:30
BoF 4: Tenure Strategy and AdviceICSE Birds of a Feather at Room 306+307
Chair(s): Claire Le Goues Carnegie Mellon University, Westley Weimer University of Michigan

External letters can feel like an uncertain part of a tenure case. Let’s demystify them! We may discuss related topics like how you can approach potential letter-writers, as well as how you can present your information to make it easier for writers to make strong letters. Come and discuss research, risk, reward, teaching, service and grants with faculty who have served on tenure committees and written letters.

16:30 - 17:30
BoF 8: Brainstorming Ways to Make Remote Work on Software Less OnerousICSE Birds of a Feather at Room 306+307
Chair(s): Dennis Mancl MSWX Software Experts

Remote work often feels like a death march. Why does this happen and what can we do about it? In this session, the goal is to have participants build up a list of questions/issues/pitfalls/tentative approaches.

Thu 26 May

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

09:00 - 10:30
Papers 10: Software Security 1ICSE Technical Track / ICSE SEIP - Software Engineering in Practice / ICSE Journal-First Papers at Room 306+307
Chair(s): Joshua Garcia University of California, Irvine
09:00
5m
Talk
The Case for Adaptive Security Interventions
ICSE Journal-First Papers
Irum Rauf The Open University, UK, Marian Petre The Open University, Thein Tun , Tamara Lopez The Open University, Paul Lunn The University of Manchester, UK, Dirk van der Linden Northumbria University, John Towse Department of Psychology, University of Lancaster, UK, Helen Sharp The Open University, Mark Levine Lancaster University, Awais Rashid University of Bristol, UK, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
Link to publication DOI Pre-print Media Attached
09:05
5m
Talk
Out of Sight, Out of Mind? How Vulnerable Dependencies Affect Open-Source Projects
ICSE Journal-First Papers
Gede Artha Azriadi Prana Singapore Management University, Abhishek Sharma Veracode, Inc., Lwin Khin Shar Singapore Management University, Darius Foo National University of Singapore, Andrew Santosa Veracode, Inc., Asankhaya Sharma Veracode, Inc., David Lo Singapore Management University
Pre-print Media Attached
09:10
5m
Talk
VulCNN: An Image-inspired Scalable Vulnerability Detection System
ICSE Technical Track
Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Shihan Dou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Duo Xu Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
DOI Pre-print Media Attached
09:15
5m
Talk
Deep Learning based Vulnerability Detection: Are We There Yet?
ICSE Journal-First Papers
Saikat Chakraborty Columbia University, Rahul Krishna IBM Research, Yangruibo Ding Columbia University, Baishakhi Ray Columbia University
Link to publication DOI Media Attached
09:20
5m
Talk
Practical Automated Detection of Malicious npm Packages
ICSE Technical Track
Adriana Sejfia University of Southern California, Max Schaefer GitHub, Inc.
Pre-print Media Attached
09:25
5m
Talk
Exploiting Input Sanitization for Regex Denial of Service
ICSE Technical Track
Efe Barlas Purdue University, Xin Du Purdue University, James C. Davis Purdue University, USA
DOI Pre-print Media Attached
09:30
5m
Talk
What are Weak Links in the npm Supply Chain?
ICSE SEIP - Software Engineering in Practice
Nusrat Zahan North Carolina State University, Laurie Williams North Carolina State University, Thomas Zimmermann Microsoft Research, Patrice Godefroid Microsoft Research, USA, Brendan Murphy Microsoft Research, Chandra Sekhar Maddila Microsoft Research
Pre-print Media Attached
09:35
5m
Talk
Rotten Apples Spoil the Bunch: An Anatomy of Google Play Malware
ICSE Technical Track
Michael Cao University of British Columbia, Khaled Ahmed University of British Columbia (UBC), Julia Rubin University of British Columbia
Pre-print Media Attached
09:40
5m
Talk
What the Fork? Finding Hidden Code Clones in npm
ICSE Technical Track
Elizabeth Wyss University of Kansas, Lorenzo De Carli Worcester Polytechnic Institute, Drew Davidson University of Kansas
DOI Pre-print Media Attached
11:00 - 12:30
11:00
5m
Talk
Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for PythonNominated for Distinguished Paper
ICSE Technical Track
Yun Peng The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Zongjie Li The Hong Kong University of Science and Technology, Bowei Gao Harbin Institute of Technology, Shenzhen, David Lo Singapore Management University, Qirun Zhang Georgia Institute of Technology, USA, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print Media Attached
11:05
5m
Talk
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
ICSE Journal-First Papers
Linghui Luo Amazon Web Services, Felix Pauck Paderborn University, Germany, Goran Piskachev Fraunhofer IEM, Manuel Benz Paderborn University, Ivan Pashchenko University of Trento, Martin Mory Paderborn University, Eric Bodden , Ben Hermann Technical University Dortmund, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
Link to publication DOI Pre-print Media Attached File Attached
11:10
5m
Talk
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
ICSE SEIP - Software Engineering in Practice
Saikat Dutta University of Illinois at Urbana-Champaign, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina, Shuvendu K. Lahiri Microsoft Research, Max Schaefer GitHub, Inc.
DOI Pre-print Media Attached
11:15
5m
Talk
DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs
ICSE Technical Track
Mohammad Wardat Dept. of Computer Science, Iowa State University, Breno Dantas Cruz Dept. of Computer Science, Iowa State University, Wei Le Iowa State University, Hridesh Rajan Iowa State University
Pre-print Media Attached
11:20
5m
Talk
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
ICSE Technical Track
Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University
DOI Pre-print Media Attached
11:25
5m
Talk
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award
ICSE Technical Track
Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University
Pre-print Media Attached
11:30
5m
Talk
Fast and Precise Application Code Analysis using a Partial Library
ICSE Technical Track
Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles
DOI Pre-print Media Attached
15:30 - 16:30
BoF 12: Extreme Startup WorkshopICSE Birds of a Feather at Room 306+307
Chair(s): Robert Chatley Imperial College London

This is a practical, fun, but instructive, coding-based workshop with themes around continuous delivery, lean startup, and a competitive element. Bring your laptop and take part to see who can score the most points in the coding game. Then we’ll reflect on what strategies worked well, what didn’t, and how the simulation compares to real life software engineering.

16:30 - 17:30
BoF 16: Wellbeing, Resilience, and BiohackingICSE Birds of a Feather at Room 306+307
Chair(s): Brittany Johnson George Mason University, Birgit Penzenstadler Chalmers

We have made it through a couple of intense years, with physical and mental health challenges. We know that we embed the values we hold into the systems we design, and these systems happen to run our world. Consequently, as software engineers and researchers we carry a special impact on society and the world at large. Under stress we tend to disconnect from our values - e.g., when I am really stressed, I may have a harder time being kind. That means taking care of our wellbeing and resilience not only ensures that we don’t burn out or bug out, but also that we develop better and more adequate systems to support a sustainable lifestyle. In this BoF session, we explore the different methods of how to increase wellbeing and resilience, and when and why it might be helpful to frame it in terms of biohacking. Wanna come hack wellbeing with us?

Fri 27 May

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

09:00 - 10:30
09:00
5m
Talk
Predicting the Objective and Priority of Issue Reports in Software Repositories
ICSE Journal-First Papers
Maliheh Izadi Sharif University of Technology, Kiana Akbari Sharif University of technology, Abbas Heydarnoori Sharif University of Technology
Link to publication DOI Pre-print Media Attached
09:05
5m
Talk
Using Deep Learning to Generate Complete Log Statements
ICSE Technical Track
Antonio Mastropaolo Università della Svizzera italiana, Luca Pascarella Università della Svizzera italiana (USI), Gabriele Bavota Software Institute, USI Università della Svizzera italiana
Pre-print Media Attached
09:10
5m
Talk
Better Modeling the Programming World with Code Concept Graphs-augmented Multi-modal Learning
ICSE NIER - New Ideas and Emerging Results
Martin Weyssow DIRO, Université de Montréal, Houari Sahraoui Université de Montréal, Bang Liu DIRO & Mila, Université de Montréal
Pre-print Media Attached
09:15
5m
Talk
"Project smells" — Experiences in Analysing the Software Quality of ML Projects with mllint
ICSE SEIP - Software Engineering in Practice
Bart van Oort Delft University of Technology, Luís Cruz Deflt University of Technology, Babak Loni ING Bank N.V., Arie van Deursen Delft University of Technology, Netherlands
Pre-print Media Attached
09:20
5m
Talk
Discovering Repetitive Code Changes in Python ML Systems
ICSE Technical Track
Malinda Dilhara University of Colorado Boulder, USA, Ameya Ketkar Oregon State University, USA, Nikhith Sannidhi University of Colorado Boulder, Danny Dig University of Colorado Boulder, USA
DOI Pre-print Media Attached
09:25
5m
Talk
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment
ICSE Technical Track
Maxime Cordy University of Luxembourg, Luxembourg, Renaud Rwemalika University of Luxembourg, Adriano Franci University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Mark Harman University College London
Pre-print Media Attached
09:30
5m
Talk
Semantic Image Fuzzing of AI Perception Systems
ICSE Technical Track
Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia, Kevin Sullivan University of Virginia
DOI Pre-print Media Attached
09:35
5m
Talk
Understanding and improving artifact sharing in software engineering research
ICSE Journal-First Papers
Christopher Steven Timperley Carnegie Mellon University, Lauren Herckis Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA
Link to publication DOI Pre-print Media Attached
09:40
5m
Talk
ARCLIN: Automated API Mention Resolution for Unformatted Texts
ICSE Technical Track
Yintong Huo The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Hongming Zhang The Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong
DOI Pre-print Media Attached
11:00 - 12:30
11:00
5m
Talk
Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers
ICSE NIER - New Ideas and Emerging Results
Michael Schröder TU Wien, Jürgen Cito TU Wien and Meta
Pre-print Media Attached
11:05
5m
Talk
Learning and Programming Challenges of Rust: A Mixed-Methods Study
ICSE Technical Track
Shuofei Zhu The Pennsylvania State University, Ziyi Zhang University of Wisconsin–Madison, Boqin Qin China Telecom Cloud Computing Corporation, Aiping Xiong The Pennsylvania State University, Linhai Song Pennsylvania State University, USA
DOI Pre-print Media Attached
11:10
5m
Talk
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage CollectorNominated for Distinguished Paper
ICSE Technical Track
Michael Coblenz University of Maryland at College Park, Michelle Mazurek University of Maryland, Michael Hicks University of Maryland at College Park
DOI Pre-print Media Attached
11:15
5m
Talk
How Do I Refactor This? An Empirical Study on Refactoring Trends and Topics in Stack Overflow
ICSE Journal-First Papers
Anthony Peruma Rochester Institute of Technology, Steven Simmons Rochester Institute of Technology, Eman Abdullah AlOmar Stevens Institute of Technology, Christian D. Newman Rochester Institute of Technology, Mohamed Wiem Mkaouer Rochester Institute of Technology, Ali Ouni ETS Montreal, University of Quebec
Link to publication DOI Pre-print Media Attached
11:20
5m
Talk
Industry’s Cry for Tools that Support Large-Scale Refactoring
ICSE SEIP - Software Engineering in Practice
James Ivers Carnegie Mellon University, USA, Robert Nord Software Engineering Institute, Ipek Ozkaya Carnegie Mellon Software Engineering Institute, Chris Seifried Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University, Marouane Kessentini Oakland University, USA
Pre-print Media Attached
11:25
5m
Talk
DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScriptBest Artifact Award
ICSE Technical Track
Alexi Turcotte Northeastern University, Michael D. Shah Northeastern University, USA, Mark W. Aldrich Tufts University, Frank Tip Northeastern University
Pre-print Media Attached
11:30
5m
Talk
Inferring And Applying Type Changes
ICSE Technical Track
Ameya Ketkar Oregon State University, USA, Oleg Smirnov JetBrains Research, Saint Petersburg State University, Nikolaos Tsantalis Concordia University, Danny Dig University of Colorado Boulder, USA, Timofey Bryksin JetBrains Research; HSE University
Pre-print Media Attached

Wed 25 May

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

Room9:0015304510:0015304511:00153045
Room 306+307

Thu 26 May

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

Room9:0015304510:0015304511:00153045
Room 306+307

Fri 27 May

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

Room9:0015304510:0015304511:00153045
Room 306+307