Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Tue 25 May 2021 11:30 - 13:30 at SRC Room 1 - SRC Poster Session 1 Chair(s): Aurora Ramírez, Sergio Segura

The work of Fuzz has pioneered the use of functional programming languages where types allow to reason about the sensitivity of programs. Fuzz and subsequent work (e.g., DFuzz and Duet) use technical devices like linear types, modal types, and partial evaluation. These features usually require the design of a new programming language from scratch—a major task on its own! While these features are part of the classical toolbox of programming languages, they are often rather obscure for non-programming language experts. In this work, we explore a different direction. We propose the design of a library capable to calculate the sensitivity of programs. The library is built on a novel use of polymorphism to represent (and prove) the sensitivity of functions together with the use of type constraints and type-level natural numbers. We show how our approach can be used to reason about the sensitivity of classical examples working over vectors, such as sum, map, and sort – we leave reasoning about more complex programs for future work. Our library, called DSencity, is implemented with just 360 lines of Haskell code.

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:30 - 13:30
SRC Poster Session 1SRC - ACM Student Research Competition at SRC Room 1
Chair(s): Aurora Ramírez University of Córdoba, Sergio Segura Universidad de Sevilla
11:30
2h
Poster
Effect on brain activity while programming with (without) musicACM SRC
SRC - ACM Student Research Competition
Ananga Thapaliya Innopolis University, Russia
Media Attached
11:30
2h
Poster
Anomaly Detection in Scratch AssignmentsACM SRC
SRC - ACM Student Research Competition
Nina Körber University of Passau
Pre-print Media Attached File Attached
11:30
2h
Poster
Testing Object Detection for Autonomous Driving Systems via 3D ReconstructionACM SRC
SRC - ACM Student Research Competition
Jinyang Shao Wuhan University, China
Pre-print Media Attached
11:30
2h
Poster
Scalable Call Graph Constructor for MavenACM SRC
SRC - ACM Student Research Competition
Mehdi Keshani Delft University of Technology
Pre-print Media Attached File Attached
11:30
2h
Poster
System Component-Level Self-Adaptations for Security via Bayesian GamesACM SRC
SRC - ACM Student Research Competition
Mingyue Zhang Peking University, China
Pre-print Media Attached
11:30
2h
Poster
SetDroid: Detecting User-configurable Setting Issues of Android Apps via Metamorphic FuzzingACM SRC
SRC - ACM Student Research Competition
Jingling Sun East China Normal University, China
Media Attached File Attached
11:30
2h
Poster
Let's not make a fuzz about itACM SRC
SRC - ACM Student Research Competition
Elisabet Lobo-Vesga Chalmers University of Technology, Sweden
Pre-print Media Attached
11:30
2h
Poster
MUTAGEN: Faster Mutation-Based Random TestingACM SRC
SRC - ACM Student Research Competition
Agustín Mista Chalmers University of Technology
Pre-print Media Attached
11:30
2h
Poster
Detecting User-Perceived Service Failure in Mobile Applications via Mining User TracesACM SRC
SRC - ACM Student Research Competition
Deyu Tian Peking University
Pre-print Media Attached
11:30
2h
Poster
Metamorphic Testing of Autonomous Vehicles: a Case Study on SimulinkACM SRC
SRC - ACM Student Research Competition
Pablo Valle University of Mondragon
Pre-print Media Attached
11:30
2h
Poster
Distribution Awareness for AI System TestingACM SRC
SRC - ACM Student Research Competition
David Berend Nanyang Technological University, Singapore
Pre-print Media Attached