279 citations · 1.4k across the 46 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 17 cited
Symbolic Execution for Randomized Programs
Zachary Susag, Sumit Lahiri, Justin Hsu +1
We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and ca…
cs.PL2022★ 4 cited
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, Justin Hsu
Modern programmable network switches can implement custom applications using efficient packet processing hardware, and the programming language P4 provides high-level constructs to…