[PLDI24] Jacdac: Service-Based Prototyping of Embedded Systems | ACM SIGPLAN | Podwise