Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Shi-hwa Chen
conf.researchr.org general profile
ICFP 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Fri 15 May 2026
Name:
Andrew
Shi-hwa Chen
Contributions
2026
miniKanren
Author of Lightweight Runtime Security Policy Verification Using an Embeddable C++ miniKanren within the miniKanren 2026-track
SPLASH
Author of Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems within the Onward! Papers-track
Share
x
Thu 10 Sep 06:13