18 citations · 18 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Specifying Hardware Communication as Programs
Ernest Ng, Nikil Shyamsunder, Francis Pham +2
To test and debug hardware modules, it is common to write two programs: a driver, which translates high-level transactions into interactions on the module's input and output signal…
cs.PL2024
Mica: Automated Differential Testing for OCaml Modules
Ernest Ng, Harrison Goldstein, Benjamin C. Pierce
Suppose we are given two OCaml modules implementing the same signature. How do we check that they are observationally equivalent -- that is, that they behave the same on all inputs…
physics.ed-ph2020★ 18 cited
Self-Evolving Adaptive Learning for Personalized Education
Junhua Liu, Lionell Loh, Ernest Ng +3
Primary and secondary education is a crucial stage to build a strong foundation before diving deep into specialised subjects in colleges and universities. To excel in the current e…