Psychoactive substances, which influence the brain to alter perceptions ...
When vulnerabilities are discovered after software is deployed, source c...
Cannabis is one of the most common mind-altering substances. It is used ...
Understanding how novices reason about coding at a neurological level ha...
There is a growing body of malware samples that evade automated analysis...
We report the discussion session at the sixth international Genetic
Impr...
Program invariants are important for defect detection, program verificat...
We prove that certain formulations of program synthesis and reachability...
Biological evolution provides a creative fount of complex and subtle
ada...
Localizing type errors is challenging in languages with global type
infe...