| 118 | -- | 249 | Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik. Neurosymbolic Programming in Scallop: Principles and Practice |
| 1 | -- | 117 | Marco Vassena, Alejandro Russo, Deepak Garg 0001, Vineet Rajani, Deian Stefan. From Fine- to Coarse-Grained Dynamic Information Flow Control and Back |