Conversations on Analysis 3 (ESEC/FSE 2020 - Paper Presentations) - ESEC/FSE 2020

Write a Blog >>

Fri 6 - Mon 16 November 2020 Sacramento, California, United States

Who

Khouloud Gaaloul, Michael Pradel, Profir-Petru Pârțachi, Rahul Gopinath, Dan Hao

Track

ESEC/FSE 2020 Paper Presentations

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 12 Nov 2020 08:11 - 08:30 at Virtual room 1 - Analysis 3

Khouloud Gaaloul

University of Luxembourg, Luxembourg

Michael Pradel

University of Stuttgart, Germany

Germany

Profir-Petru Pârțachi

University College London, UK

Moldova

Rahul Gopinath

CISPA, Germany

Germany

Dan HaoModerator

Peking University, China

China

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

	08:00 - 08:30: Analysis 3Paper Presentations / Industry Papers / Research Papers at Virtual room 1

	08:00 - 08:02 Talk		Flexeme: Untangling Commits Using Lexical Flows Research Papers Profir-Petru PârțachiUniversity College London, UK, Santanu Kumar DashUniversity of Surrey, UK, Miltiadis AllamanisMicrosoft Research, UK, Earl T. BarrUniversity College London, UK DOI Pre-print Media Attached File Attached
	08:03 - 08:04 Talk		FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain Industry Papers Jincao FengEast China Normal University, Weikai MiaoEast China Normal University, China, Hanyue ZhengEast China Normal University, Yihao HuangEast China Normal University, Jianwen LiEast China Normal University, China, Zheng WangBeijing Sunwise Information Technology, China, Ting SuEast China Normal University, China, Bin GuBeijing Institute of Control Engineering, China, Geguang PuShanghai Trusted Industrial Control Platform, China, Mengfei YangChina Academy of Space Technology, China, Jifeng HeShanghai Key Lab of Trustworthy Computing, China DOI
	08:05 - 08:06 Talk		Mining Assumptions for Software Components using Machine Learning Research Papers Khouloud GaaloulUniversity of Luxembourg, Luxembourg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Shiva NejatiUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg, Lionel BriandUniversity of Ottawa, Canada / University of Luxembourg, Luxembourg, David WolfeQRA, Canada DOI
	08:07 - 08:08 Talk		Mining Input Grammars from Dynamic Control Flow Research Papers Rahul GopinathCISPA, Germany, Björn MathisCISPA, Germany, Andreas ZellerCISPA, Germany DOI
	08:09 - 08:10 Talk		TypeWriter: Neural Type Prediction with Search-Based Validation Research Papers Michael PradelUniversity of Stuttgart, Germany, Georgios GousiosFacebook & Delft University of Technology, Jason LiuFacebook, USA, Satish ChandraFacebook, USA DOI Pre-print Media Attached
	08:11 - 08:30 Talk		Conversations on Analysis 3 Paper Presentations Khouloud GaaloulUniversity of Luxembourg, Luxembourg, Michael PradelUniversity of Stuttgart, Germany, Profir-Petru PârțachiUniversity College London, UK, Rahul GopinathCISPA, Germany, M: Dan HaoPeking University, China