3 papers
cs.PL2026
Taming Scope Extrusion in Gradual Imperative Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
Metaprogramming enables the generation of performant code, while gradual typing facilitates the smooth migration from untyped scripts to robust statically typed programs. However,…
cs.PL2025
Gradual Metaprogramming
Tianyu Chen, Darshal Shetty, Jeremy G. Siek +4
Data engineers increasingly use domain-specific languages (DSLs) to generate the code for data pipelines. Such DSLs are often embedded in Python. Unfortunately, there are challenge…
cs.PL2023
Quest Complete: the Holy Grail of Gradual Security
Tianyu Chen, Jeremy G. Siek
Languages with gradual information-flow control combine static and dynamic techniques to prevent security leaks. Gradual languages should satisfy the gradual guarantee: programs th…