[CTSTA'23] The Sparse Abstract Machine | ACM SIGPLAN | Podwise