Matt Noonan is an author at Ithaca College specializing in automated reasoning, computer engineering, and formal methods.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2016–2018
2
2
Polymorphic type inference for machine code
Matt Noonan, David R. Cok · 2016 · 31 citations · Full text
Eric Schulte, Jason Ruchti, Matt Noonan et al. · 2018 · 31 citations · Full text
Rows per page
1–2 of 2