PolyTracker: Whole-Input Dynamic Information Flow Tracing.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
Engineering definitional interpreters.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Simple optimizations for an applicative array language for graphics processors.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011