26 citations · 137 across the 24 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CY2021★ 22 cited
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman +1
Proof Blocks is a software tool which enables students to write proofs by dragging and dropping prewritten proof lines into the correct order. These proofs can be graded completely…
cs.CR2021
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
We introduce an automata model for describing interesting classes of differential privacy mechanisms/algorithms that include known mechanisms from the literature. These automata ca…