activity
20142023
most citedSynthesis of a simple self-stabilizing system

8 citations · 21 across the 8 of their papers we have counts for

collaborators

5 papers

cs.LG2022

Revisiting Heterophily in Graph Convolution Networks by Learning Representations Across Topological and Feature Spaces

Ashish Tiwari, Sresth Tosniwal, Shanmuganathan Raman

Graph convolution networks (GCNs) have been enormously successful in learning representations over several graph-based machine learning tasks. Specific to learning rich node repres…

cs.CV2022

DeepPS2: Revisiting Photometric Stereo Using Two Differently Illuminated Images

Ashish Tiwari, Shanmuganathan Raman

Photometric stereo, a problem of recovering 3D surface normals using images of an object captured under different lightings, has been of great interest and importance in computer v…

cs.PL2022

Overwatch: Learning Patterns in Code Edit Sequences

Yuhao Zhang, Yasharth Bajpai, Priyanshu Gupta +8

Integrated Development Environments (IDEs) provide tool support to automate many source code editing tasks. Traditionally, IDEs use only the spatial context, i.e., the location whe…

cs.SE20225 cited

Neurosymbolic Repair for Low-Code Formula Languages

Rohan Bavishi, Harshit Joshi, José Pablo Cambronero Sánchez +5

Most users of low-code platforms, such as Excel and PowerApps, write programs in domain-specific formula languages to carry out nontrivial tasks. Often users can write most of the…

cs.LO20148 cited

Synthesis of a simple self-stabilizing system

Adrià Gascón, Ashish Tiwari

With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made en…