MSR 2020
Mon 25 - Tue 26 May 2020 Yongsan-gu, Seoul, South Korea
co-located with ICSE 2020
VenueSeoul Dragon City
Room nameTBD6
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 27 May

icse-2020-paper-presentations
10:50 - 12:30: Paper Presentations - Debugging 1 at TBD6
icse-2020-Journal-First10:50 - 11:05
Talk
Haijun WangAnt Financial Services Group, China; CSSE, Shenzhen University, China, Yun LinNational University of Singapore, Zijiang YangWestern Michigan University, Jun SunSingapore Management University, Singapore, Yang LiuNanyang Technological University, Singapore, Jin Song DongNational University of Singapore, Qinghua ZhengXi'an Jiaotong University, Ting LiuXi'an Jiaotong University
icse-2020-Journal-First11:05 - 11:20
Talk
Ming WenHuazhong University of Science and Technology, China, Junjie ChenTianjin University, Yongqiang TIANThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan HaoPeking University, Shi HanMicrosoft Research, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
icse-2020-New-Ideas-and-Emerging-Results11:20 - 11:30
Talk
Rodrigo AlmeidaFederal University of Ceará, Joseane PaivaFederal University of Ceará, Rossana AndradeFederal University of Ceará, Ticianne DarinFederal University of Ceará
icse-2020-papers11:30 - 11:50
Talk
Lukas KirschnerSaarland University, Ezekiel O. SoremekunCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
icse-2020-Software-Engineering-in-Practice11:50 - 12:10
Talk
Rebecca QianFacebook, Inc., Yang YuPurdue University, Wonhee ParkFacebook, Inc., Vijayaraghavan MuraliFacebook, Inc., Stephen J FinkFacebook, Satish ChandraFacebook
icse-2020-papers12:10 - 12:30
Talk
Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
icse-2020-paper-presentations
14:00 - 15:40: Paper Presentations - Debugging 2 at TBD6
icse-2020-papers14:00 - 14:20
Talk
Boyuan ChenYork University, Zhen Ming (Jack) JiangYork University
icse-2020-Software-Engineering-in-Practice14:20 - 14:40
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
icse-2020-Journal-First14:40 - 14:55
Talk
Zhongxin LiuZhejiang University, Xin XiaMonash University, David LoSingapore Management University, Zhenchang XingAustralia National University, Ahmed E. HassanQueen's University, Shanping LiZhejiang University
icse-2020-Journal-First14:55 - 15:10
Talk
Xuan HuoNanjing University, Ferdian ThungSingapore Management University, Ming LiNanjing University, David LoSingapore Management University, Shu-Ting ShiNanjing University
icse-2020-Journal-First15:10 - 15:25
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
icse-2020-Journal-First15:25 - 15:40
Talk
Yi ZengConcordia University, Jinfu ChenConcordia University, Canada, Weiyi (Ian) ShangConcordia University, Canada, Tse-Hsun (Peter) ChenConcordia University
icse-2020-paper-presentations
16:10 - 17:50: Paper Presentations - Program Repair at TBD6
icse-2020-Journal-First16:10 - 16:25
Talk
Anil KoyuncuUniversity of Luxembourg, Luxembourg, Kui LiuUniversity of Luxembourg, Tegawendé F. BissyandéSnT, University of Luxembourg, Dongsun KimFuriosa.ai, Jacques KleinUniversity of Luxembourg, SnT, Martin MonperrusKTH Royal Institute of Technology, Yves Le TraonUniversity of Luxembourg
Pre-print
icse-2020-papers16:25 - 16:45
Talk
Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas
icse-2020-Journal-First16:45 - 17:00
Talk
Zimin ChenKTH Royal Institute of Technology, Steve KommruschColorado State University, Michele TufanoCollege of William and Mary, Louis-Noel PouchetColorado State University, Denys PoshyvanykWilliam and Mary, Martin MonperrusKTH Royal Institute of Technology
icse-2020-papers17:00 - 17:20
Talk
Kui LiuUniversity of Luxembourg, 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
icse-2020-Journal-First17:20 - 17:35
Talk
Paul MunteanTU Munich, Martin MonperrusKTH Royal Institute of Technology, Hao SunUnaffiliated, Jens GrossklagsTechnical University of Munich, Claudia EckertTechnical University of Munich
icse-2020-Journal-First17:35 - 17:50
Talk
Mohammadreza GhanavatiHeidelberg University, Diego CostaConcordia University, Canada, Janos SeboekHeidelberg University, David LoSingapore Management University, Artur AndrzejakHeidelberg University

Thu 28 May

icse-2020-paper-presentations
10:50 - 12:30: Paper Presentations - Static Analysis 1 at TBD6
icse-2020-papers10:50 - 11:10
Talk
Qingkai ShiHong Kong University of Science and Technology, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Gang FanHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
icse-2020-Software-Engineering-in-Practice11:10 - 11:30
Talk
Cong WangTsinghua University, Mingrui ZhangTsinghua University, Beijing, China, Yu Jiang, Huafeng ZhangHuawei Technologies, Hangzhou, China, Zhenchang XingAustralia National University, Ming Gu
icse-2020-papers11:30 - 11:50
Talk
Rijnard van TonderSourcegraph, Claire Le GouesCarnegie Mellon University
icse-2020-papers11:50 - 12:10
Talk
Qingkai ShiHong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
icse-2020-New-Ideas-and-Emerging-Results12:10 - 12:20
Talk
Qi XinGeorgia Institute of Technology, Myeongsoo KimGeorgia Institute of Technology, Qirun ZhangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2020-New-Ideas-and-Emerging-Results12:20 - 12:30
Talk
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia
icse-2020-paper-presentations
14:00 - 15:40: Paper Presentations - Static Analysis 2 at TBD6
icse-2020-papers14:00 - 14:20
Talk
Ramanathan RamuIowa State University, Ganesha UpadhyayaHarmony.one, Hoan Anh NguyenAmazon, Hridesh RajanIowa State University
icse-2020-papers14:20 - 14:40
Talk
Li SuiMassey University, New Zealand, Jens DietrichVictoria University of Wellington, Amjed TahirMassey University, George FourtounisUniversity of Athens
Pre-print
icse-2020-papers14:40 - 15:00
Talk
Manuel BenzUniversity of Paderborn, Erik Krogh KristensenAarhus University, Denmark, Linghui LuoPaderborn University, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas ZellerCISPA Helmholtz Center for Information Security
Demonstrations15:00 - 15:10
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.
icse-2020-Journal-First15:10 - 15:25
Talk
Roman HaasCQSE GmbH, Rainer NiedermayrCQSE GmbH, Tobias RoehmCQSE GmbH, Sven ApelSaarland University
Pre-print
icse-2020-Journal-First15:25 - 15:40
Talk
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Fri 29 May

icse-2020-paper-presentations
10:50 - 12:30: Paper Presentations - Symbolic Execution at TBD6
icse-2020-papers10:50 - 11:10
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
icse-2020-papers11:10 - 11:30
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, Jun SunSingapore Management University, Singapore, Chun HuangNational University of Defense Technology, Wei DongSchool of Computer, National University of Defense Technology, China
Pre-print
icse-2020-papers11:30 - 11:50
Talk
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis
Demonstrations11:50 - 12:00
Talk
Muhammad Ali GulzarUniversity of California, Los Angeles, Madan MusuvathiMicrosoft Research, Miryung KimUniversity of California, Los Angeles
Demonstrations12:00 - 12:10
Talk
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
icse-2020-papers12:10 - 12:30
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
icse-2020-paper-presentations
14:00 - 15:40: Paper Presentations - Software Verification at TBD6
icse-2020-papers14:00 - 14:20
Talk
Martin KelloggUniversity of Washington, Seattle, Manli RanUniversity of California, Riverside, Manu SridharanUniversity of California Riverside, Martin SchäfAmazon Web Services, USA, Michael D. ErnstUniversity of Washington, USA
Demonstrations14:20 - 14:30
Talk
Kush JainThe University of Texas at Austin, Karl PalmskogUniversity of Texas at Austin, Ahmet CelikFacebook, Inc., Emilio Jesús Gallego AriasINRIA, Milos GligoricThe University of Texas at Austin
icse-2020-New-Ideas-and-Emerging-Results14:30 - 14:40
Talk
Jude AnilTCS Research, Sumanth PrabhuTCS Research, Kumar MadhukarTCS Innovation Labs (TRDDC), R Venkatesh
icse-2020-papers14:40 - 15:00
Talk
Alexandra BugariuETH Zurich, Peter MüllerETH Zurich
icse-2020-Software-Engineering-in-Practice15:00 - 15:20
Talk
Nathan ChongAmazon, Byron CookAmazon, Konstantinos KallasUniversity of Pennsylvania, Kareem KhazemAmazon, Felipe R. MonteiroAmazon Web Services, Daniel Schwartz-NarbonneAmazon, n.n., Serdar TasiranAmazon, n.n., Michael TautschnigAmazon Web Services, Mark R. TuttleAmazon
Demonstrations15:20 - 15:30
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
icse-2020-New-Ideas-and-Emerging-Results15:30 - 15:40
Talk
Alyas AlmaawiThe University of Texas at Austin, Nima DiniUniversity of Texas at Austin, Cagdas YelenThe University of Texas at Austin, Milos GligoricThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
icse-2020-paper-presentations
16:00 - 17:00: Paper Presentations - Code Generation at TBD6
icse-2020-Software-Engineering-in-Practice16:00 - 16:20
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
icse-2020-New-Ideas-and-Emerging-Results16:20 - 16:30
Talk
Marcelo d'AmorimFederal University of Pernambuco, Rui AbreuInstituto Superior Técnico, U. Lisboa & INESC-ID, Carlos MelloFederal University of Pernambuco
icse-2020-New-Ideas-and-Emerging-Results16:30 - 16:40
Talk
Djamel Eddine KhelladiCNRS, France, Benoit CombemaleUniversity of Toulouse and Inria, Mathieu Acher(Univ Rennes, Inria, IRISA), Olivier Barais(Univ Rennes, Inria, IRISA)
icse-2020-papers16:40 - 17:00
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

Wed 27 May 2020

Room10:003011:003012:003013:003014:003015:003016:003017:0030
TBD6

Thu 28 May 2020

Room10:003011:003012:003013:003014:003015:0030
TBD6

Fri 29 May 2020

Room10:003011:003012:003013:003014:003015:003016:003017:0030
TBD6

Wed 27 May 2020

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
TBD6

Fri 29 May 2020

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
TBD6