13 citations · 16 across the 6 of their papers we have counts for
3 papers · 1 filter
An Order-Aware Dataflow Model for Parallel Unix Pipelines
Shivam Handa, Konstantinos Kallas, Nikos Vasilakis +1
We present a dataflow model for modelling parallel Unix shell pipelines. To accurately capture the semantics of complex Unix pipelines, the dataflow model is order-aware, i.e., the…
Inductive Program Synthesis Over Noisy Data
Shivam Handa, Martin Rinard
We present a new framework and associated synthesis algorithms for program synthesis over noisy data, i.e., data that may contain incorrect/corrupted input-output examples. This fr…
Landau quantization of a circular Quantum Dot using the BenDaniel-Duke boundary condition
Sriram Gopalakrishnan, Sayak Biswas, Shivam Handa
We derive the energy levels of a circular Quantum Dot (QD) under a transverse magnetic field, incorporating the Ben-Daniel Duke boundary condition (BDD). The parameters in our mode…