MaLTeSQuE 2022
Mon 14 - Fri 18 November 2022
Singapore
co-located with
ESEC/FSE 2022
Toggle navigation
Attending
Venue: NUS U-Town
Program
MaLTeSQuE Program
Your Program
Mon 14 Nov
Tue 15 Nov
Wed 16 Nov
Thu 17 Nov
Fri 18 Nov
Track/Call
Organization
MaLTeSQuE 2022 Committees
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ESEC/FSE 2022
(
series
) /
MaLTeSQuE 2022 (
series
) /
NUS U-Town
/
Room information: SRC LT 52
Venue
NUS U-Town
Room name
SRC LT 52
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 14 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
11:00 - 12:30
ESEC/FSE 20 Community
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Everton Guimaraes
Pennsylvania State University, USA
11:00
15m
Talk
A Theory of the Engagement in Open Source Projects via Summer of Code Programs
ESEC/FSE 2020
Jefferson Silva
PUC-SP, Brazil
,
Igor Wiese
Federal University of Technology - Paraná (UTFPR)
,
Daniel M. German
,
Christoph Treude
University of Melbourne
,
Marco Gerosa
Northern Arizona University, USA
,
Igor Steinmacher
Northern Arizona University, USA
11:15
15m
Talk
Community Expectations for Research Artifacts and Evaluation Processes
ESEC/FSE 2020
Ben Hermann
TU Dortmund
,
Stefan Winter
LMU Munich
,
Janet Siegmund
Chemnitz University of Technology
DOI
Media Attached
11:30
15m
Talk
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion Across the npm Ecosystem
ESEC/FSE 2020
Hemank Lamba
,
Asher Trockman
Carnegie Mellon University, USA
,
Daniel Armanios
Carnegie Mellon University, USA
,
Christian Kästner
Carnegie Mellon University
,
Heather Miller
Carnegie Mellon University, USA
,
Bogdan Vasilescu
Carnegie Mellon University, USA
14:00 - 15:30
ESEC/FSE 20 Perspectives
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
14:00
15m
Talk
Understanding Type Changes in Java
ESEC/FSE 2020
Ameya Ketkar
Oregon State University, USA
,
Nikolaos Tsantalis
Concordia University
,
Danny Dig
University of Colorado Boulder, USA
14:15
15m
Talk
Thinking Aloud about Confusing Code: A Qualitative Investigation of Program Comprehension and Atoms of Confusion
ESEC/FSE 2020
Dan Gopstein
New York University, USA
,
Anne-Laure Fayard
New York University, USA
,
Sven Apel
Saarland University
,
Justin Cappos
14:30
15m
Talk
An Empirical Study of Bots in Software Development: Characteristics and Challenges from a Practitioner’s Perspective
ESEC/FSE 2020
Linda Erlenhov
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
,
Francisco Gomes de Oliveira Neto
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
,
Philipp Leitner
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
Link to publication
Media Attached
14:45
15m
Talk
Understanding the Impact of GitHub Suggested Changes on Recommendations between Developers
ESEC/FSE 2020
Chris Brown
Virginia Tech
,
Chris Parnin
North Carolina State University
15:00
15m
Talk
API Method Recommendation via Explicit Matching of Functionality Verb Phrases
ESEC/FSE 2020
Wenkai Xie
Fudan University, China
,
Xin Peng
Fudan University
,
Mingwei Liu
Fudan University
,
Christoph Treude
University of Melbourne
,
Zhenchang Xing
CSIRO’s Data61; Australian National University
,
Xiaoxin Zhang
Fudan University
,
Wenyun Zhao
Fudan University, China
15:15
15m
Talk
On Decomposing a Deep Neural Network into Modules
ESEC/FSE 2020
Rangeet Pan
IBM Research
,
Hridesh Rajan
Iowa State University
16:00 - 17:30
ESEC/FSE 20 Services & APIs
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Cristian Cadar
Imperial College London, UK
16:00
15m
Talk
Exploring How Deprecated Python Library APIs Are (Not) Handled
ESEC/FSE 2020
Jiawei Wang
Monash University
,
Li Li
Monash University
,
Kui Liu
Huawei Software Engineering Application Technology Lab
,
Haipeng Cai
Washington State University
16:15
15m
Talk
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architecture Tactic to Guard AI-First Components
ESEC/FSE 2020
Alex Cummaudo
Applied Artificial Intelligence Institute, Deakin University
,
Scott Barnett
,
Rajesh Vasa
Deakin University, Australia
,
John Grundy
Monash University
,
Mohamed Abdelrazek
Deakin University, Australia
Tue 15 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
10:45 - 12:15
ESEC/FSE 20 Program Analysis I
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Haipeng Cai
Washington State University
10:45
15m
Talk
Inherent Vacuity for GR(1) Specifications
ESEC/FSE 2020
Shahar Maoz
Tel Aviv University, Israel
,
Rafi Shalom
Tel Aviv University, Israel
Link to publication
DOI
11:00
15m
Talk
Mining Input Grammars from Dynamic Control Flow
ESEC/FSE 2020
Rahul Gopinath
University of Sydney
,
Björn Mathis
CISPA, Germany
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Link to publication
DOI
11:15
15m
Talk
Flexeme: Untangling Commits Using Lexical Flows
ESEC/FSE 2020
Profir-Petru Pârțachi
National Institute of Informatics, Japan
,
Santanu Dash
University of Surrey, UK
,
Miltiadis Allamanis
Microsoft Research
,
Earl T. Barr
University College London
DOI
Pre-print
11:30
15m
Talk
Past-Sensitive Pointer Analysis for Symbolic Execution
ESEC/FSE 2020
David Trabish
Tel Aviv University
,
Timotej Kapus
Imperial College London, UK
,
Noam Rinetzky
Tel Aviv University
,
Cristian Cadar
Imperial College London, UK
11:45
15m
Talk
TypeWriter: Neural Type Prediction with Search-Based Validation
ESEC/FSE 2020
Michael Pradel
University of Stuttgart
,
Georgios Gousios
Endor Labs & Delft University of Technology
,
Jason Liu
Facebook, USA
,
Satish Chandra
Meta Platforms
12:00
15m
Talk
Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization
ESEC/FSE 2020
Dirk Beyer
LMU Munich
,
Karlheinz Friedberger
LMU Munich, Germany
DOI
Media Attached
14:00 - 15:30
ESEC/FSE 20 Software Testing I
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Arie van Deursen
Delft University of Technology
14:00
15m
Talk
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics
ESEC/FSE 2020
Claudio Mandrioli
Lund University, Sweden
,
Martina Maggio
Saarland University, Germany / Lund University, Sweden
DOI
Pre-print
14:15
15m
Talk
Search-Based Adversarial Testing and Improvement of Constrained Credit Scoring Systems
ESEC/FSE 2020
Salah Ghamizi
University of Luxembourg, Luxembourg
,
Maxime Cordy
University of Luxembourg, Luxembourg
,
Martin Gubri
University of Luxembourg, Luxembourg
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Andrey Boystov
University of Luxembourg, Luxembourg
,
Yves Le Traon
University of Luxembourg, Luxembourg
,
Anne Goujon
BGL BNP Paribas, Luxembourg
14:30
15m
Talk
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
ESEC/FSE 2020
Fabrice Harel-Canada
University of California at Los Angeles, USA
,
Lingxiao Wang
University of California at Los Angeles, USA
,
Muhammad Ali Gulzar
Virginia Tech, USA
,
Quanquan Gu
University of California at Los Angeles, USA
,
Miryung Kim
University of California at Los Angeles, USA
Link to publication
Authorizer link
Pre-print
14:45
15m
Talk
When Does My Program Do This? Learning Circumstances of Software Behavior
ESEC/FSE 2020
Alexander Kampmann
CISPA, Germany
,
Nikolas Havrikov
CISPA, Germany
,
Ezekiel Soremekun
SnT, University of Luxembourg
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Link to publication
DOI
15:00
15m
Talk
FrUITeR: A Framework for Evaluating UI Test Reuse
ESEC/FSE 2020
Yixue Zhao
University of Massachusetts at Amherst
,
Justin Chen
Columbia University, USA
,
Adriana Sejfia
University of Southern California
,
Marcelo Schmitt Laser
University of Southern California, USA
,
Jie M. Zhang
King's College London
,
Federica Sarro
University College London
,
Mark Harman
University College London
,
Nenad Medvidović
University of Southern California
Pre-print
Media Attached
Wed 16 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
11:00 - 12:30
ESEC/FSE 20 Software Testing II
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Xi Zheng
Macquarie University
11:00
15m
Talk
Model-Based Exploration of the Frontier of Behaviours for Deep Learning System Testing
ESEC/FSE 2020
Vincenzo Riccio
University of Udine
,
Paolo Tonella
USI Lugano
11:15
15m
Talk
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
ESEC/FSE 2020
Eduard Baranov
Université Catholique de Louvain, Belgium
,
Axel Legay
Université Catholique de Louvain, Belgium
,
Kuldeep S. Meel
National University of Singapore
11:30
15m
Talk
Fuzzing: On the Exponential Cost of Vulnerability Discovery
ESEC/FSE 2020
Marcel Böhme
MPI-SP, Germany and Monash University, Australia
,
Brandon Falk
Gamozo Labs, n.n.
DOI
Pre-print
11:45
15m
Talk
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
ESEC/FSE 2020
Marcel Böhme
MPI-SP, Germany and Monash University, Australia
,
Valentin Manès
KAIST, South Korea
,
Sang Kil Cha
KAIST, South Korea
DOI
Pre-print
14:00 - 15:30
ESEC/FSE 20 Program Analysis II
ESEC/FSE 2020
at
SRC LT 52
Chair(s):
Sergey Mechtaev
University College London
14:00
15m
Talk
A Behavioral Notion of Robustness for Software Systems
ESEC/FSE 2020
Changjian Zhang
,
David Garlan
Carnegie Mellon University
,
Eunsuk Kang
Carnegie Mellon University
14:15
15m
Talk
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
ESEC/FSE 2020
Sooyoung Cha
Sungkyunkwan University, South Korea
,
Hakjoo Oh
Korea University
14:30
15m
Talk
Modular Collaborative Program Analysis in OPAL
ESEC/FSE 2020
Dominik Helm
TU Darmstadt, Germany
,
Florian Kübler
TU Darmstadt, Germany
,
Michael Reif
TU Darmstadt, Germany
,
Michael Eichberg
TU Darmstadt, Germany
,
Mira Mezini
TU Darmstadt
14:45
15m
Talk
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
ESEC/FSE 2020
Sahar Badihi
University of British Columbia, Canada
,
Faridah Akinotcho
University of British Columbia, Canada
,
Yi Li
Nanyang Technological University
,
Julia Rubin
University of British Columbia, Canada
15:00
15m
Talk
Towards Automated Verification of Smart Contract Fairness
ESEC/FSE 2020
Ye Liu
Nanyang Technological University, Singapore
,
Yi Li
Nanyang Technological University
,
Shang-Wei Lin
Nanyang Technological University
,
Rong Zhao
Nanyang Technological University, Singapore
Mon 14 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SRC LT 52
ESEC/FSE 2020
ESEC/FSE 20 Community
ESEC/FSE 2020
ESEC/FSE 20 Perspectives
ESEC/FSE 2020
ESEC/FSE 20 Services & APIs
Tue 15 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
SRC LT 52
ESEC/FSE 2020
ESEC/FSE 20 Program Analysis I
ESEC/FSE 2020
ESEC/FSE 20 Software Testing I
Wed 16 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
SRC LT 52
ESEC/FSE 2020
ESEC/FSE 20 Software Testing II
ESEC/FSE 2020
ESEC/FSE 20 Program Analysis II
Mon 14 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
SRC LT 52
ESEC/FSE 2020
A Theory of the Engagement in Open Source Projects via Summer of Code P ...
11:00 - 11:15
ESEC/FSE 2020
Community Expectations for Research Artifacts and Evaluation Processes
11:15 - 11:30
ESEC/FSE 2020
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion A ...
11:30 - 11:45
ESEC/FSE 2020
Understanding Type Changes in Java
14:00 - 14:15
ESEC/FSE 2020
Thinking Aloud about Confusing Code: A Qualitative Investigation of Pro ...
14:15 - 14:30
ESEC/FSE 2020
An Empirical Study of Bots in Software Development: Characteristics and ...
14:30 - 14:45
ESEC/FSE 2020
Understanding the Impact of GitHub Suggested Changes on Recommendations ...
14:45 - 15:00
ESEC/FSE 2020
API Method Recommendation via Explicit Matching of Functionality Verb P ...
15:00 - 15:15
ESEC/FSE 2020
On Decomposing a Deep Neural Network into Modules
15:15 - 15:30
ESEC/FSE 2020
Exploring How Deprecated Python Library APIs Are (Not) Handled
16:00 - 16:15
ESEC/FSE 2020
Beware the Evolving ‘Intelligent’ Web Service! An Integration Architect ...
16:15 - 16:30
Tue 15 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
SRC LT 52
ESEC/FSE 2020
Inherent Vacuity for GR(1) Specifications
10:45 - 11:00
ESEC/FSE 2020
Mining Input Grammars from Dynamic Control Flow
11:00 - 11:15
ESEC/FSE 2020
Flexeme: Untangling Commits Using Lexical Flows
11:15 - 11:30
ESEC/FSE 2020
Past-Sensitive Pointer Analysis for Symbolic Execution
11:30 - 11:45
ESEC/FSE 2020
TypeWriter: Neural Type Prediction with Search-Based Validation
11:45 - 12:00
ESEC/FSE 2020
Domain-Independent Interprocedural Program Analysis using Block-Abstrac ...
12:00 - 12:15
ESEC/FSE 2020
Testing Self-Adaptive Software with Probabilistic Guarantees on Perform ...
14:00 - 14:15
ESEC/FSE 2020
Search-Based Adversarial Testing and Improvement of Constrained Credit ...
14:15 - 14:30
ESEC/FSE 2020
Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks?
14:30 - 14:45
ESEC/FSE 2020
When Does My Program Do This? Learning Circumstances of Software Behavior
14:45 - 15:00
ESEC/FSE 2020
FrUITeR: A Framework for Evaluating UI Test Reuse
15:00 - 15:15
Wed 16 Nov
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
SRC LT 52
ESEC/FSE 2020
Model-Based Exploration of the Frontier of Behaviours for Deep Learning ...
11:00 - 11:15
ESEC/FSE 2020
Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage
11:15 - 11:30
ESEC/FSE 2020
Fuzzing: On the Exponential Cost of Vulnerability Discovery
11:30 - 11:45
ESEC/FSE 2020
Boosting Fuzzer Efficiency: An Information Theoretic Perspective
11:45 - 12:00
ESEC/FSE 2020
A Behavioral Notion of Robustness for Software Systems
14:00 - 14:15
ESEC/FSE 2020
Making Symbolic Execution Promising by Learning Aggressive State-Prunin ...
14:15 - 14:30
ESEC/FSE 2020
Modular Collaborative Program Analysis in OPAL
14:30 - 14:45
ESEC/FSE 2020
ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction ...
14:45 - 15:00
ESEC/FSE 2020
Towards Automated Verification of Smart Contract Fairness
15:00 - 15:15
x
Sun 24 Nov 08:10