4 citations · 5 across the 4 of their papers we have counts for
4 papers
Type Safety via Hoare Logic with Separation and Pure Types
Wenhua Li, Darius Foo, Quang Trung Ta +1
Type safety has traditionally rested on carefully crafted type systems, under the motto "well-typed programs cannot go wrong". Modern demands push type systems past this basic guar…
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
Darius Foo, Yahui Song, Wei-Ngan Chin
Higher-order functions and imperative states are language features supported by many mainstream languages. Their combination is expressive and useful, but complicates specification…
Tracing OCaml Programs
Darius Foo, Wei-Ngan Chin
This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed va…
The Dynamics of Software Composition Analysis
Darius Foo, Jason Yeo, Hao Xiao +1
Developers today use significant amounts of open source code, surfacing the need for ways to automatically audit and upgrade library dependencies, and giving rise to the subfield o…