12 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 3 cited
DesCert: Design for Certification
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…
cs.LO2020★ 12 cited
A Verified Packrat Parser Interpreter for Parsing Expression Grammars
Clement Blaudeau, Natarajan Shankar
Parsing expression grammars (PEGs) offer a natural opportunity for building verified parser interpreters based on higher-order parsing combinators. PEGs are expressive, unambiguous…