research
∙
02/10/2023
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots
Software bots fulfill an important role in collective software developme...
share
research
∙
12/27/2017
On the Scalability of the GPUexplore Explicit-State Model Checker
The use of graphics processors (GPUs) is a promising approach to speed u...
research
∙
12/27/2017
