Nicholas D. Matsakis is an author at ETH Zurich specializing in system software, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisComputer EngineeringSoftware AnalysisParallel ComputingFormal VerificationComputer Architecture
Publications per year
2007–2014
6
6
Nicholas D. Matsakis, Felix S. Klock · 2014 · 262 citations
Nicholas D. Matsakis, Felix S. Klock · ACM SIGAda Ada Letters · 2014 · 245 citations
Engineering, Computer Architecture, Memory Model (Programming) +23
Davide Ancona, Massimo Ancona, Antonio Cuni et al. · 2007 · 143 citations
Rows per page
1–5 of 6