15 citations · 15 across the 4 of their papers we have counts for
4 papers
Series-Parallel-Loop Decompositions of Control-flow Graphs
Xuran Cai, Amir Goharshady, S Hitarth +1
Control-flow graphs (CFGs) of structured programs are well known to exhibit strong sparsity properties. Traditionally, this sparsity has been modeled using graph parameters such as…
Linear Loop Synthesis for Quadratic Invariants
S. Hitarth, George Kenison, Laura Kovács +1
Invariants are key to formal loop verification as they capture loop properties that are valid before and after each loop iteration. Yet, generating invariants is a notorious task a…
Template-based Program Synthesis using Stellensätze
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi +1
Template-based synthesis, also known as sketching, is a localized approach to program synthesis in which the programmer provides not only a specification, but also a high-level ``s…
WEX: Formal Specifications for Windows in Stream Processing
S Hitarth, M. Praveen
A key operation in processing an unbounded data stream is windowing, which extracts finite portions of streams for further handling. The existing frameworks and query languages eit…