most citedMorpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2023★ 1 cited

Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs

Ashish Mishra, Suresh Jagannathan

Parser combinators are a well-known mechanism used for the compositional construction of parsers, and have shown to be particularly useful in writing parsers for rich grammars with…

math.RT2022

On Quasi Steinberg characters of Complex Reflection Groups

Ashish Mishra, Digjoy Paul, Pooja Singla

Let be a finite group and be a prime number dividing the order of . An irreducible character of is called a quasi -Steinberg character if is nonzero fo…