Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room nameBlended Sessions Room 5
Room Information

Technical sessions

Program

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

Tue 25 May

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

19:35 - 20:55
1.5.5. Developers: Naming Methods and VariablesICSE Technical Track / ICSE Journal-First Papers at Blended Sessions Room 5 +12h
Chair(s): José Miguel Rojas University of Leicester, UK
19:35
20m
Paper
How Developers Choose NamesJournal-First
ICSE Journal-First Papers
Dror Feitelson Hebrew University, Ayelet Mizrahi Hebrew University, Nofar Noy Hebrew University, Aviad Ben Shabat Hebrew University, Or Eliyahu Hebrew University, Roy Sheffer Hebrew University
Link to publication DOI Pre-print Media Attached
19:55
20m
Paper
IdBench: Evaluating Semantic Representations of Identifier Names in Source CodeTechnical Track
ICSE Technical Track
Yaza Wainakh TU Darmstadt, Moiz Rauf University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print Media Attached
20:15
20m
Paper
A Context-based Automated Approach for Method Name Consistency Checking and SuggestionTechnical Track
ICSE Technical Track
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
Pre-print Media Attached
20:35
20m
Paper
On the Naming of Methods: A Survey of Professional DevelopersArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Reem S. Alsuhaibani Kent State University, Christian D. Newman Rochester Institute of Technology, Michael J. Decker Bowling Green State University, Michael L. Collard The University of Akron, Jonathan I. Maletic Kent State University
Pre-print Media Attached

Wed 26 May

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

07:35 - 08:55
1.5.5. Developers: Naming Methods and VariablesICSE Technical Track / ICSE Journal-First Papers at Blended Sessions Room 5
07:35
20m
Paper
How Developers Choose NamesJournal-First
ICSE Journal-First Papers
Dror Feitelson Hebrew University, Ayelet Mizrahi Hebrew University, Nofar Noy Hebrew University, Aviad Ben Shabat Hebrew University, Or Eliyahu Hebrew University, Roy Sheffer Hebrew University
Link to publication DOI Pre-print Media Attached
07:55
20m
Paper
IdBench: Evaluating Semantic Representations of Identifier Names in Source CodeTechnical Track
ICSE Technical Track
Yaza Wainakh TU Darmstadt, Moiz Rauf University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print Media Attached
08:15
20m
Paper
A Context-based Automated Approach for Method Name Consistency Checking and SuggestionTechnical Track
ICSE Technical Track
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas
Pre-print Media Attached
08:35
20m
Paper
On the Naming of Methods: A Survey of Professional DevelopersArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Reem S. Alsuhaibani Kent State University, Christian D. Newman Rochester Institute of Technology, Michael J. Decker Bowling Green State University, Michael L. Collard The University of Akron, Jonathan I. Maletic Kent State University
Pre-print Media Attached
11:20 - 12:20
2.1.5. Code Review: Observational StudiesICSE Journal-First Papers at Blended Sessions Room 5 +12h
Chair(s): Sira Vegas Universidad Politecnica de Madrid
11:20
20m
Paper
Review Dynamics and Their Impact on Software QualityJournal-First
ICSE Journal-First Papers
Patanamon Thongtanunam University of Melbourne, Ahmed E. Hassan School of Computing, Queen's University
DOI Pre-print Media Attached
11:40
20m
Paper
Code Reviews with Divergent Review Scores: An Empirical Study of the OpenStack and Qt CommunitiesJournal-First
ICSE Journal-First Papers
Toshiki Hirao dTosh Inc.,, Shane McIntosh , Akinori Ihara Wakayama University, Kenichi Matsumoto Nara Institute of Science and Technology
DOI Pre-print Media Attached
12:00
20m
Paper
A Longitudinal Study of Static Analysis Warning Evolution and the Effects of PMD on Software Quality in Apache Open Source ProjectsJournal-First
ICSE Journal-First Papers
Alexander Trautsch University of Göttingen, Steffen Herbold University of Göttingen, Jens Grabowski University of Göttingen
Link to publication DOI Pre-print Media Attached
12:55 - 13:55
2.2.5. Deep Neural Networks: HackingICSE SEIP - Software Engineering in Practice / ICSE Technical Track at Blended Sessions Room 5 +12h
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
12:55
20m
Paper
Robustness of on-device Models: Adversarial Attack to Deep Learning Models on Android AppsSEIP
ICSE SEIP - Software Engineering in Practice
Yujin Huang Faculty of Information Technology, Monash University, Han Hu Faculty of Information Technology, Monash University, Chunyang Chen Monash University
Pre-print Media Attached
13:15
20m
Paper
DeepBackdoor: Black-box Backdoor Attack on Deep Learning Models through Neural Payload InjectionTechnical Track
ICSE Technical Track
Yuanchun Li Microsoft Research, Jiayi Hua Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications, Chunyang Chen Monash University, Yunxin Liu Microsoft Research
Pre-print Media Attached
13:35
20m
Paper
Reducing DNN Properties to Enable Falsification with Adversarial AttacksArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
David Shriver University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
Link to publication DOI Pre-print Media Attached
14:30 - 15:25
2.3.5. Handling Ecosystems of Forked ProjectsICSE Technical Track / ICSE NIER - New Ideas and Emerging Results at Blended Sessions Room 5 +12h
Chair(s): Claudia Ayala Universitat Politècnica de Catalunya, Spain
14:30
20m
Paper
Same File, Different Changes: The Potential of Meta-Maintenance on GitHubArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Hideaki Hata Shinshu University, Raula Gaikovina Kula NAIST, Takashi Ishio Nara Institute of Science and Technology, Christoph Treude University of Adelaide
DOI Pre-print Media Attached
14:50
15m
Paper
Semi-Automated Test-Case Propagation in Fork EcosystemsNIER
ICSE NIER - New Ideas and Emerging Results
Mukelabai Mukelabai Chalmers | University of Gothenburg, Thorsten Berger Chalmers | University of Gothenburg, Paulo Borba Federal University of Pernambuco
Pre-print Media Attached
15:05
20m
Paper
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical AnalysisTechnical Track
ICSE Technical Track
Rangeet Pan Dept. of Computer Science, Iowa State University, Vu Le Microsoft, Nachiappan Nagappan Microsoft Research, Sumit Gulwani Microsoft, Shuvendu K. Lahiri Microsoft, Mike Kaufman Microsoft
Pre-print Media Attached

Thu 27 May

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

00:55 - 01:55
00:55
20m
Paper
Robustness of on-device Models: Adversarial Attack to Deep Learning Models on Android AppsSEIP
ICSE SEIP - Software Engineering in Practice
Yujin Huang Faculty of Information Technology, Monash University, Han Hu Faculty of Information Technology, Monash University, Chunyang Chen Monash University
Pre-print Media Attached
01:15
20m
Paper
DeepBackdoor: Black-box Backdoor Attack on Deep Learning Models through Neural Payload InjectionTechnical Track
ICSE Technical Track
Yuanchun Li Microsoft Research, Jiayi Hua Beijing University of Posts and Telecommunications, Haoyu Wang Beijing University of Posts and Telecommunications, Chunyang Chen Monash University, Yunxin Liu Microsoft Research
Pre-print Media Attached
01:35
20m
Paper
Reducing DNN Properties to Enable Falsification with Adversarial AttacksArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
David Shriver University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
Link to publication DOI Pre-print Media Attached
02:30 - 03:25
02:30
20m
Paper
Same File, Different Changes: The Potential of Meta-Maintenance on GitHubArtifact ReusableTechnical TrackArtifact Available
ICSE Technical Track
Hideaki Hata Shinshu University, Raula Gaikovina Kula NAIST, Takashi Ishio Nara Institute of Science and Technology, Christoph Treude University of Adelaide
DOI Pre-print Media Attached
02:50
15m
Paper
Semi-Automated Test-Case Propagation in Fork EcosystemsNIER
ICSE NIER - New Ideas and Emerging Results
Mukelabai Mukelabai Chalmers | University of Gothenburg, Thorsten Berger Chalmers | University of Gothenburg, Paulo Borba Federal University of Pernambuco
Pre-print Media Attached
03:05
20m
Paper
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical AnalysisTechnical Track
ICSE Technical Track
Rangeet Pan Dept. of Computer Science, Iowa State University, Vu Le Microsoft, Nachiappan Nagappan Microsoft Research, Sumit Gulwani Microsoft, Shuvendu K. Lahiri Microsoft, Mike Kaufman Microsoft
Pre-print Media Attached

Wed 26 May

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Blended Sessions Room 5