VORTEX 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
Program
VORTEX Program
Your Program
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
VORTEX 2021
VORTEX
ECOOP and ISSTA 2021
Workshops
Organization
VORTEX 2021 Committees
Track Committees
VORTEX
Organizing Committee
VORTEX
Program Committee
ECOOP and ISSTA
Workshops
Contributors
People Index
Search
Series
Series
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
VORTEX 2021 (
series
) /
online
/
Room information: ISSTA Demos
Venue
online
Room name
ISSTA Demos
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+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
18:00 - 18:05
ISSTA Tool Demos (One-Minute Teasers) 1
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
Michael Pradel
University of Stuttgart
18:00
5m
Other
One-Minute Teasers
ISSTA Tool Demonstrations
18:05 - 18:40
ISSTA Tool Demos (Live Discussion) 1
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
Michael Pradel
University of Stuttgart
18:05
35m
Live Q&A
RESTest: Automated Black-Box Testing of RESTful Web APIs
ISSTA Tool Demonstrations
Alberto Martin-Lopez
Universidad de Sevilla
,
Sergio Segura
Universidad de Sevilla
,
Antonio Ruiz-Cortés
University of Seville
18:05
35m
Live Q&A
C4: the C Compiler Concurrency Checker
ISSTA Tool Demonstrations
Matt Windsor
University of York
,
Alastair F. Donaldson
Imperial College London
,
John Wickerson
Imperial College London
18:05
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
ISSTA Tool Demonstrations
Alex Groce
Northern Arizona University
,
Gustavo Grieco
Trail of Bits
18:05
35m
Live Q&A
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
ISSTA Tool Demonstrations
Meng Ren
Tsinghua University
,
Fuchen Ma
Tsinghua University
,
Zijing Yin
Tsinghua University
,
Huizhong Li
WeBank
,
Ying Fu
Ant Group
,
Ting Chen
University of Electronic Science and Technology of China
,
Yu Jiang
Tsinghua University
18:05
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
ISSTA Tool Demonstrations
Roberto Natella
Federico II University of Naples
,
Thuan Pham
The University of Melbourne
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
01:00 - 01:05
ISSTA Tool Demos (One-Minute Teasers) 2
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
August Shi
University of Texas at Austin
01:00
5m
Other
One-Minute Teasers
ISSTA Tool Demonstrations
01:05 - 01:40
ISSTA Tool Demos (Live Discussion) 2
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
August Shi
University of Texas at Austin
01:05
35m
Live Q&A
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
ISSTA Tool Demonstrations
Hanlin Wei
The University of Queensland
,
Behnaz Hassanshahi
Oracle Labs, Australia
,
Guangdong Bai
University of Queensland
,
Paddy Krishnan
Oracle Labs, Australia
,
Kostyantyn Vorobyov
Oracle Labs, Australia
01:05
35m
Live Q&A
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
ISSTA Tool Demonstrations
Yunhan Hou
Nanjing University
,
Jiawei Liu
Nanjing University
,
Daiwei Wang
Nanjing University
,
Jiawei He
Nanjing University
,
Chunrong Fang
Nanjing University
,
Zhenyu Chen
Nanjing University
01:05
35m
Live Q&A
RESTest: Automated Black-Box Testing of RESTful Web APIs
ISSTA Tool Demonstrations
Alberto Martin-Lopez
Universidad de Sevilla
,
Sergio Segura
Universidad de Sevilla
,
Antonio Ruiz-Cortés
University of Seville
09:00 - 09:05
ISSTA Tool Demos (One-Minute Teasers) 3
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
Michael Pradel
University of Stuttgart
09:00
5m
Other
One-Minute Teasers
ISSTA Tool Demonstrations
09:05 - 09:40
ISSTA Tool Demos (Live Discussion) 3
ISSTA Tool Demonstrations
at
ISSTA Demos
Chair(s):
Michael Pradel
University of Stuttgart
09:05
35m
Live Q&A
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
ISSTA Tool Demonstrations
Meng Ren
Tsinghua University
,
Fuchen Ma
Tsinghua University
,
Zijing Yin
Tsinghua University
,
Huizhong Li
WeBank
,
Ying Fu
Ant Group
,
Ting Chen
University of Electronic Science and Technology of China
,
Yu Jiang
Tsinghua University
09:05
35m
Live Q&A
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
ISSTA Tool Demonstrations
Yunhan Hou
Nanjing University
,
Jiawei Liu
Nanjing University
,
Daiwei Wang
Nanjing University
,
Jiawei He
Nanjing University
,
Chunrong Fang
Nanjing University
,
Zhenyu Chen
Nanjing University
09:05
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
ISSTA Tool Demonstrations
Roberto Natella
Federico II University of Naples
,
Thuan Pham
The University of Melbourne
09:05
35m
Live Q&A
C4: the C Compiler Concurrency Checker
ISSTA Tool Demonstrations
Matt Windsor
University of York
,
Alastair F. Donaldson
Imperial College London
,
John Wickerson
Imperial College London
09:05
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
ISSTA Tool Demonstrations
Alex Groce
Northern Arizona University
,
Gustavo Grieco
Trail of Bits
09:05
35m
Live Q&A
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
ISSTA Tool Demonstrations
Hanlin Wei
The University of Queensland
,
Behnaz Hassanshahi
Oracle Labs, Australia
,
Guangdong Bai
University of Queensland
,
Paddy Krishnan
Oracle Labs, Australia
,
Kostyantyn Vorobyov
Oracle Labs, Australia
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
18:00
30
ISSTA Demos
ISSTA Tool Demonstrations
ISSTA Tool Demos (One-Minute Teasers) 1
ISSTA Tool Demonstrations
ISSTA Tool Demos (Live Discussion) 1
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
ISSTA Demos
ISSTA Tool Demonstrations
ISSTA Tool Demos (One-Minute Teasers) 2
ISSTA Tool Demonstrations
ISSTA Tool Demos (Live Discussion) 2
ISSTA Tool Demonstrations
ISSTA Tool Demos (One-Minute Teasers) 3
ISSTA Tool Demonstrations
ISSTA Tool Demos (Live Discussion) 3
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
18:00
15
30
45
ISSTA Demos
ISSTA Tool Demonstrations
One-Minute Teasers
18:00 - 18:05
ISSTA Tool Demonstrations
RESTest: Automated Black-Box Testing of RESTful Web APIs
18:05 - 18:40
C4: the C Compiler Concurrency Checker
18:05 - 18:40
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
18:05 - 18:40
SCStudio: A Secure and Efficient Integrated Development Environment for ...
18:05 - 18:40
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
18:05 - 18:40
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
ISSTA Demos
ISSTA Tool Demonstrations
One-Minute Teasers
01:00 - 01:05
ISSTA Tool Demonstrations
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
01:05 - 01:40
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
01:05 - 01:40
RESTest: Automated Black-Box Testing of RESTful Web APIs
01:05 - 01:40
ISSTA Tool Demonstrations
One-Minute Teasers
09:00 - 09:05
ISSTA Tool Demonstrations
SCStudio: A Secure and Efficient Integrated Development Environment for ...
09:05 - 09:40
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
09:05 - 09:40
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
09:05 - 09:40
C4: the C Compiler Concurrency Checker
09:05 - 09:40
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
09:05 - 09:40
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
09:05 - 09:40
x
Sat 23 Nov 13:00