Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
VenueHilton San Diego Mission Valley
Room nameCortez 1
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Tue 12 Nov
Times are displayed in time zone: Tijuana, Baja California change

10:40 - 12:20: Testing and CoveragePapers / Research Papers / Demonstrations / Journal First Presentations / Industry Showcase at Cortez 1
Chair(s): Jonathan BellGeorge Mason University
10:40 - 11:00
Talk
Research Papers
Yibiao YangHuazhong University of Science and Technology, Yanyan JiangNanjing University, Zhiqiang ZuoNanjing University, China, Yang WangNanjing University, Hao SunUnaffiliated, Hongmin LuNanjing University, Yuming ZhouNanjing University, Baowen XuNanjing University
Pre-print
11:00 - 11:20
Talk
Research Papers
Ariel GodioDept. of Software Engineering Instituto Tecnológico de Buenos Aires, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:20 - 11:40
Talk
Journal First Presentations
Hung Viet NguyenGoogle LLC, USA, Hung Dang PhanECpE Department, Iowa State University, Christian KästnerCarnegie Mellon University, Tien N. NguyenUniversity of Texas at Dallas
Link to publication
11:40 - 12:00
Talk
Industry Showcase
Susumu TokumotoFujitsu Laboratories Ltd., Kuniharu TakayamaFujitsu Laboratories Ltd.
Media Attached
12:00 - 12:10
Demonstration
Demonstrations
Dirk BeyerLMU Munich, Thomas LembergerLMU Munich
Pre-print Media Attached File Attached
12:10 - 12:20
Demonstration
Demonstrations
Chijin ZhouTsinghua University, Mingzhe WangTsinghua University, Jie LiangTsinghua University, Zhe LiuNanjing University of Aeronautics and Astronautics, Chengnian SunWaterloo University, Yu JiangTsinghua University
13:40 - 15:20: Testing and VerificationPapers / Research Papers / Demonstrations / Industry Showcase at Cortez 1
Chair(s): Weihang WangUniversity at Buffalo, SUNY
13:40 - 14:00
Talk
Research Papers
Nikolas HavrikovCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Pre-print
14:00 - 14:20
Talk
Research Papers
Devika SondhiIIIT Delhi, Rahul PurandareIIIT-Delhi
Pre-print
14:20 - 14:40
Talk
Research Papers
Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Tingting YuUniversity of Kentucky, Xiangke LiaoNational University of Defense Technology, China, Ji WangNational University of Defense Technology, Xiaodong LiuNational University of Defense Technology, Yunhuai LiuPeking University
14:40 - 15:00
Talk
Industry Showcase
Ahyoung SungSamsung Electronics, Yangsu KimSamsung Electronics, Sangjun KimSamsung Electronics, Jongin KimSamsung Electronics, Neo JangSamsung Electronics
15:00 - 15:10
Talk
Research Papers
Jonathan Osei-OwusuUniversity of Illinois at Urbana-Champaign, Angello AstorgaUniversity of Illinois at Urbana-Champaign, Liia ButlerUniversity of Illinois at Urbana-Champaign, Tao XiePeking University, Geoffrey ChallenUniversity of Illinois at Urbana-Champaign
15:10 - 15:20
Demonstration
Demonstrations
Camilo Escobar-VelásquezUniversidad de los Andes, Michael Osorio-RiañoUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:00 - 17:40: Testing and VisualizationPapers / Demonstrations / Research Papers / Journal First Presentations at Cortez 1
Chair(s): Amin AlipourUniversity of Houston
16:00 - 16:20
Talk
Research Papers
Junjie ChenTianjin University, Guancheng WangPeking University, Dan HaoPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Lu ZhangPeking University
16:20 - 16:40
Talk
Research Papers
Junjie ChenTianjin University
16:40 - 17:00
Talk
Research Papers
Umair Z. AhmedNational University of Singapore, Renuka SindhgattaQueensland University of Technology, Australia, Nisheeth SrivastavaIndian Institute of Technology, Kanpur, Amey KarkareIIT Kanpur
Link to publication Pre-print
17:00 - 17:20
Talk
Journal First Presentations
Giovanni GranoUniversity of Zurich, Fabio PalombaDepartment of Informatics, University of Zurich, Harald GallUniversity of Zurich
Link to publication Pre-print
17:20 - 17:30
Demonstration
Demonstrations
Cyrille ArthoKTH Royal Institute of Technology, Sweden, Monali PandeKTH Royal Institute of Technology, Qiyi TangUniversity of Oxford
17:30 - 17:40
Demonstration
Demonstrations
Xufan ZhangState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue YinState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang FengUniversity of California, Irvine, Qingkai ShiHong Kong University of Science and Technology, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu ChenNanjing University

Wed 13 Nov
Times are displayed in time zone: Tijuana, Baja California change

10:40 - 12:20: Testing and Program AnalysisPapers / Research Papers / Demonstrations at Cortez 1
Chair(s): Jun SunSingapore Management University, Singapore
10:40 - 11:00
Talk
Research Papers
Louis G. Michael IVVirginia Tech, James DonohueUniversity of Bradford, James C. DavisVirginia Tech, USA, Dongyoon LeeStony Brook University, Francisco ServantVirginia Tech
Pre-print File Attached
11:00 - 11:20
Talk
Research Papers
James C. DavisVirginia Tech, USA, Daniel MoyerVirginia Tech, Ayaan M. KazerouniVirginia Tech, Dongyoon LeeStony Brook University
Pre-print File Attached
11:20 - 11:40
Talk
Research Papers
Elena ShermanBoise State University, Andrew HarrisBoise State University
11:40 - 12:00
Talk
Research Papers
William EiersUniversity of California at Santa Barbara, USA, Seemanta SahaUniversity of California Santa Barbara, Tegan BrennanUniversity of California, Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara
12:00 - 12:10
Demonstration
Demonstrations
Xutong MaInstitute of Software, Chinese Academy of Sciences, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangInstitute of Software, Chinese Academy of Sciences
12:10 - 12:20
Demonstration
Demonstrations
Ignacio LagunaLawrence Livermore National Laboratory
13:40 - 15:20: Verification and Bug DetectionPapers / Demonstrations / Research Papers at Cortez 1
Chair(s): Raghavan KomondoorIndian Institute of Science, Bangalore
13:40 - 14:00
Talk
Research Papers
Ahmet CelikThe University of Texas at Austin, Karl PalmskogUniversity of Texas at Austin, Marinela ParovicThe University of Texas at Austin, Emilio Jesús Gallego AriasMINES ParisTech, Milos GligoricThe University of Texas at Austin
14:00 - 14:20
Talk
Research Papers
Jiaxiang LiuShenzhen University, Xiaomu ShiShenzhen University, Ming-Hsien TsaiAcademia Sinica, Taiwan, Bow-Yaw WangAcademia Sinica, Bo-Yin YangAcademia Sinica
Pre-print
14:20 - 14:40
Talk
Research Papers
Dongwoo KimKyungpook National University, Yunja ChoiKyungpook National University
Pre-print
14:40 - 15:00
Talk
Research Papers
Frédéric RecoulesCEA LIST, Sebastien BardinCEA LIST, Richard BonichonCEA LIST, Laurent MounierUniversité Grenoble Alpes, Marie-Laure PotetUniversité Grenoble Alpes
DOI Pre-print
15:00 - 15:10
Demonstration
Demonstrations
Mohammad AfzalTata Cosultancy Services, A AsiaTata Cosultancy Services, Avriti ChauhanTata Cosultancy Services, Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services, Advaita DatarTata Consultancy Services Ltd, Shrawan KumarTata Cosultancy Services, R VenkateshTata Research Development and Design Centre
15:10 - 15:20
Demonstration
Demonstrations
Da LiState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan WangState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang XuNanjing University, Ruiqing ZhangSearch Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing MaState Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University
16:00 - 17:40: PredictionPapers / Research Papers / Journal First Presentations at Cortez 1
Chair(s): Xin XiaMonash University
16:00 - 16:20
Talk
Research Papers
Xiaoyu LiuDepartment of Computer Science and Engineering, Southern Methodist University, Liguo HuangDept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Jidong GeState Key Laboratory for Novel Software and Technology, Nanjing University, Vincent NgHuman Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
16:20 - 16:40
Talk
Research Papers
Lina GongChina University of Mining and Technology, Shujuan JiangChina University of Mining and Technology, Rongcun WangChina University of Mining and Technology, Li JiangChina University of Mining and Technology
16:40 - 17:00
Talk
Research Papers
Son NguyenThe University of Texas at Dallas, Tien N. NguyenUniversity of Texas at Dallas, Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA
17:00 - 17:20
Talk
Journal First Presentations
Toshiki MoriCorporate Software Engineering & Technology Center, Toshiba Corporation, Naoshi UchihiraSchool of Knowledge Science, Japan Advanced Institute of Science and Technology (JAIST)
Link to publication File Attached
17:20 - 17:40
Talk
Journal First Presentations
Luca PascarellaDelft University of Technology, Fabio PalombaDepartment of Informatics, University of Zurich, Alberto BacchelliUniversity of Zurich
Link to publication

Thu 14 Nov
Times are displayed in time zone: Tijuana, Baja California change

10:40 - 12:20: ConcurrencyPapers / Research Papers / Demonstrations at Cortez 1
Chair(s): Elena ShermanBoise State University
10:40 - 11:00
Talk
Research Papers
Zan WangCollege of Intelligence and Computing, Tianjin University, Yingquan ZhaoCollege of Intelligence and Computing, Tianjin University, Shuang LiuCollege of Intelligence and Computing, Tianjin University, Jun SunSingapore Management University, Singapore, Xiang ChenSchool of Information Science and Technology, Nantong University, Huarui LinCollege of Intelligence and Computing, Tianjin University
11:00 - 11:20
Talk
Research Papers
Jiange ZhangUniversity of Colorado Colorado Springs, Qing YiUniversity of Colorado Colorado Springs, Damian DechevUniversity of Central Florida
Pre-print
11:20 - 11:40
Talk
Research Papers
Mingyuan WuSouthern University of Science and Technology, Lingming ZhangThe University of Texas at Dallas, Cong LiuEindhoven University of Technology, Shin Hwei TanSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology
11:40 - 12:00
Talk
Research Papers
Ernest Bota PobeeCity University of Hong Kong, Xiupei MeiCity University of Hong Kong, Wing-Kwong ChanCity University of Hong Kong, Hong Kong
12:00 - 12:10
Demonstration
Demonstrations
Bernd FischerStellenbosch University, Salvatore La TorreUniversità degli Studi di Salerno, Gennaro ParlatoUniversity of Molise
12:10 - 12:20
Demonstration
Demonstrations
Ruijie MengUniversity of Chinese Academy of Sciences, Biyun ZhuUniversity of Chinese Academy of Sciences, Hao YunUniversity of Chinese Academy of Sciences, Haicheng LiUniversity of Chinese Academy of Sciences, Yan CaiInstitute of Software, Chinese Academy of Sciences, Zijiang YangWestern Michigan University
13:40 - 15:20: Program AnalysisPapers / Research Papers / Demonstrations at Cortez 1
Chair(s): Coen De RooverVrije Universiteit Brussel
13:40 - 14:00
Talk
Research Papers
Brandon PaulsenUniversity of Southern California, Chungha SungUniversity of Southern California, Peter PetersonUniversity of Minnesota Duluth, Chao WangUSC
14:00 - 14:20
Talk
Research Papers
Martin NowackImperial College London
14:20 - 14:40
Talk
Research Papers
Dongliang MuNanjing University, Wenbo GuoThe Pennsylvania State University, Alejandro CuevasThe Pennsylvania State University, Yueqi ChenThe Pennsylvania State University, Jinxuan GaiThe Pennsylvania State University, Xinyu XingThe Pennsylvania State University, Bing MaoNanjing University, Chengyu SongUC Riverside
14:40 - 15:00
Talk
Research Papers
Pre-print
15:00 - 15:10
Demonstration
Demonstrations
Mark MossbergTrail of Bits, Felipe ManzanoTrail of Bits, Eric HennenfentTrail of Bits, Alex GroceTrail of Bits, Gustavo GriecoTrail of Bits, Josselin FeistTrail of Bits, Trent BrunsonTrail of Bits, Artem DinaburgTrail of Bits
Media Attached
15:10 - 15:20
Demonstration
Demonstrations
Pavan ChittimalliTCS Research, Kritika AnandTCS Research, Shrishti PradhanTCS Research, Sayandeep MitraTCS Research, Chandan PrakashTCS Research, Rohit ShereTCS Research, Ravindra NaikTCS Research, TRDDC, India
16:00 - 17:40: Emerging DomainsPapers / Demonstrations / Journal First Presentations / Research Papers at Cortez 1
Chair(s): Joshua GarciaUniversity of California, Irvine
16:00 - 16:20
Talk
Research Papers
Jeffrey PalmerinoRochester Institute of Technology, Qi YuRochester Institute of Technology, Travis Desell University of North Dakota, Daniel KrutzRochester Institute of Technology
Pre-print
16:20 - 16:40
Talk
Research Papers
Yuqi ChenSingapore University of Technology and Design, Singapore, Chris PoskittSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Sridhar AdepuSingapore University of Technology and Design, Singapore, Fan ZhangZhejiang University, Zhejiang Lab, and Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China
DOI Pre-print File Attached
16:40 - 17:00
Talk
Journal First Presentations
Man ZhangKristiania University, Shaukat AliSimula Research Lab, Tao YueNanjing University of Aeronautics and Astronautics & Simula Research Laboratory
Link to publication
17:00 - 17:20
Talk
Journal First Presentations
George MathewDepartment of Computer Science, North Carolina State University, Amritanshu AgrawalWayfair, Tim MenziesNorth Carolina State University
Link to publication
17:20 - 17:30
Demonstration
Demonstrations
Rohit MehraAccenture Labs, India, Vibhu Saujanya SharmaAccenture Labs, Vikrant KaulgudAccenture Labs, India, Sanjay PodderAccenture
17:30 - 17:40
Demonstration
Demonstrations
Zixin LiNanjing University, Haoran WuState Key Laboratory for Novel Software Technology, Nanjing University, Jiehui XuNanjing University, Xingya WangState Key Laboratory for Novel Software Technology, Nanjing University, Lingming ZhangThe University of Texas at Dallas, Zhenyu ChenNanjing University

Tue 12 Nov
Times are displayed in time zone: Tijuana, Baja California change

Wed 13 Nov
Times are displayed in time zone: Tijuana, Baja California change

Thu 14 Nov
Times are displayed in time zone: Tijuana, Baja California change

Tue 12 Nov
Times are displayed in time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1

Wed 13 Nov
Times are displayed in time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1

Thu 14 Nov
Times are displayed in time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cortez 1