15 citations · 15 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 15 cited
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…
cs.FL2022
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…