Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
VenueMain Conference
Room nameDemonstration Room
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

Conference Day
Wed 26 May

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

10:45 - 11:15
2.1. Evolution 1DEMO - Demonstrations at Demonstration Room
Chair(s): Giuseppe ScannielloUniversity of Basilicata

Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

10:45
30m
Demonstration
MigrationAdvisor: Recommending Library Migrations from Large-Scale Open-Source DataDemonstration
DEMO - Demonstrations
Hao HePeking University, Yulin XuPeking University, Xiao ChengHuawei Technologies Co., Ltd., Guangtai LiangHuawei Technologies Co. Ltd, Minghui ZhouPeking University, China
Pre-print Media Attached
10:45
30m
Demonstration
AndroEvolve: Automated Update for Android Deprecated-API UsagesDemonstration
DEMO - Demonstrations
Stefanus Agus HaryonoSingapore Management University, Ferdian Thung, David LoSingapore Management University, Lingxiao JiangSingapore Management University, Julia LawallInria, Hong Jin Kang, Lucas SerranoSorbonne University/Inria/LIP6, Gilles MullerInria
Pre-print Media Attached
10:45
30m
Demonstration
GraphGallery: A Platform for Fast Benchmarking and Easy Development of Graph Neural Networks Based Intelligent SoftwareDemonstration
DEMO - Demonstrations
Jintang LiSun Yat-sen University, Kun XuSun Yat-sen University, Liang ChenSchool of Data and Computer Science, Sun Yat-sen University, Zibin ZhengSchool of Data and Computer Science, Sun Yat-sen University, Xiao LiuSchool of Information Technology, Deakin University
Pre-print Media Attached
10:45
30m
Demonstration
BLOCKEYE: Hunting For DeFi Attacks on BlockchainDemonstration
DEMO - Demonstrations
Bin WangOxford-Hainan Blockchain Research Institute, Hainan, China, Han LiuTsinghua University, Chao LiuOxford-Hainan Blockchain Research Institute, Hainan, China, Zhiqiang YangOxford-Hainan Blockchain Research Institute, Qian RenOxford-Hainan Blockchain Research Institute, Hainan, China, Huixuan ZhengOxford-Hainan Blockchain Research Institute, Hong LeiOxford-Hainan Blockchain Research Institute, Hainan, China
Pre-print Media Attached
10:45
30m
Demonstration
APIScanner - Towards Automated Detection of Deprecated APIs in Python LibrariesDemonstration
DEMO - Demonstrations
Aparna VadlamaniIndian Institute of Technology Tirupati, Rishitha KalichetiIndian Institute of Technology Tirupati, Sridhar ChimalakondaIndian Institute of Technology Tirupati
Link to publication Pre-print Media Attached
18:15 - 18:45
2.2. VerificationDEMO - Demonstrations at Demonstration Room
Chair(s): Francisco ServantVirginia Tech

Each demo makes a 1-minute presentation (displayed in the Demo room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

18:15
30m
Demonstration
Metrinome: Path Complexity Predicts Symbolic Execution Path ExplosionDemonstration
DEMO - Demonstrations
Gabriel BesslerHarvey Mudd College, Josh CordovaHarvey Mudd College, Shaheen Cullen-BaratlooHarvey Mudd College, Sofiane DissemHarvey Mudd College, Emily LuScripps College, Ibrahim AbughararhHarvey Mudd College, Sofia DevinHarvey Mudd College, Lucas BangHarvey Mudd College
Pre-print Media Attached
18:15
30m
Demonstration
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep LearningDemonstration
DEMO - Demonstrations
Pengyu NieUniversity of Texas at Austin, Karl PalmskogKTH Royal Institute of Technology, Junyi Jessy LiUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin
Pre-print Media Attached
18:15
30m
Demonstration
NEUROSPF: A Tool For the Symbolic Analysis of Neural NetworksDemonstration
DEMO - Demonstrations
Muhammad UsmanUniversity of Texas at Austin, USA, Yannic NollerNational University of Singapore, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Youcheng SunQueen's University Belfast, UK, Divya GopinathNASA Ames (KBR Inc.)
Pre-print Media Attached

Conference Day
Thu 27 May

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

14:30 - 15:00
3.1. Evolution 2DEMO - Demonstrations at Demonstration Room
Chair(s): Giuseppe ScannielloUniversity of Basilicata

Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

14:30
30m
Demonstration
The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with DevelopmentDemonstration
DEMO - Demonstrations
Thibault AllançonEPITA / LRDE, Antoine PietriInria, Stefano ZacchiroliUniversité de Paris and Inria
Pre-print Media Attached
14:30
30m
Demonstration
Guiding engineers with the Passive Process Engine EnvironmentDemonstration
DEMO - Demonstrations
Christoph Mayr-DornJohannes Kepler University, Linz, Stefan BichlerJOHANNES KEPLER UNIVERSITY LINZ, Felix KeplingerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJohannes Kepler University
Pre-print Media Attached
14:30
30m
Demonstration
Creating and Migrating Chatbots with CongaDemonstration
DEMO - Demonstrations
Sara Perez-SolerUniversidad Autónoma de Madrid, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraAutonomous University of Madrid
Pre-print Media Attached
14:30
30m
Demonstration
Robot Runner: A Tool for Automatically Executing Experiments on Robotics SoftwareDemonstration
DEMO - Demonstrations
Stan SwanbornVrije Universiteit Amsterdam, The Netherlands, Ivano MalavoltaVrije Universiteit Amsterdam
Pre-print Media Attached
14:30
30m
Demonstration
R-MOZART: A Reconfiguration Tool for WebThings ApplicationsDemonstration
DEMO - Demonstrations
Francisco DuránUniversity of Málaga, Spain, Ajay KrishnaInria Grenoble, France, Michel Le PallecNokia Bell Labs, Radu MateescuINRIA, Gwen SalaünUniversity of Grenoble Alpes
Pre-print Media Attached
18:45 - 19:15
3.2. Testing 1DEMO - Demonstrations at Demonstration Room
Chair(s): Francisco ServantVirginia Tech

Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

18:45
30m
Demonstration
Efficient Fuzz Testing for Apache Spark Using Framework AbstractionDemonstration
DEMO - Demonstrations
Qian ZhangUniversity of California, Los Angeles, Jiyuan WangUniversity of California, Los Angeles, Muhammad Ali GulzarVirginia Tech, Rohan PadhyeCarnegie Mellon University, Miryung KimUniversity of California at Los Angeles, USA
Pre-print Media Attached
18:45
30m
Demonstration
Quartermaster: A Tool for Modeling and Simulating System DegradationDemonstration
DEMO - Demonstrations
Matthew PopeBrigham Young University, Jonathan SillitoBrigham Young University
Pre-print Media Attached
18:45
30m
Demonstration
μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for AndroidDemonstration
DEMO - Demonstrations
Amit Seal AmiWilliam & Mary, Kaushal KafleCollege of William & Mary, Kevin MoranGeorge Mason University, Adwait NadkarniWilliam & Mary, Denys PoshyvanykCollege of William & Mary
Pre-print Media Attached
20:15 - 20:45
3.3. Evolution 3DEMO - Demonstrations at Demonstration Room
Chair(s): Francisco ServantVirginia Tech

Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

20:15
30m
Demonstration
V2S: A Tool for Translating Video Recordings of Mobile App Usages into Replayable ScenariosDemonstration
DEMO - Demonstrations
Madeleine HavranekWilliam & Mary, Carlos Bernal-CárdenasMicrosoft, Nathan CooperWilliam & Mary, Oscar ChaparroCollege of William & Mary, Denys PoshyvanykCollege of William & Mary, Kevin MoranGeorge Mason University
Pre-print Media Attached
20:15
30m
Demonstration
gazel: Supporting Source Code Edits in Eye-Tracking StudiesDemonstration
DEMO - Demonstrations
Sarah FakhouryWashington State University, Devjeet RoyWashington State University, Harry PinesWashington State University, Tyler ClevelandWashington State University, Cole S. PetersonUniversity of Nebraska-Lincoln, USA, Venera ArnaoudovaWashington State University, Bonita SharifUniversity of Nebraska-Lincoln, USA, Jonathan I. MaleticKent State University
Pre-print Media Attached
20:15
30m
Demonstration
COSTER: A Tool for Finding Fully Qualified Names of API Elements in Online Code SnippetsDemonstration
DEMO - Demonstrations
C M Khaled SaifullahDepartment of Computer Science, University of Saskatchewan, Muhammad AsaduzzamanQueen�s University, Chanchal K. RoyUniversity of Saskatchewan
Pre-print Media Attached

Conference Day
Fri 28 May

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

10:55 - 11:25
4.1. Testing 2DEMO - Demonstrations at Demonstration Room
Chair(s): Giuseppe ScannielloUniversity of Basilicata

Each demo makes a 1-minute presentation (displayed in the Demonstration room). At the end of each presentation, a breakout room will be created for each demo. Attendees will be able to join and discuss with the authors.

10:55
30m
Demonstration
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array GenerationDemonstration
DEMO - Demonstrations
Jinkun LinState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Shaowei CaiInstitute of Software at Chinese Academy of Sciences, China, Bing HeMicrosoft Research, China, Yingjie FuPeking University, China, Chuan LuoMicrosoft Research, China, Qingwei LinMicrosoft Research, Beijing, China
Pre-print Media Attached
10:55
30m
Demonstration
GAssert: A Fully Automated Tool to Improve Assertion OraclesDemonstration
DEMO - Demonstrations
Valerio TerragniThe University of Auckland, Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland, Mauro PezzeUSI Lugano, Switzerland
Pre-print Media Attached
10:55
30m
Demonstration
UIS-Hunter: Detecting UI Design Smells in Android AppsDemonstration
DEMO - Demonstrations
Bo YangZhejiang University, Zhenchang XingAustralian National University, Xin XiaHuawei Software Engineering Application Technology Lab, Chunyang ChenMonash University, Deheng YeTencent AI Lab, Shanping LiZhejiang University
Pre-print Media Attached
10:55
30m
Demonstration
Testing Framework for Black-box AI ModelsDemonstration
DEMO - Demonstrations
Aniya AggarwalIBM Research, India, Samiulla ShaikhIBM Research, India, Sandeep HansIBM India Research Lab, Swastik HaldarIBM Research, India, Rema AnanthanarayananIBM Research, India, Diptikalyan SahaIBM Research India
Pre-print Media Attached

Conference Day
Wed 26 May

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Demonstration Room

Conference Day
Thu 27 May

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

Conference Day
Fri 28 May

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