ICSE is the premier forum for presenting and discussing the most recent and significant technical research contributions in the field of Software Engineering. We invite high quality submissions of technical research papers describing original and unpublished results of software engineering research. We welcome submissions addressing topics across the full spectrum of Software Engineering.
Dates
Tracks
Tue 7 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change
07:00 - 08:00: Paper Presentations - I1-Metastudies at Baekje Chair(s): Michael VierhauserJohannes Kepler University Linz | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | He ZhangNanjing University, Xin ZhouState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Xin HuangState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Huang HuangState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Muhammad Ali BabarThe University of Adelaide | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:20 Talk | Zhi Quan (George) ZhouUniversity of Wollongong, Australia, T.H. TseThe University of Hong Kong, Matt WitheridgeUniversity of Wollongong | |||||||||||||||||||||||||||||||||||||||||
| 07:20 - 07:28 Talk | Adrian Santos ParrillaUniversity of Oulu, Sira VegasUniversidad Politecnica de Madrid, Markku OivoUniversity of Oulu, Natalia JuristoUniversidad Politecnica de Madrid | |||||||||||||||||||||||||||||||||||||||||
| 07:28 - 07:31 Talk | Andreas HinderksUniversity of Seville, Francisco José Domínguez MayoUniversity of Seville, Jörg ThomaschewskiUniversity of Applied Sciences Emden/Leer, María José EscalonaUniversity of Seville | |||||||||||||||||||||||||||||||||||||||||
| 07:31 - 07:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07:37 - 07:45 Talk | Alessandro Vittorio PapadopoulosMälardalen University, Laurens VersluisVrije Universiteit Amsterdam, André BauerUniversity of Würzburg, Nikolas HerbstUniversity of Würzburg, Joakim von KistowskiUniversity of Würzburg, Ahmed Ali-EldinUMass Amherst, Cristina L. AbadEscuela Superior Politecnica del Litoral, Jose Nelson AmaralUniversity of Alberta, Petr TumaCharles University, Alexandru IosupVrije Universiteit Amsterdam | |||||||||||||||||||||||||||||||||||||||||
| 07:45 - 07:53 Talk | Carlo A. FuriaUniversità della Svizzera italiana (USI), Robert FeldtChalmers | University of Gothenburg, Blekinge Institute of Technology, Richard TorkarChalmers and the University of Gothenburg DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
07:00 - 08:00: Paper Presentations - I2-Security at Goguryeo Chair(s): Andrea StoccoUniversità della Svizzera italiana | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:24 Talk | Yannic NollerHumboldt-Universität zu Berlin, Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Marcel BöhmeMonash University, Youcheng SunQueen's University Belfast, Hoang Lam NguyenHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:24 - 07:36 Talk | Xiyue ZhangPeking University, Xiaofei XieNanyang Technological University, Lei MaKyushu University, Xiaoning DuNanyang Technological University, Qiang HuKyushu University, Japan, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Meng SunPeking University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:36 - 07:48 Talk | Anastasia DanilovaUniversity of Bonn, Alena NaiakshinaUniversity of Bonn, Matthew SmithUniversity of Bonn, Fraunhofer FKIE | |||||||||||||||||||||||||||||||||||||||||
| 07:48 - 07:54 Talk | Gian Luca ScocciaUniversity of L'Aquila, Matteo Maria FioreUniversity of L'Aquila, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Marco AutiliUniversity of L'Aquila, Italy, Paola InverardiUniversity of L'Aquila, Alejandro RussoChalmers University of Technology, Sweden | |||||||||||||||||||||||||||||||||||||||||
| 07:54 - 08:00 Talk | Koen Yskoutimec - DistriNet, KU Leuven, Thomas HeymanToreon, Dimitri Van LanduytKatholieke Universiteit Leuven, Laurens Sionimec-DistriNet, KU Leuven, Kim Wuytsimec-DistriNet, KU Leuven, Wouter JoosenKatholieke Universiteit Leuven Pre-print | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I4-Clones and Changes at Baekje Chair(s): Chanchal K. RoyUniversity of Saskatchewan | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:17 Talk | Weijie ZhouNorth Carolina State University, Yue ZhaoNCSU, Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
| 08:17 - 08:29 Talk | Thong HoangSingapore Management University, Singapore, Kang Hong JinSchool of Information Systems, Singapore Management University, Julia LawallInria, David LoSingapore Management University | |||||||||||||||||||||||||||||||||||||||||
| 08:29 - 08:35 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:35 - 08:43 Talk | Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:43 - 08:51 Talk | Afnan Al-SubaihinKing Saud University, Federica SarroUniversity College London, UK, Sue BlackDurham University, Licia CapraUniversity College London Link to publication DOI Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:51 - 08:54 Talk | Chunyang ChenMonash University | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I5-Deep Learning Testing and Debugging at Goguryeo Chair(s): Pooyan JamshidiUniversity of South Carolina | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:17 Talk | Huiyan WangState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Jingwei XuNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 08:17 - 08:29 Talk | Peixin ZhangZhejiang University, Jingyi WangNational University of Singapore, Singapore, Jun SunSingapore Management University, Guoliang DongComputer College of Zhejiang University, Xinyu WangZhejiang University, Xingen WangZhejiang University, Jin Song DongNational University of Singapore, Dai TingHuawei Corporation | |||||||||||||||||||||||||||||||||||||||||
| 08:29 - 08:32 Talk | Salah GhamiziSntT - University of Luxembourg, Maxime CordySnT, University of Luxembourg, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 08:32 - 08:35 Talk | Yongqiang TIANThe Hong Kong University of Science and Technology, Zhihua ZengZhejiang University, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Tzu-yang KuoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:35 - 08:47 Talk | Nargiz HumbatovaUniversità della Svizzera italiana, Gunel JahangirovaUniversità della Svizzera italiana, Gabriele BavotaUniversità della Svizzera italiana, Vincenzo RiccioUniversità della Svizzera italiana, Andrea StoccoUniversità della Svizzera italiana, Paolo TonellaUniversità della Svizzera italiana | |||||||||||||||||||||||||||||||||||||||||
| 08:47 - 08:59 Talk | Ru ZhangMicrosoft Research, Wencong XiaoAlibaba, Hongyu ZhangUniversity of Newcastle, Australia, Yu LiuMicrosoft Research, Haoxiang LinMicrosoft Research, Mao YangMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I6-Empirical Studies and Requirements at Silla Chair(s): Ita RichardsonLero - The Irish Software Research Centre and University of Limerick | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:13 Talk | Junxiao HanZhejiang University, Emad ShihabConcordia University, Zhiyuan WanZhejiang University, Shuiguang DengZhejiang University, Xin XiaMonash University | |||||||||||||||||||||||||||||||||||||||||
| 08:13 - 08:25 Talk | Lin ShiISCAS, Mingzhe XingISCAS, Mingyang LiISCAS, Yawen WangISCAS, Shoubin LiISCAS, Qing WangInstitute of Software, Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 08:25 - 08:33 Talk | Miroslaw OchodekPoznan University of Technology, Regina HebigChalmers University of Technology & University of Gothenburg, Wilhelm MedingEricsson, Gert FrostGrundfos, Miroslaw StaronUniversity of Gothenburg | |||||||||||||||||||||||||||||||||||||||||
| 08:33 - 08:45 Talk | Junjie WangInstitute of Software, Chinese Academy of Sciences, Ye YangStevens institute of technology, Song WangYork University, Yuanzhe HuInstitute of Software, Chinese Academy of Sciences, Dandan WangInstitute of Software, Chinese Academy of Sciences, Qing WangInstitute of Software, Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 08:57 Talk | Anton StrandEricsson AB, Markus GunnarssonEricsson AB, Ricardo BrittoEricsson / Blekinge Institute of Technology, Muhammad UsmanBlekinge Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Chunyang ChenMonash University | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Yongqiang TIANThe Hong Kong University of Science and Technology, Zhihua ZengZhejiang University, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Tzu-yang KuoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Andreas HinderksUniversity of Seville, Francisco José Domínguez MayoUniversity of Seville, Jörg ThomaschewskiUniversity of Applied Sciences Emden/Leer, María José EscalonaUniversity of Seville | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Salah GhamiziSntT - University of Luxembourg, Maxime CordySnT, University of Luxembourg, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A1-Autonomous Driving Systems at Baekje Chair(s): Donghwan ShinUniversity of Luxembourg (SnT) | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Sohil Lal ShresthaThe University of Texas at Arlington, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:24 Talk | Husheng ZhouThe University of Texas at Dallas, Wei LiSouthern University of Science and Technology, Zelun KongThe University of Texas at Dallas, Junfeng GuoThe University of Texas at Dallas, Yuqun ZhangSouthern University of Science and Technology, Lingming ZhangThe University of Texas at Dallas, Bei YuThe Chinese University of Hong Kong, Cong LiuUT Dallas | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:36 Talk | Andrea StoccoUniversità della Svizzera italiana, Michael WeissUniversità della Svizzera Italiana (USI), Marco CalzanaUniversità della Svizzera Italiana (USI), Paolo TonellaUniversità della Svizzera italiana Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:36 - 15:48 Talk | Claudio MenghiUniversity of Luxembourg, Shiva NejatiUniversity of Ottawa, Lionel BriandSnT Centre/University of Luxembourg, Yago Isasi ParacheLuxSpace | |||||||||||||||||||||||||||||||||||||||||
| 15:48 - 16:00 Talk | Joshua GarciaUniversity of California, Irvine, Yang FengNanjing University, Junjie ShenUniversity of California, Irvine, Sumaya AlmaneeUniversity of California, Irvine, Yuan XiaUniversity of California, Irvine, Qi Alfred ChenUniversity of California, Irvine | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A2-Testing and Debugging 1 at Goguryeo Chair(s): Na MengVirginia Tech | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | Authorizer link Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:24 Talk | Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:32 Talk | Yi ZengConcordia University, Jinfu ChenConcordia University, Canada, Weiyi ShangConcordia University, Tse-Hsun (Peter) ChenConcordia University Authorizer link Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:32 - 15:38 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:38 - 15:46 Talk | Rubing HuangJiangsu University, Weifeng SunJiangsu University, Yinyin XuJiangsu University, Haibo ChenJiangsu University, Dave ToweyUniversity of Nottingham Ningbo China, Xin XiaMonash University | |||||||||||||||||||||||||||||||||||||||||
| 15:46 - 15:58 Talk | Nathan ChongAmazon, Byron CookAmazon, Konstantinos KallasUniversity of Pennsylvania, Kareem KhazemAmazon, Felipe R. MonteiroAmazon, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n., Michael TautschnigAmazon Web Services, Mark R. TuttleAmazon Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A3-Code Summarization at Silla Chair(s): Shaohua WangNew Jersey Institute of Technology, USA | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | Profir-Petru PârțachiUniversity College London, Santanu Kumar DashUniversity College London, UK, Christoph TreudeThe University of Adelaide, Earl T. BarrUniversity College London, UK Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:24 Talk | Juan ZhaiRutgers University, Xiangzhe XuNanjing University, Yu ShiPurdue University, Guanhong TaoPurdue University, Minxue PanNanjing University, Shiqing MaRutgers University, Lei XuNational Key Laboratory for Novel Software Technology, Nanjing University, Weifeng ZhangNanjing University of Posts and Telecommunications, Lin TanPurdue University, Xiangyu ZhangPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:36 Talk | Son NguyenThe University of Texas at Dallas, Hung Phan, Trinh LeUniversity of Engineering and Technology, Tien N. NguyenUniversity of Texas at Dallas Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:36 - 15:42 Talk | Annie LouisUniversity of Edinburgh, Santanu Kumar DashUniversity College London, UK, Earl T. BarrUniversity College London, UK, Michael D. ErnstUniversity of Washington, USA, Charles SuttonGoogle Research | |||||||||||||||||||||||||||||||||||||||||
| 15:42 - 15:54 Talk | Jian ZhangBeihang University, Xu WangBeihang University, Hongyu ZhangUniversity of Newcastle, Australia, Hailong SunBeihang University, Xudong LiuBeihang University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:54 - 16:00 Talk | Casey CasalnuovoUniversity of California at Davis, USA, Earl T. BarrUniversity College London, UK, Santanu Kumar DashUniversity College London, UK, Prem DevanbuUniversity of California, Emily MorganUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A4-Cyber-Physical Systems at Baekje Chair(s): Joanne M. AtleeUniversity of Waterloo | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:17 Talk | Dalal AlrajehImperial College London, Antoine CailliauICTEAM, UCLouvain, Axel van LamsweerdeUniversité catholique de Louvain | |||||||||||||||||||||||||||||||||||||||||
| 16:17 - 16:29 Talk | Alessio FerrariCNR-ISTI, Franco MazzantiISTI-CNR, Davide BasileUniversity of Florence, Maurice H. ter BeekISTI-CNR, Alessandro FantechiUniversity of Florence DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:29 - 16:32 Talk | Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Sohil Lal ShresthaThe University of Texas at Arlington, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington Link to publication DOI Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:32 - 16:44 Talk | Anders Fischer-NielsenIT University of Copenhagen, Zhoulai FuIT University of Copenhagen, Denmark, Ting SuETH Zurich, Switzerland, Andrzej WąsowskiIT University of Copenhagen, Denmark Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:44 - 16:47 Talk | Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University, Czech Republic | |||||||||||||||||||||||||||||||||||||||||
| 16:47 - 16:59 Talk | Ivano MalavoltaVrije Universiteit Amsterdam, Grace LewisCarnegie Mellon Software Engineering Institute, Bradley SchmerlCarnegie Mellon University, USA, Patricia LagoVrije Universiteit Amsterdam, David GarlanCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A5-Testing and Debugging 2 at Goguryeo Chair(s): Marcelo d'AmorimFederal University of Pernambuco | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:17 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:17 - 16:29 Talk | Wing LamUniversity of Illinois at Urbana-Champaign, Kıvanç MuşluMicrosoft, Hitesh SajnaniMicrosoft , Suresh ThummalapentaMicrosoft | |||||||||||||||||||||||||||||||||||||||||
| 16:29 - 16:35 Talk | Andriy MiranskyyRyerson University, Lei ZhangRyerson University, Javad DoliskaniRyerson University, Toronto, Canada Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 16:38 Talk | Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC | |||||||||||||||||||||||||||||||||||||||||
| 16:38 - 16:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 16:53 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:53 - 16:59 Talk | Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia | |||||||||||||||||||||||||||||||||||||||||
Wed 8 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
Wed 8 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change
00:00 - 01:00: Paper Presentations - P7-Human Aspects at Baekje Chair(s): Mei NagappanUniversity of Waterloo | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:08 Talk | Emerson Murphy-HillGoogle, Ciera Jaspan, Caitlin SadowskiGoogle, David C. ShepherdVirginia Commonwealth University, Michael PhillipsNational Instruments, Collin WinterWaymo, Andrea Knight, Edward SmithBloomberg LP, Matthew JordeGoogle, Inc. | |||||||||||||||||||||||||||||||||||||||||
| 00:08 - 00:14 Talk | Kashumi MadampeMonash University, Australia, Rashina HodaMonash University, Paramvir SinghThe University of Auckland Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:14 - 00:26 Talk | A Study on the Prevalence of Human Values in Software Engineering Publications, 2015 – 2018Technical Jon WhittleMonash University, Gillian OliverFaculty of Information Technology, Monash University, Waqar HussainMonash University, Davoud MougoueiFaculty of Information Technology, Monash University, Harsha PereraMonash University, Arif NurwidyantoroFaculty of Information Technology, Monash University, Rifat ShamsMonash University | |||||||||||||||||||||||||||||||||||||||||
| 00:26 - 00:38 Talk | Carolyn EgelmanGoogle, Emerson Murphy-HillGoogle, Liz KammerGoogle, Margaret Morrow HodgesGoogle, Collin GreenGoogle, Ciera Jaspan, James LinGoogle Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:38 - 00:50 Talk | Claudia HilderbrandOregon State University, Christopher PerdriauOregon State University, Lara LetawOregon State University, Jillian EmardOregon State University, Zoe Steine-HansonOregon State University, Margaret BurnettOregon State University, Anita SarmaOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 00:50 - 00:58 Talk | Zhiyuan WanZhejiang University, Xin XiaMonash University, David LoSingapore Management University, Gail MurphyUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
00:00 - 01:00: Paper Presentations - P9-Bugs and Repair at Silla Chair(s): Yingfei XiongPeking University, China | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:12 Talk | Xindong ZhangAlibaba Group, Chenguang ZhuUniversity of Texas, Austin, Yi LiNanyang Technological University, Jianmei GuoAlibaba Group, Lihua LiuAlibaba Group, Haobo GuAlibaba Group Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | Kui LiuNanjing University of Aeronautics and Astronautics, Shangwen WangNational University of Defense Technology, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Kisub KimUniversity of Luxembourg, SnT, Tegawendé F. BissyandéSnT, University of Luxembourg, Dongsun KimFuriosa.ai, Peng WuNational University of Defense Technology, Jacques KleinUniversity of Luxembourg, SnT, Xiaoguang MaoNational University of Defense Technology, Yves Le TraonUniversity of Luxembourg Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:32 Talk | Zimin ChenKTH Royal Institute of Technology, Steve KommruschColorado State University, Michele TufanoCollege of William and Mary, Louis-Noël PouchetColorado State University, USA, Denys PoshyvanykWilliam and Mary, Martin MonperrusKTH Royal Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 00:32 - 00:40 Talk | Jie M. ZhangUniversity College London, UK, Feng Li, Dan HaoPeking University, Meng WangUniversity of Bristol, UK, Hao TangPeking University, Lu ZhangPeking University, China, Mark HarmanFacebook and University College London | |||||||||||||||||||||||||||||||||||||||||
| 00:40 - 00:52 Talk | Shuyue LiXi'an Jiaotong University, Jiaqi GuoXi'an Jiaotong University, Ming FanXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University | |||||||||||||||||||||||||||||||||||||||||
| 00:52 - 00:58 Talk | Rodrigo AlmeidaFederal University of Ceará, Joseane PaivaFederal University of Ceará, Rossana AndradeFederal University of Ceará, Ticianne DarinFederal University of Ceará | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P10-Stack Overflow at Baekje Chair(s): Emerson Murphy-HillGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:13 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 01:13 - 01:21 Talk | Jiayuan ZhouQueen's University, Shaowei WangMississippi State University, Cor-Paul BezemerUniversity of Alberta, Canada, Ahmed E. HassanQueen's University | |||||||||||||||||||||||||||||||||||||||||
| 01:21 - 01:29 Talk | Ahmad AbdellatifConcordia University, Khaled BadranConcordia University, Emad ShihabConcordia University DOI | |||||||||||||||||||||||||||||||||||||||||
| 01:29 - 01:35 Talk | Laszlo TothUniversity of Szeged, Hungary, Balázs NagyUniversity of Szeged, Hungary, László VidácsUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary | |||||||||||||||||||||||||||||||||||||||||
| 01:35 - 01:47 Talk | Alex CummaudoDeakin University, Rajesh VasaDeakin University, Scott BarnettDeakin University, John GrundyMonash University, Mohamed AbdelrazekDeakin University | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P11-Natural Language Artifacts at Goguryeo Chair(s): Jane Cleland-HuangUniversity of Notre Dame | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:13 Talk | Xiaoxue RenZhejiang University, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Xinyu WangZhejiang University, John GrundyMonash University | |||||||||||||||||||||||||||||||||||||||||
| 01:13 - 01:21 Talk | Xu WangCollege of Engineering & Computer ScienceAustralian National University, Canberra, Australia, Chunyang ChenMonash University, Zhenchang XingAustralia National University | |||||||||||||||||||||||||||||||||||||||||
| 01:21 - 01:33 Talk | ||||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P12-Testing and Debugging at Silla Chair(s): Taeksu KimSamsung Research, Samsung Electronics | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:17 Talk | Rebecca QianFacebook, Inc., Yang YuPurdue University, Wonhee ParkFacebook, Inc., Vijayaraghavan MuraliFacebook, Inc., Stephen J FinkFacebook, Satish ChandraFacebook | |||||||||||||||||||||||||||||||||||||||||
| 01:17 - 01:29 Talk | Jinhan Kim, Valeriy SavchenkoIvannikov Institute for System Programming of the RAS, Kihyuck ShinSamsung Electronics, Konstantin SorokinIvannikov Institute for System Programming of the RAS, Hyunseok JeonSamsung Electronics, Georgiy PankratenkoIvannikov Institute for System Programming of the RAS, Sergey MarkovIvannikov Institute for System Programming of the RAS, Chul-Joo KimSamsung Electronics | |||||||||||||||||||||||||||||||||||||||||
| 01:29 - 01:37 Talk | Haijun WangAnt Financial Services Group, China; CSSE, Shenzhen University, China, Yun LinNational University of Singapore, Zijiang YangWestern Michigan University, Jun SunSingapore Management University, Yang LiuNanyang Technological University, Singapore, Jin Song DongNational University of Singapore, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University | |||||||||||||||||||||||||||||||||||||||||
| 01:37 - 01:45 Talk | Ming WenHuazhong University of Science and Technology, China, Junjie ChenPeking University, China, Yongqiang TIANThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Dan HaoPeking University, Shi HanMicrosoft Research Asia, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 01:45 - 01:53 Talk | Ivan BeschastnikhComputer Science, University of British Columbia, Perry LiuUniversity of British Columbia, Albert XingUniversity of British Columbia, Patty WangUniversity of British Columbia, Yuriy BrunUniversity of Massachusetts Amherst, Michael D. ErnstUniversity of Washington, USA DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:53 - 02:01 Talk | Shujuan JiangChina University of Mining and Technology, Miao ZHANGCity University of Hong Kong, Yanmei ZHANGChina University of Mining and Technology, Rongcun WangChina University of Mining and Technology, Qiao YUJiangsu Normal University, Jacky KeungCity University of Hong Kong | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A7-Human Aspects 1 at Baekje Chair(s): Alexander SerebrenikEindhoven University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:08 Talk | Margaret-Anne StoreyUniversity of Victoria, Thomas ZimmermannMicrosoft Research, Christian BirdMicrosoft Research, Jacek CzerwonkaDeveloper Services, Microsoft, Brendan MurphyMicrosoft Research, Eirini KalliamvakouUniversity of Victoria Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:08 - 15:14 Talk | Maleknaz NayebiYork University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:14 - 15:26 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:26 - 15:38 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:38 - 15:44 Talk | Jiawei WangMonash University, Li LiMonash University, Australia, Andreas ZellerCISPA Helmholtz Center for Information Security Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:44 - 15:50 Talk | Naveen RamanUniversity of Maryland, College Park, Minxuan CaoCarnegie Mellon University, Yulia TsvetkovCarnegie Mellon University, Christian KästnerCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:50 - 15:58 Talk | André N. MeyerUniversity of Zurich, Gail MurphyUniversity of British Columbia, Thomas ZimmermannMicrosoft Research, Thomas FritzUniversity of Zurich Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A8-Machine Learning and Models at Goguryeo Chair(s): Liliana PasqualeUniversity College Dublin & Lero | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:08 Talk | Zhe YuNORTH CAROLINA STATE UNIVERSITY, Chris TheisenMicrosoft, Laurie WilliamsNorth Carolina State University, Tim MenziesNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
| 15:08 - 15:16 Talk | Gema Rodríguez-PérezUniversity of Waterloo, Canada, Gregorio RoblesUniversidad Rey Juan Carlos, Alexander SerebrenikEindhoven University of Technology, Andy ZaidmanTU Delft, Daniel M. GermanUniversity of Victoria, Jesus M. Gonzalez-BarahonaUniversidad Rey Juan Carlos DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:16 - 15:24 Talk | Amritanshu AgrawalWayfair, Wei FuLanding AI, Di ChenNorth Carolina State University, USA, Xipeng ShenNorth Carolina State University, Tim MenziesNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:36 Talk | Simos GerasimouUniversity of York, UK, Hasan Ferit EniserMPI-SWS, Alper SenBogazici University, Turkey, Alper ÇakanBogazici University, Turkey | |||||||||||||||||||||||||||||||||||||||||
| 15:36 - 15:48 Talk | Sameer ReddyUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUC Berkeley / Carnegie Mellon University, Koushik SenUniversity of California, Berkeley | |||||||||||||||||||||||||||||||||||||||||
| 15:48 - 15:56 Talk | Gopi Krishnan RajbahadurQueen's University, Shaowei WangMississippi State University, Yasutaka KameiKyushu University, Ahmed E. HassanQueen's University | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A9-Traceability at Silla Chair(s): Andrea ZismanThe Open University | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:24 Talk | Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London, Raymond TanUniversity College London | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:30 Talk | Hamid BagheriUniversity of Nebraska-Lincoln, USA, Eunsuk KangCarnegie Mellon University, Niloofar MansoorUniversity of Nebraska - Lincoln Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:33 Talk | Christoph Mayr-DornJohannes Kepler University Linz, Michael VierhauserJohannes Kepler University Linz, Felix KeplingerJohannes Kepler University, Linz, Stefan BichlerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Linz | |||||||||||||||||||||||||||||||||||||||||
| 15:33 - 15:45 Talk | Steve McKeeverDepartment of Informatics and Media, Uppsala University, Sweden, Omar-Alfred SalahDepartment of Informatics and Media, Uppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
| 15:45 - 15:57 Talk | Kevin MoranWilliam & Mary/George Mason University, David Nader PalacioWilliam & Mary, Carlos Bernal-CárdenasWilliam and Mary, Denys PoshyvanykWilliam and Mary, Daniel McCrystalWilliam & Mary, Chris ShenefielCisco Systems, Jeff JohnsonCisco Systems Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A10-Human Aspects 2 at Baekje Chair(s): Giuseppe ScannielloUniversity of Basilicata | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:13 Talk | Meng YanChongqing University, Xin XiaMonash University, David LoSingapore Management University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University | |||||||||||||||||||||||||||||||||||||||||
| 16:13 - 16:21 Talk | Haoxiang ZhangSoftware Analysis and Intelligence Lab (SAIL), Queen’s University, Kingston, Ontario, Canada, Shaowei WangMississippi State University, Tse-Hsun (Peter) ChenConcordia University, Ying ZouQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University | |||||||||||||||||||||||||||||||||||||||||
| 16:21 - 16:29 Talk | Fiorella ZampettiUniversity of Sannio, Carmine VassalloUniversity of Zurich, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Gerardo CanforaUniversity of Sannio, Harald GallUniversity of Zurich, Massimiliano Di PentaUniversity of Sannio Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:29 - 16:37 Talk | Luis CruzDeflt University of Technology, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, David LoSingapore Management University DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 16:49 Talk | Davide SpadiniDelft University of Technology, Netherlands, Gul CalikliChalmers | University of Gothenburg, Alberto BacchelliUniversity of Zurich DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A11-Performance and Analysis at Goguryeo Chair(s): Pooyan JamshidiUniversity of South Carolina | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:08 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:08 - 16:16 Talk | Giovanni GranoUniversity of Zurich, Christoph LaaberUniversity of Zurich, Annibale PanichellaDelft University of Technology, Sebastiano PanichellaZurich University of Applied Science/University of Zurich Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:16 - 16:24 Talk | Diego CostaConcordia University, Canada, Cor-Paul BezemerUniversity of Alberta, Canada, Philipp LeitnerChalmers University of Technology & University of Gothenburg, Artur AndrzejakHeidelberg University | |||||||||||||||||||||||||||||||||||||||||
| 16:24 - 16:36 Talk | Zishuo DingConcordia University, Canada, Jinfu ChenConcordia University, Canada, Weiyi ShangConcordia University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:36 - 16:44 Talk | Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:44 - 16:50 Talk | Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, USA, Alessandro OrsoGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 16:58 Talk | Marco PaolieriUniversity of Southern California, Marco BiagiUniversity of Florence, Laura CarnevaliUniversity of Florence, Enrico VicarioUniversity of Florence | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A12-Testing at Silla Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:17 Talk | Thodoris SotiropoulosAthens University of Economics and Business, Dimitris MitropoulosAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business | |||||||||||||||||||||||||||||||||||||||||
| 16:17 - 16:25 Talk | Paul TemplePReCISE, NaDi, UNamur, Mathieu Acher(Univ Rennes, Inria, IRISA), Jean-Marc JézéquelUniv Rennes - IRISA | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:28 Talk | Matias MartinezUniversité Polytechnique Hauts-de-France, Anne EtienUniversité de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStAL, Stéphane Ducasse INRIA Lille, Christopher FuhrmanÉcole de technologie supérieure | |||||||||||||||||||||||||||||||||||||||||
| 16:28 - 16:34 Talk | Valerio TerragniUniversità della Svizzera Italiana, Pasquale SalzaUniversity of Zurich, Filomena FerrucciUniversity of Salerno Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:34 - 16:46 Talk | Jordan HenkelUniversity of Wisconsin–Madison, Christian BirdMicrosoft Research, Shuvendu K. LahiriMicrosoft Research, Thomas RepsUniversity of Wisconsin-Madison, USA | |||||||||||||||||||||||||||||||||||||||||
| 16:46 - 16:54 Talk | Gemma CatolinoDelft University of Technology, Fabio PalombaUniversity of Salerno, Francesca Arcelli FontanaUniversity of Milano-Bicocca, Andrea De LuciaUniversity of Salerno, Andy ZaidmanTU Delft, Filomena FerrucciUniversity of Salerno DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:54 - 16:57 Talk | Phu X. MaiUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 18:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:10 - 18:00 Talk | Phu X. MaiUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 18:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
Thu 9 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
Thu 9 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change
00:00 - 01:00: Paper Presentations - P13-Security at Baekje Chair(s): Joshua GarciaUniversity of California, Irvine | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:12 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | Chen YangVeracode, Inc., Andrew SantosaVeracode, Inc., Asankhaya SharmaVeracode, Inc., David LoSingapore Management University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:36 Talk | Yude BaiTianjin University, Zhenchang XingAustralia National University, Li XiaohongTianJin University, Zhiyong FengTianjin University, Duoyuan MaTianjin University | |||||||||||||||||||||||||||||||||||||||||
| 00:36 - 00:48 Talk | Shengjian GuoBaidu X-Lab, Yueqi ChenThe Pennsylvania State University, Peng LiBaidu X-Lab, Yueqiang ChengBaidu Security, Huibo WangBaidu X-Lab, Meng WuAnt Financial, Zhiqiang ZuoNanjing University, China | |||||||||||||||||||||||||||||||||||||||||
| 00:48 - 01:00 Talk | Pei WangBaidu X-Lab, Yu DingBaidu X-Lab, Mingshen SunBaidu X-Lab, Huibo WangBaidu X-Lab, Tongxin LiBaidu X-Lab, Rundong ZhouBaidu X-Lab, Zhaofeng Chen, Yiming JingBaidu X-Lab | |||||||||||||||||||||||||||||||||||||||||
00:00 - 01:00: Paper Presentations - P14-Testing at Goguryeo Chair(s): Shin YooKorea Advanced Institute of Science and Technology | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:12 Talk | Dehai ZhaoAustralian National University, Zhenchang XingAustralia National University, Chunyang ChenMonash University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China | |||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | Xiang GaoNational University of Singapore, Singapore, Ripon SahaFujitsu Laboratories of America, Inc., Mukul PrasadFujitsu Laboratories of America, Inc, Abhik RoychoudhuryNational University of Singapore, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:36 Talk | Emily KowalczykApple Inc., Karan NairApple, Zebao GaoApple, Leopold SilbersteinApple Inc., Teng LongApple, Atif MemonApple Inc. | |||||||||||||||||||||||||||||||||||||||||
| 00:36 - 00:48 Talk | Dongjie ChenNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 00:48 - 01:00 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P16-Security and Learning at Baekje Chair(s): Lingming ZhangThe University of Texas at Dallas | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:17 Talk | Jinyin ChenCollege of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Keke HuCollege of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Yue YuCollege of Computer, National University of Defense Technology, Changsha 410073, China, Zhuangzhi ChenCollege of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Qi XuanInstitute of Cyberspace Security, Zhejiang University of Technology, Hangzhou 310023, China, Yi LiuInstitute of Process Equipment and Control Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Vladimir FilkovUniversity of California at Davis, USA | |||||||||||||||||||||||||||||||||||||||||
| 01:17 - 01:25 Talk | Suyu MaMonash University, Zhenchang XingAustralia National University, Chunyang ChenMonash University, Cheng ChenPricewaterhouseCoopers Firm, Lizhen QuMonash University, Guoqiang LiShanghai Jiao Tong University | |||||||||||||||||||||||||||||||||||||||||
| 01:25 - 01:37 Talk | Xueling ZhangUniversity of Texas at San Antonio, Xiaoyin WangUniversity of Texas at San Antonio, USA, Rocky SlavinUniversity of Texas at San Antonio, Travis BreauxCarnegie Mellon University, Jianwei NiuUniversity of Texas at San Antonio | |||||||||||||||||||||||||||||||||||||||||
| 01:37 - 01:49 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 01:49 - 02:01 Talk | Ana Nora EvansUniversity of Virginia, USA, Bradford CampbellUniversity of Virginia, Mary Lou SoffaUniversity of Virginia | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P17-Software Development at Goguryeo Chair(s): Minghui ZhouPeking University | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:13 Talk | Guoliang ZhaoComputer Science of Queen's University, Daniel Alencar Da CostaUniversity of Otago, Ying ZouQueen's University, Kingston, Ontario | |||||||||||||||||||||||||||||||||||||||||
| 01:13 - 01:21 Talk | Amiangshu BosuWayne State University, Anindya IqbalBangladesh University of Engineering and Technology Dhaka, Bangladesh, Rifat ShahriyarBangladesh University of Engineering and Technology Dhaka, Bangladesh, Partho ChakrabortyBangladesh University of Engineering and Technology Dhaka, Bangladesh | |||||||||||||||||||||||||||||||||||||||||
| 01:21 - 01:33 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 01:33 - 01:45 Talk | Souti ChattopadhyayGraduate Student, Nicholas NelsonOregon State University, Audrey AuOregon State University, Natalia MoralesOregon State University, Christopher SanchezOregon State University, Rahul PanditaPhase Change Software, Anita SarmaOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 01:45 - 01:48 Talk | Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P18-Open Source Systems at Silla Chair(s): John GrundyMonash University | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:13 Talk | Yuxia ZhangPeking University, Minghui ZhouPeking University, Audris MockusUniversity of Tennessee - Knoxville, Zhi JinPeking University | |||||||||||||||||||||||||||||||||||||||||
| 01:13 - 01:21 Talk | Pavneet Singh KochharMicrosoft, Eirini KalliamvakouUniversity of Victoria, Nachiappan NagappanMicrosoft Research, Thomas ZimmermannMicrosoft Research, Christian BirdMicrosoft Research Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 01:21 - 01:33 Talk | Yuxia ZhangPeking University, Minghui ZhouPeking University, Klaas-Jan StolUniversity College Cork and Lero, Ireland, Jianyu WuPeking University, Zhi JinPeking University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:33 - 01:45 Talk | Cassandra OverneyOlin College of Engineering, Jens MeinickeCarnegie Mellon University, Christian KästnerCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:45 - 01:57 Talk | Xin TanPeking University, Minghui ZhouPeking University, Brian FitzgeraldLero - The Irish Software Research Centre and University of Limerick Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 02:10 - 03:00 Talk | Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
07:00 - 08:00: Paper Presentations - I13-Testing and Debugging 1 at Baekje Chair(s): Shin Hwei TanSouthern University of Science and Technology | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | Antonia BertolinoCNR-ISTI, Antonio GuerrieroUniversità di Napoli Federico II, Breno MirandaFederal University of Pernambuco, Roberto PietrantuonoUniversità di Napoli Federico II, Stefano RussoUniversità di Napoli Federico II | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:24 Talk | Lukas KirschnerSaarland University, Ezekiel O. SoremekunCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:24 - 07:36 Talk | Mingyu ParkLG Electronics, Hoon JangHyundai Motor Company, Taejoon ByunUniversity of Minnesota, Yunja ChoiKyungpook National University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:36 - 07:44 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07:44 - 07:52 Talk | Valentin ManèsCSRC, KAIST, HyungSeok HanKAIST, Choongwoo HanNAVER Corporation, Sang Kil ChaKAIST, Manuel EgeleBoston University, USA, Edward SchwartzCarnegie Mellon University, Maverick WooCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 07:52 - 07:55 Talk | Yung-Pin ChengNational Central University, Wei-Nien HsiungNational Central University, Yu-Shan WuIsCoollab Co. Ltd, Li-Hsuan ChenIsCoollab Co. Ltd | |||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | Wanwangying MaNanjing University, Lin ChenNanjing University, Xiangyu ZhangPurdue University, Yang FengNanjing University, Zhaogui XuNanjing University, China, Zhifei ChenHuawei, Yuming ZhouNanjing University, Baowen XuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:20 Talk | Agus SulistyaTelkom Institute of Technology Surabaya, Gede Artha Azriadi PranaSingapore Management University, Abhishek Sharma Singapore Management University, Singapore, David LoSingapore Management University, Christoph TreudeThe University of Adelaide | |||||||||||||||||||||||||||||||||||||||||
| 07:20 - 07:38 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07:38 - 07:46 Talk | Hugo AndradeChalmers University of Technology, Jan SchroederChalmers | University of Gothenburg, Ivica CrnkovicChalmers | University of Gothenburg | |||||||||||||||||||||||||||||||||||||||||
| 07:46 - 07:54 Talk | Lingfeng Bao Zhejiang University, Xin XiaMonash University, David LoSingapore Management University, Gail MurphyUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I16-Testing and Debugging 2 at Baekje Chair(s): Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:17 Talk | Yan CaiInstitute of Software, Chinese Academy of Sciences, Ruijie MengUniversity of Chinese Academy of Sciences, Jens PalsbergUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 08:17 - 08:25 Talk | Masanari KondoKyoto Institute of Technology, Cor-Paul BezemerUniversity of Alberta, Canada, Yasutaka KameiKyushu University, Ahmed E. HassanQueen's University, Osamu MizunoKyoto Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:25 - 08:33 Talk | Jirayus JiarpakdeeMonash University, Australia, Chakkrit (Kla) TantithamthavornMonash University, Australia, Ahmed E. HassanQueen's University | |||||||||||||||||||||||||||||||||||||||||
| 08:33 - 08:41 Talk | Yuanrui FanZhejiang University, Xin XiaMonash University, Daniel Alencar Da CostaUniversity of Otago, David LoSingapore Management University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University | |||||||||||||||||||||||||||||||||||||||||
| 08:41 - 08:49 Talk | Zhongxin LiuZhejiang University, Xin XiaMonash University, David LoSingapore Management University, Zhenchang XingAustralia National University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University | |||||||||||||||||||||||||||||||||||||||||
| 08:49 - 09:01 Talk | Ke LiUniversity of Exeter, Zilin XiangUniversity of Electronic Science and Technology of China, Tao ChenLoughborough University, Shuo Wang, Kay Chen TanCity University of Hong Kong Pre-print | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I17-Contracts and Analysis at Goguryeo Chair(s): Jaechang NamHandong Global University | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08:15 - 08:25 Talk | Zhiqiang YangOxford-Hainan Blockchain Research Institute, Han LiuTsinghua University, Yue LiOxford-Hainan Blockchain Research Institute, Huixuan ZhengOxford-Hainan Blockchain Research Institute, Lei WangOxford-Hainan Blockchain Research Institute, Bangdao ChenOxford-Hainan Blockchain Research Institute | |||||||||||||||||||||||||||||||||||||||||
| 08:25 - 08:35 Talk | Cong WangTsinghua University, Mingrui ZhangTsinghua University, Beijing, China, Yu Jiang, Huafeng ZhangHuawei Technologies, Hangzhou, China, Zhenchang XingAustralia National University, Ming Gu | |||||||||||||||||||||||||||||||||||||||||
| 08:35 - 08:45 Talk | Weiqin ZouNanjing University, David LoSingapore Management University, Pavneet Singh KochharMicrosoft, Xuan-Bach D. LeSingapore Management University, Singapore, Xin XiaMonash University, Yang FengNanjing University, Zhenyu ChenNanjing University, Baowen XuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 08:55 Talk | Thomas DurieuxINESC-ID, University of Lisbon, João F. FerreiraINESC-ID and IST, University of Lisbon, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Pedro CruzIST, University of Lisbon, Portugal Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 08:55 - 09:05 Talk | Chang-ai SunUniversity of Science and Technology Beijing, An FuUniversity of Science and Technology Beijing, Pak-Lok PoonSchool of Engineering & Technology, Central Queensland University, Australia, Xiaoyuan XieSchool of Computer Science, Wuhan University, China, Huai LiuSwinburne University of Technology, Tsong Yueh ChenSwinburne University of Technology | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I18-APIs and Commits at Silla Chair(s): Massimiliano Di PentaUniversity of Sannio | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:13 Talk | Jingxuan ZhangNanjing University of Aeronautics and Astronautics, He JiangSchool of Software, Dalian University of Technology, Zhilei RenDalian University of Technology, Tao ZhangHarbin Engineering University, Zhiqiu HuangNanjing University of Aeronautics and Astronautics | |||||||||||||||||||||||||||||||||||||||||
| 08:13 - 08:19 Talk | Sebastian NielebockOtto-von-Guericke University Magdeburg, Germany, Robert HeumüllerChair of Software Engineering, Faculty of Computer Science, Otto-von-Guericke-University Magdeburg, Jacob KrügerOtto von Guericke University Magdeburg, Frank OrtmeierOtto-von-Guericke-University Magdeburg, Faculty of Computer Science, Chair of Software Engineering DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 08:19 - 08:31 Talk | Hao XiaFudan University, Yuan ZhangFudan University, Yingtian ZhouFudan University, Xiaoting ChenFudan University, Yang WangFudan University, Xiangyu ZhangPurdue University, Shuaishuai CuiFudan University, Geng HongFudan University, Xiaohan ZhangFudan University, Min YangFudan University, Zhemin YangFudan University | |||||||||||||||||||||||||||||||||||||||||
| 08:31 - 08:43 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08:43 - 08:49 Talk | Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:49 - 09:01 Talk | Emad AghajaniSoftware Institute, USI - Lugano, Switzerland, Csaba NagySoftware Institute - USI, Lugano, Switzerland, Mario Linares-VásquezUniversidad de los Andes, Laura MorenoColorado State University, Gabriele BavotaUniversità della Svizzera italiana, Michele LanzaUniversita della Svizzera italiana (USI), David C. ShepherdVirginia Commonwealth University Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Yung-Pin ChengNational Central University, Wei-Nien HsiungNational Central University, Yu-Shan WuIsCoollab Co. Ltd, Li-Hsuan ChenIsCoollab Co. Ltd | |||||||||||||||||||||||||||||||||||||||||
Fri 10 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
Fri 10 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change
07:00 - 08:00: Paper Presentations - I19-Code Generation and Verification at Baekje Chair(s): Raffi KhatchadourianCity University of New York (CUNY) Hunter College | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:06 Talk | Jude AnilTCS Research, Sumanth PrabhuTCS Research, Kumar MadhukarTCS Innovation Labs (TRDDC), R Venkatesh | |||||||||||||||||||||||||||||||||||||||||
| 07:06 - 07:18 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:18 - 07:24 Talk | Djamel Eddine KhelladiCNRS, France, Benoit CombemaleUniversity of Toulouse and Inria, Mathieu Acher(Univ Rennes, Inria, IRISA), Olivier Barais(Univ Rennes, Inria, IRISA) | |||||||||||||||||||||||||||||||||||||||||
| 07:24 - 07:36 Talk | Djamel Eddine KhelladiCNRS, France, Benoit CombemaleUniversity of Toulouse and Inria, Mathieu Acher(Univ Rennes, Inria, IRISA), Olivier Barais(Univ Rennes, Inria, IRISA), Jean-Marc JézéquelUniv Rennes - IRISA | |||||||||||||||||||||||||||||||||||||||||
| 07:36 - 07:48 Talk | Heiko KoziolekABB Corporate Research, Andreas BurgerABB Corporate Research, Marie Platenius-MohrABB Corporate Research, Julius RückertABB Corporate Research, Hadil AbukwaikABB Corporate Research, Raoul JetleyABB, Abdulla PPABB Corporate Research Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:48 - 08:00 Talk | Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, Xiao PengChina EverBright Bank, Honglin WangBizSeer, Xinya WuBizSeer, Yuanzong ZhangBizSeer, Zikai ChenTsinghua University, Xiangzhong ZhengBizSeer, Xiaohui NieTsinghua University, Gang WangChina EverBright Bank, Yong WuChina EverBright Bank, Fang ZhouChina EverBright Bank, Wenchi ZhangBizSeer, Kaixin SuiBizSeer, Dan PeiTsinghua University | |||||||||||||||||||||||||||||||||||||||||
07:00 - 08:00: Paper Presentations - I20-Android Testing at Goguryeo Chair(s): Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | Jiwei YanInstitute of Software, Chinese Academy of Sciences, Hao LiuBeijing University of Technology, Linjie PanInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangInstitute of Software, Chinese Academy of Sciences, Bin LiangRenmin University of China, China | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:24 Talk | Zhen DongNational University of Singapore, Marcel BöhmeMonash University, Lucia CojocaruPolitehnica University of Bucharest, Abhik RoychoudhuryNational University of Singapore, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 07:24 - 07:36 Talk | Shin Hwei TanSouthern University of Science and Technology, Ziqiang LiSouthern University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 07:36 - 07:48 Talk | Sen ChenNanyang Technological University, Singapore, Lingling FanNanyang Technological University, Singapore, Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Ting SuETH Zurich, Switzerland, Minhui XueThe University of Adelaide, Yinxing Xue, Yang LiuNanyang Technological University, Singapore, Lihua XuNew York University Shanghai Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 07:48 - 08:00 Talk | Ju QianNanjing University of Aeronautics and Astronautics, Zhengyu ShangNanjing University of Aeronautics and Astronautics, Shuoyan YanNanjing University of Aeronautics and Astronautics, Yan Wang, Lin ChenNanjing University | |||||||||||||||||||||||||||||||||||||||||
07:00 - 08:00: Paper Presentations - I21-Version Control and Programming at Silla Chair(s): Sunghun KimHong Kong University of Science and Technology | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:12 Talk | Chungha SungUniversity of Southern California, Shuvendu K. LahiriMicrosoft Research, Mike KaufmanMicrosoft Corporation, Pallavi ChoudhuryMicrosoft Corporation, Chao WangUSC | |||||||||||||||||||||||||||||||||||||||||
| 07:12 - 07:20 Talk | Sruti Srinivasa RagavanMicrosoft Research; School of EECS, Oregon State University, Mihai CodobanMicrosoft, David PiorkowskiIBM Research AI, Danny DigUniversity of Colorado, Boulder, Margaret BurnettOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 07:20 - 07:28 Talk | Yusuf Sulistyo NugrohoNara Institute of Science and Technology, Hideaki HataNara Institute of Science and Technology, Kenichi MatsumotoNara Institute of Science and Technology DOI | |||||||||||||||||||||||||||||||||||||||||
| 07:28 - 07:36 Talk | Zhongxing YuKTH Royal Institute of Technology, Chenggang BaiBeihang University, Lionel Seinturier, Martin MonperrusKTH Royal Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 07:36 - 07:44 Talk | Bowen XuSingapore Management University, Le AnPolytechnique Montreal, Ferdian ThungSingapore Management University, Foutse KhomhPolytechnique Montréal, David LoSingapore Management University | |||||||||||||||||||||||||||||||||||||||||
| 07:44 - 07:56 Talk | Aishwarya SivaramanUniversity of California, Los Angeles, Jason LauUniversity of California, Los Angeles, Qian ZhangUniversity of California, Los Angeles, Muhammad Ali GulzarUniversity of California, Los Angeles, Jason CongUCLA, Miryung KimUniversity of California, Los Angeles DOI | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I22-Testing at Baekje Chair(s): Phil McMinnUniversity of Sheffield | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:08 Talk | Yuanhan TianNanjing University, Shengcheng YuNanjing University, China, Chunrong FangNanjing University, Peiyuan LiNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 08:08 - 08:20 Talk | Cheng WenShenzhen University, Haijun WangAnt Financial Services Group, China; CSSE, Shenzhen University, China, Yuekang LiNanyang Technological University, Shengchao QinUniversity of Teesside, Yang LiuNanyang Technological University, Singapore, Zhiwu XuShenzhen University, Hongxu ChenResearch Associate, Xiaofei XieNanyang Technological University, Geguang PuEast China Normal University, Ting LiuXi'an Jiaotong University DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:20 - 08:32 Talk | Hengbiao YuNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Xianjin FuNational University of Defense Technology, Ji WangSchool of Computer, National University of Defense Technology, China, Zhendong SuETH Zurich, Switzerland, Jun SunSingapore Management University, Chun HuangNational University of Defense Technology, Wei DongSchool of Computer, National University of Defense Technology, China Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 08:32 - 08:44 Talk | Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University, South Korea | |||||||||||||||||||||||||||||||||||||||||
| 08:44 - 08:56 Talk | Bingchang LiuKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Guozhu MengInstitute of Information Engineering, Chinese Academy of Sciences, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Feng LiKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Qi GongKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Min LinInstitute for Network Sciences and Cyberspace of Tsinghua University, Dandan SunKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Wei HuoInstitute of Information Engineering, Chinese Academy of Sciences, Wei ZouKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China | |||||||||||||||||||||||||||||||||||||||||
| 08:56 - 08:59 Talk | Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Hengbiao YuNational University of Defense Technology, Xianjin FuNational University of Defense Technology, Ji WangSchool of Computer, National University of Defense Technology, China Pre-print | |||||||||||||||||||||||||||||||||||||||||
08:05 - 09:05: Paper Presentations - I23-Code Artifact Analysis at Goguryeo Chair(s): Benoit BaudryKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 08:05 - 08:17 Talk | Qingkai ShiThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Gang FanHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:17 - 08:29 Talk | Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 08:29 - 08:37 Talk | Gunel JahangirovaUniversità della Svizzera italiana, David ClarkUniversity College London, Mark Harman, Paolo TonellaUniversità della Svizzera italiana | |||||||||||||||||||||||||||||||||||||||||
| 08:37 - 08:45 Talk | Roman HaasCQSE GmbH, Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Sven ApelSaarland University & Saarland Informatics Campus Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 08:53 Talk | Mohammadreza GhanavatiHeidelberg University, Diego CostaConcordia University, Canada, Janos SeboekHeidelberg University, David LoSingapore Management University, Artur AndrzejakHeidelberg University | |||||||||||||||||||||||||||||||||||||||||
| 08:53 - 09:01 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Hengbiao YuNational University of Defense Technology, Xianjin FuNational University of Defense Technology, Ji WangSchool of Computer, National University of Defense Technology, China Pre-print | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A21-Testing and Debugging 3 at Silla Chair(s): Tingting YuUniversity of Kentucky | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | Dirk van der LindenUniversity of Bristol, Pauline AnthonysamyGoogle Inc., Bashar NuseibehThe Open University (UK) & Lero (Ireland), Thein Tun, Marian PetreThe Open University, Mark LevineLancaster University, John TowseLancaster University, Awais RashidUniversity of Bristol, UK | |||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:20 Talk | Van-Thuan PhamMonash University, Marcel BöhmeMonash University, Andrew SantosaNational University of Singapore, Alexandru Răzvan CăciulescuUiPath, Abhik RoychoudhuryNational University of Singapore, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:28 Talk | Xuan HuoNanjing University, Ferdian ThungSingapore Management University, Ming LiNanjing University, David LoSingapore Management University, Shu-Ting ShiNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 15:28 - 15:36 Talk | Mozhan SoltaniLeiden University, Pouria DerakhshanfarDelft University of Technology, Xavier DevroeyDelft University of Technology, Arie van DeursenDelft University of Technology Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:36 - 15:48 Talk | Sadia TabassumUniversity of Birmingham, UK, Leandro MinkuUniversity of Birmingham, UK, Danyi FengXiLiu Tech, George CabralUniversidade Federal Rural de Pernambuco, Liyan SongUniversity of Birmingham | |||||||||||||||||||||||||||||||||||||||||
| 15:48 - 15:56 Talk | Taher Ahmed GhalebQueen's University, Daniel Alencar Da CostaUniversity of Otago, Ying ZouQueen's University, Kingston, Ontario Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
15:00 - 16:00: Paper Presentations - A22-Cognition at Baekje Chair(s): Walid MaalejUniversity of Hamburg | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:12 Talk | Daniela GirardiUniversity of Bari, Nicole NovielliUniversity of Bari, Davide FucciBlekinge Institute of Technology, Filippo LanubileUniversity of Bari DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:12 - 15:24 Talk | Ryan KruegerUniversity of Michigan, Yu HuangUniversity of Michigan, Xinyu LiuUniversity of Michigan, Tyler SantanderUniversity of California at Santa Barbara, Westley WeimerUniversity of Michigan, USA, Kevin LeachUniversity of Michigan Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:24 - 15:36 Talk | Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:36 - 15:48 Talk | Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language? Nischal ShresthaNorth Carolina State University, Colton BottaNorth Carolina State University, Titus BarikMicrosoft, Chris ParninNorth Carolina State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:48 - 15:54 Talk | Melissa WenUniversity of São Paulo, Leonardo Alexandre Ferreira LeiteUniversity of São Paulo, Fabio KonUniversity of São Paulo, Paulo MeirellesFederal University of São Paulo | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A23-Requirements at Goguryeo Chair(s): Dalal AlrajehImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:17 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:17 - 16:25 Talk | David AmellerUniversitat Politècnica de Catalunya, Xavier FranchUniversitat Politècnica de Catalunya, Cristina GómezUniversitat Politècnica de Catalunya, Silverio Martínez-FernándezUPC-BarcelonaTech, João AraújoUniversidade Nova de Lisboa, Stefan BifflVienna University of Technology, Jordi CabotICREA - UOC, Vittorio CortellesaUniversity of L’Aquila, Daniel MendezTechnische Universität München, Ana MoreiraFCT / Universidade Nova de Lisboa, Henry MucciniUniversity of L'Aquila, Italy, Antonio VallecilloUniversity of Málaga, Spain, Manuel WimmerJohannes Kepler University Linz, Vasco AmaralUniversidade Nova de Lisboa, Wolfang BöhmTechnische Universität München, Hugo BrunelièreInria, Mines Nantes & LINA, Loli BurgueñoUniversidad de Malaga, Miguel GoulaoNOVA-LINCS, FCT/UNL, Sabine TeuflFortiss GmbH, Luca BerardinelliJohannes Kepler University Linz | |||||||||||||||||||||||||||||||||||||||||
| 16:25 - 16:33 Talk | Giovanni VivianiUniversity of British Columbia, Michalis FamelisUniversité de Montréal, Xin XiaMonash University, Calahan Janik-JonesUniversity of Toronto, Gail MurphyUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 16:33 - 16:41 Talk | Stefan WagnerUniversity of Stuttgart Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:41 - 16:49 Talk | Hui GuoNorth Carolina State University, Ozgur KafaliUniversity of Kent, Anne-Liz JeukengUniversity of Florida, Laurie WilliamsNorth Carolina State University, Munindar P. SinghNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
| 16:49 - 16:55 Talk | Steffen HerboldUniversity of Göttingen Pre-print | |||||||||||||||||||||||||||||||||||||||||
16:05 - 17:05: Paper Presentations - A24-Testing and Debugging 4 at Silla Chair(s): Yijun YuThe Open University, UK | ||||||||||||||||||||||||||||||||||||||||||
| 16:05 - 16:11 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:11 - 16:23 Talk | Cody WatsonWashington and Lee University, Michele TufanoMicrosoft, Kevin MoranWilliam & Mary/George Mason University, Gabriele BavotaUniversità della Svizzera italiana, Denys PoshyvanykWilliam and Mary Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:23 - 16:35 Talk | Guanhong TaoPurdue University, Shiqing MaRutgers University, Yingqi LiuPurdue University, USA, Qiuling XuPurdue University, Xiangyu ZhangPurdue University | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 16:38 Talk | Michele TufanoMicrosoft, Jason KimkoWilliam & Mary, Shiya WangWilliam & Mary, Cody WatsonWashington and Lee University, Gabriele BavotaUniversità della Svizzera italiana, Massimiliano Di PentaUniversity of Sannio, Denys PoshyvanykWilliam and Mary Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:38 - 16:46 Talk | Claudio MenghiUniversity of Luxembourg, Christos TsigkanosTU Vienna, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Carlo GhezziPolitecnico di Milano, Thorsten BergerChalmers | University of Gothenburg | |||||||||||||||||||||||||||||||||||||||||
| 16:46 - 16:54 Talk | Farhaan FowzeUniversity of Florida, Dave (Jing) TianPurdue University, Grant HernandezUniversity of Florida, Kevin ButlerUniv. Florida, Tuba YavuzUniversity of Florida | |||||||||||||||||||||||||||||||||||||||||
| 16:54 - 17:00 Talk | Marcelo d'AmorimFederal University of Pernambuco, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Carlos MelloFederal University of Pernambuco Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
Sat 11 Jul Times are displayed in time zone: (UTC) Coordinated Universal Time change
Sat 11 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change
| 00:00 - 00:12 Talk | Haijun WangAnt Financial Services Group, China; CSSE, Shenzhen University, China, Xiaofei XieNanyang Technological University, Yi LiNanyang Technological University, Cheng WenShenzhen University, Yuekang LiNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Shengchao QinUniversity of Teesside, Hongxu ChenResearch Associate, Yulei SuiUniversity of Technology Sydney, Australia Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | Tai D. NguyenSingapore Management University, Long H. PhamSingapore University of Technology and Design, Jun SunSingapore Management University, Yun LinNational University of Singapore, Minh Quang TranHo Chi Minh City University of Technology | |||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:36 Talk | Caius BrindescuOregon State University, Iftekhar AhmedUniversity of California at Irvine, USA, Rafael LeanoOregon State University, Anita SarmaOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 00:36 - 00:48 Talk | Akond RahmanTennessee Tech University, Effat FarhanaNorth Carolina State University, Chris ParninNorth Carolina State University, Laurie WilliamsNorth Carolina State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:48 - 01:00 Talk | Tegan BrennanUniversity of California, Santa Barbara, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara | |||||||||||||||||||||||||||||||||||||||||
00:00 - 01:00: Paper Presentations - P26-Deep Learning Testing and Debugging at Goguryeo Chair(s): Tim MenziesNorth Carolina State University | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:12 Talk | Brandon PaulsenUniversity of Southern California, Jingbo WangUniversity of Southern California, Chao WangUSC Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:36 Talk | Zeyu SunPeking University, Jie M. ZhangUniversity College London, UK, Mark HarmanFacebook and University College London, Mike PapadakisUniversity of Luxembourg, Lu ZhangPeking University, China | |||||||||||||||||||||||||||||||||||||||||
| 00:36 - 00:48 Talk | Yuchi TianColumbia University, Ziyuan ZhongColumbia University, Vicente OrdonezUniversity of Virginia, Gail KaiserColumbia University, Baishakhi RayColumbia University, New York | |||||||||||||||||||||||||||||||||||||||||
| 00:48 - 01:00 Talk | Md Johirul IslamIowa State University, Rangeet PanIowa State University, USA, Giang NguyenDept. of Computer Science, Iowa State University, Hridesh RajanIowa State University, USA | |||||||||||||||||||||||||||||||||||||||||
00:00 - 01:00: Paper Presentations - P27-Applications at Silla Chair(s): Ganesha UpadhyayaHarmony.one | ||||||||||||||||||||||||||||||||||||||||||
| 00:00 - 00:12 Talk | Rafael-Michael KarampatsisThe University of Edinburgh, Hlib BabiiFree University of Bozen-Bolzano, Romain RobbesFree University of Bozen-Bolzano, Charles SuttonGoogle Research, Andrea JanesFree University of Bozen-Bolzano DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 00:12 - 00:24 Talk | Nikos DiamantopoulosNetflix, Inc., Jeffrey WongNetflix, Inc., David Issa MattosChalmers University of Technology, Ilias GerostathopoulosVrije Universiteit Amsterdam, Matthew WardropNetflix, Inc., Tobias MaoNetflix, Inc., Colin McFarlandNetflix, Inc. | |||||||||||||||||||||||||||||||||||||||||
| 00:24 - 00:36 Talk | Junwen YangUniversity of Chicago, Utsav SethiUniversity of Chicago, Cong YanUniversity of Washington, Alvin CheungUniversity of California, Berkeley, Shan LuUniversity of Chicago | |||||||||||||||||||||||||||||||||||||||||
| 00:36 - 00:48 Talk | Jingmei HuHarvard University, Jiwon JoungHarvard University, Maia JacobsHarvard University, Margo SeltzerUniversity of British Columbia, Krzysztof GajosHarvard University | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P28-Analysis and Verification at Baekje Chair(s): Rahul PurandareIIIT-Delhi | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:17 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 01:17 - 01:20 Talk | Hiroaki YoshidaFujitsu Laboratories of America, Inc., Rohan BavishiUC Berkeley, Keisuke HottaFujitsu Laboratories Ltd., Yusuke NemotoFujitsu Laboratories Ltd., Mukul PrasadFujitsu Laboratories of America, Inc, Shinji KikuchiFujitsu Laboratories Ltd. | |||||||||||||||||||||||||||||||||||||||||
| 01:20 - 01:32 Talk | Ramanathan RamuIowa State University, Ganesha UpadhyayaHarmony.one, Hoan Anh NguyenAmazon, Hridesh RajanIowa State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 01:32 - 01:44 Talk | Li SuiMassey University, New Zealand, Jens DietrichVictoria University of Wellington, Amjed TahirMassey University, George FourtounisUniversity of Athens Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:44 - 01:56 Talk | Chetan BansalMicrosoft Research, Sundararajan RenganathanStanford University, Ashima AsudaniMicrosoft, Olivier MidyMicrosoft, Mathru JanakiramanAmazon Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:56 - 01:59 Talk | Kush JainThe University of Texas at Austin, Karl PalmskogKTH Royal Institute of Technology, Ahmet CelikFacebook, Inc., Emilio Jesús Gallego AriasINRIA, Milos GligoricThe University of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
01:05 - 02:05: Paper Presentations - P29-Android and Web Testing at Goguryeo Chair(s): Hironori WashizakiWaseda University | ||||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:17 Talk | George MathewNorth Carolina State University, Chris ParninNorth Carolina State University, Kathryn StoleeNorth Carolina State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:17 - 01:25 Talk | Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Andrea StoccoUniversità della Svizzera italiana, Ali MesbahUniversity of British Columbia Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:25 - 01:37 Talk | Qun XiaTencent Inc., Zhongzhu Zhouzhouzhzh8@mail2.sysu.edu.cn, Zhihao LiTencent Inc., Bin XuTencent Inc., Wei ZouTencent Inc., Zishun ChenTencent Inc., Huafeng MaTencent Inc., Gangqiang LiangTencent Inc., Haochuan LuFudan University, Shiyu GuoTencent Inc., Ting XiongTencent Inc., Yuetang DengTencent, Inc., Tao XiePeking University | |||||||||||||||||||||||||||||||||||||||||
| 01:37 - 01:49 Talk | Jieshan ChenAustralian National University, Chunyang ChenMonash University, Zhenchang XingAustralia National University, Xiwei XuData 61, Liming ZhuCSIRO's Data61 and UNSW, Guoqiang LiShanghai Jiao Tong University, Jinshui WangSchool of Information Science and Engineering, Fujian University of Technology, Fuzhou, China | |||||||||||||||||||||||||||||||||||||||||
| 01:49 - 01:52 Talk | Jian LiuEast China Normal University, Xusheng XiaoCase Western Reserve University, Lihua XuNew York University Shanghai, Liang DouEast China Normal University, Andy PodgurskiCase Western University | |||||||||||||||||||||||||||||||||||||||||
| 01:52 - 01:55 Talk | Muhammad Ali GulzarUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research, Miryung KimUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 01:05 - 01:13 Talk | Taher Ahmed GhalebQueen's University, Daniel Alencar Da CostaUniversity of Otago, Ying ZouQueen's University, Kingston, Ontario, Ahmed E. HassanQueen's University Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 01:13 - 01:25 Talk | Lingchao ChenThe University of Texas at Dallas, Foyzul HassanUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Lingming ZhangThe University of Texas at Dallas | |||||||||||||||||||||||||||||||||||||||||
| 01:25 - 01:37 Talk | Ying WangNortheastern University, China, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Yibo WangNortheastern University, Zhenming LiNortheastern University, Chao WangUniversity of Southern California, Hai YuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Chang XuNanjing University, Zhiliang ZhuNortheastern University, China | |||||||||||||||||||||||||||||||||||||||||
| 01:37 - 01:49 Talk | Shurui ZhouCarnegie Mellon University, USA / University of Toronto, CA, Bogdan VasilescuCarnegie Mellon University, Christian KästnerCarnegie Mellon University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 02:10 - 03:00 Talk | Kush JainThe University of Texas at Austin, Karl PalmskogKTH Royal Institute of Technology, Ahmet CelikFacebook, Inc., Emilio Jesús Gallego AriasINRIA, Milos GligoricThe University of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 02:10 - 03:00 Talk | Jian LiuEast China Normal University, Xusheng XiaoCase Western Reserve University, Lihua XuNew York University Shanghai, Liang DouEast China Normal University, Andy PodgurskiCase Western University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:08 Talk | DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:08 - 15:20 Talk | Jue WangNanjing University, Yanyan JiangNanjing University, Chang XuNanjing University, Chun CaoNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:32 | ||||||||||||||||||||||||||||||||||||||||||