31 citations · 76 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 8 cited
Strongly Normalizing Audited Computation
Wilmer Ricciotti, James Cheney
Auditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and ac…
cs.PL2017★ 16 cited
Imperative Functional Programs that Explain their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera +1
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynami…