research
∙
05/01/2023
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
Psychoactive substances, which influence the brain to alter perceptions ...
share
research
∙
02/24/2022
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation
When vulnerabilities are discovered after software is deployed, source c...
research
∙
12/17/2021
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation
Cannabis is one of the most common mind-altering substances. It is used ...
research
∙
02/24/2021
Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study
Understanding how novices reason about coding at a neurological level ha...
research
∙
01/18/2021
MIMOSA: Reducing Malware Analysis Overhead with Coverings
There is a growing body of malware samples that evade automated analysis...
research
∙
06/27/2019
The State and Future of Genetic Improvement
We report the discussion session at the sixth international Genetic Impr...
research
∙
04/16/2019
Using Dynamic Analysis to Generate Disjunctive Invariants
Program invariants are important for defect detection, program verificat...
research
∙
03/28/2019
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
We prove that certain formulations of program synthesis and reachability...
research
∙
03/09/2018
The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities
Biological evolution provides a creative fount of complex and subtle ada...
research
∙
08/25/2017
