200 citations · 634 across the 27 of their papers we have counts for
4 papers · 1 filter
Wasm/k: Delimited Continuations for WebAssembly
Donald Pinckney, Arjun Guha, Yuriy Brun
WebAssembly is designed to be an alternative to JavaScript that is a safe, portable, and efficient compilation target for a variety of languages. The performance of high-level lang…
Accelerating Graph Sampling for Graph Machine Learning using GPUs
Abhinav Jangda, Sandeep Polisetty, Arjun Guha +1
Representation learning algorithms automatically learn the features of data. Several representation learning algorithms for graph data, such as DeepWalk, node2vec, and GraphSAGE, s…
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Action selection policies (ASPs), used to compose low-level robot skills into complex high-level tasks are commonly represented as neural networks (NNs) in the state of the art. Su…
SMT-based Robot Transition Repair
Jarrett Holtz, Arjun Guha, Joydeep Biswas
State machines are a common model for robot behaviors. Transition functions often rely on parameterized conditions to model preconditions for the controllers, where the correct val…