AISTA 2022
Mon 18 - Fri 22 July 2022 Online
co-located with ISSTA 2022
VenueOnline
Room nameSponsors
Floor0
Room InformationNo extra information available
Program

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

Tue 19 Jul

Displayed time zone: Seoul change

04:00 - 05:00
AmazonISSTA Sponsors at Sponsors

Our applied scientists work at the intersection of theory and practice to drive scientific innovation and provide value for our customers. AWS Automated Reasoning teams are responsible for delivering tools that are called billions of times daily. Amazon development teams are integrating automated reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are built and operated.

04:00
60m
Amazon
ISSTA Sponsors

10:00 - 11:00
KRAFTONISSTA Sponsors at Sponsors

KRAFTON, creators of Player Unknown’s Battlegrounds(PUBG), provides a unique environment for researchers to collaborate with top tier engineers from AAA game makers to apply their academic findings to real-world products. We welcome you to join us and learn about ongoing deep learning research projects in KRAFTON to create virtual friend, and related opportunities (job, internship and academic collaboration).

10:00
60m
KRAFTON
ISSTA Sponsors

15:00 - 16:00
MicrosoftISSTA Sponsors at Sponsors

Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR.

15:00
60m
Microsoft
ISSTA Sponsors

Wed 20 Jul

Displayed time zone: Seoul change

04:00 - 05:00
VPlusLab Inc.ISSTA Sponsors at Sponsors

VPlusLab Inc. was founded by the KAIST professors who have developed automated software testing/debugging techniques with industries for 20 years. To improve software quality and reliability cost-effectively, we provide automated software testing tools, training, and services.

We welcome you to join us and learn about VPlusLab Inc. (https://vpluslab.kr) and its automated unit testing tool CROWN 2.0 (https://vpluslab.kr/crown2).

See also this video about VPlusLab Inc.

04:00
60m
VPlusLab Inc.
ISSTA Sponsors

Tue 19 Jul

Displayed time zone: Seoul change

Room4:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:0030
Sponsors

Wed 20 Jul

Displayed time zone: Seoul change

Tue 19 Jul

Displayed time zone: Seoul change

Room4:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Sponsors

Wed 20 Jul

Displayed time zone: Seoul change

Room4:00153045
Sponsors