14 citations · 28 across the 9 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 4 cited
Typing linear algebra: A biproduct-oriented approach
Hugo Daniel Macedo, José N. Oliveira
Interested in formalizing the generation of fast running code for linear algebra applications, the authors show how an index-free, calculational approach to matrix algebra can be d…
cs.CR2013★ 3 cited
Mining Malware Specifications through Static Reachability Analysis
Hugo Daniel Macedo, Tayssir Touili
The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature…