Showing 2020 · cs.PLShow all
3 papers · 2 filters
cs.PL2020
On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers
Kaiyuan Li, Maverick Woo, Limin Jia
When a software transformation or software security task needs to analyze a given program binary, the first step is often disassembly. Since many modern disassemblers have become h…
cs.PL2020
Towards a Formal Foundation of Intermittent Computing
Milijana Surbatovich, Limin Jia, Brandon Lucia
Intermittently powered devices enable new applications in harsh or inaccessible environments, such as space or in-body implants, but also introduce problems in programmability and…
cs.PL2020
First-order Gradual Information Flow Types with Gradual Guarantees
Abhishek Bichhawat, McKenna McCall, Limin Jia
Information flow type systems enforce the security property of noninterference by detecting unauthorized data flows at compile-time. However, they require precise type annotations,…