Posters - SPIN 2021

Venueonline

Room namePosters

Room InformationNo extra information available

Program

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, ParisSelect 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

Save

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

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

20:40 - 21:10	Posters (time band 1)ECOOP and ISSTA Posters at Posters

20:40 30m Poster		Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
20:40 30m Poster		Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
20:40 30m Poster		Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
20:40 30m Poster		Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached
20:40 30m Poster		Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

02:20 - 02:50	Posters (time band 2)ECOOP and ISSTA Posters at Posters

02:20 30m Poster		KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
02:20 30m Poster		Techniques for Evaluating Pragmatic Call Graph Builders ECOOP and ISSTA Posters Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
02:20 30m Poster		Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
02:20 30m Poster		Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
02:20 30m Poster		Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study ECOOP and ISSTA Posters Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle File Attached
02:20 30m Poster		Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA

11:10 - 11:40	Posters (time band 3)ECOOP and ISSTA Posters at Posters

11:10 30m Poster		Exposing Previously Undetectable Faults in Deep Neural Networks ECOOP and ISSTA Posters Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
11:10 30m Poster		KLEEMA: A DSE based Mutation Analyser ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
11:10 30m Poster		Target Code-coverage in APP Automatic Compatibility Testing ECOOP and ISSTA Posters Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA
11:10 30m Poster		Native Implementation of Mutable Value Semantics ECOOP and ISSTA Posters Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
11:10 30m Poster		Toward Optimal MC/DC Test Case Generation ECOOP and ISSTA Posters Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
11:10 30m Poster		Refactoring Scala Programs to Promote Functional Design Patterns ECOOP and ISSTA Posters Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi File Attached
11:10 30m Poster		Can we run in parallel? Automating Loop Parallelization for TornadoVM ECOOP and ISSTA Posters Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	20:00						30						21:00						30
Posters									ECOOP and ISSTA Posters Posters (time band 1)

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30
Posters					ECOOP and ISSTA Posters Posters (time band 2)																																																																								ECOOP and ISSTA Posters Posters (time band 3)

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	20:00			15			30			45			21:00			15			30			45
Posters									ECOOP and ISSTA Posters Can we run in parallel? Automating Loop Parallelization for TornadoVM 20:40 - 21:10 Techniques for Evaluating Pragmatic Call Graph Builders 20:40 - 21:10 Exposing Previously Undetectable Faults in Deep Neural Networks 20:40 - 21:10 Refactoring Scala Programs to Promote Functional Design Patterns 20:40 - 21:10 Problems And Causes In Testing Microservices Architecture: A Systematic ... 20:40 - 21:10

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	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			10:00			15			30			45			11:00			15			30			45
Posters					ECOOP and ISSTA Posters KLEEMA: A DSE based Mutation Analyser 02:20 - 02:50 Techniques for Evaluating Pragmatic Call Graph Builders 02:20 - 02:50 Native Implementation of Mutable Value Semantics 02:20 - 02:50 Toward Optimal MC/DC Test Case Generation 02:20 - 02:50 Problems And Causes In Testing Microservices Architecture: A Systematic ... 02:20 - 02:50 Target Code-coverage in APP Automatic Compatibility Testing 02:20 - 02:50																																																																								ECOOP and ISSTA Posters Exposing Previously Undetectable Faults in Deep Neural Networks 11:10 - 11:40 KLEEMA: A DSE based Mutation Analyser 11:10 - 11:40 Target Code-coverage in APP Automatic Compatibility Testing 11:10 - 11:40 Native Implementation of Mutable Value Semantics 11:10 - 11:40 Toward Optimal MC/DC Test Case Generation 11:10 - 11:40 Refactoring Scala Programs to Promote Functional Design Patterns 11:10 - 11:40 Can we run in parallel? Automating Loop Parallelization for TornadoVM 11:10 - 11:40

Room information: Posters

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP and ISSTA Posters

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP and ISSTA Posters

ECOOP and ISSTA Posters

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Room information: Posters

Program Display Configuration

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP and ISSTA Posters

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP and ISSTA Posters

ECOOP and ISSTA Posters

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change