research
∙
07/19/2023
Cross-thread critical sections and efficient dynamic race prediction methods
The lock set method and the partial order method are two main approaches...
share
research
∙
09/18/2022
A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go
Featherweight Generic Go (FGG) is a minimal core calculus modeling the e...
research
∙
06/20/2022
Semantic preservation for a type directed translation scheme of Featherweight Go
Featherweight Go (FG) is a minimal core calculus that includes essential...
research
∙
06/28/2021
A Dictionary-Passing Translation of Featherweight Go
The Go programming language is an increasingly popular language but some...
research
∙
07/20/2020
Visual Testing of GUIs by Abstraction
Ensuring the correct visual appearance of graphical user interfaces (GUI...
research
∙
04/15/2020
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)
Dynamic data race prediction aims to identify races based on a single pr...
research
∙
09/07/2019
Predicting All Data Race Pairs for a Specific Schedule (extended version)
We consider the problem of data race prediction where the program's beha...
research
∙
05/26/2019
Data Race Prediction for Inaccurate Traces
Happens-before based data race prediction methods infer from a trace of ...
research
∙
07/10/2018
Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks
Understanding the run-time behavior of concurrent programs is a challeng...
research
∙
09/05/2017
Trace-Based Run-time Analysis of Message-Passing Go Programs
We consider the task of analyzing message-passing programs by observing ...
research
∙
08/24/2017