Matthew J. Carroll is an author at Brown University specializing in formal methods, formal verification, and information security.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringInformation Security
Publications per year
2012–2021
2
2
A tested semantics for getters, setters, and eval in JavaScript
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner et al. · 2012 · 45 citations
Rows per page
1–2 of 2