Rose: Composable Autodiff for the Interactive Web (Artifact).
Dagstuhl Artifacts Ser., 2024
Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions.
CoRR, 2024
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.
CoRR, 2024
Rose: Efficient and Extensible Autodiff on the Web.
CoRR, 2024
Minkowski Penalties: Robust Differentiable Constraint Enforcement for Vector Graphics.
Proceedings of the ACM SIGGRAPH 2024 Conference Papers, 2024
Edgeworth: Efficient and Scalable Authoring of Visual Thinking Activities.
Proceedings of the Eleventh ACM Conference on Learning @ Scale, 2024
Rose: Composable Autodiff for the Interactive Web.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
Codifying Visual Representations.
Proceedings of the Diagrammatic Representation and Inference, 2024
NaNofuzz: A Usable Tool for Automatic Test Generation.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Gradual Program Analysis for Null Pointers.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021