Showing 1–13 of 13 results
/ Date/ Name
Jan 24, 2021Termination Analysis Without the TearsMar 24, 2022Verifiable Access Control for Augmented Reality Localization and MappingSep 26, 2024Breaking the Mold: Nonlinear Ranking Function Synthesis Without TemplatesMay 28, 2021Reflections on Termination of Linear LoopsApr 13, 2026A Categorical Basis for Robust Program AnalysisOct 18, 2025TritonRL: Training LLMs to Think and Code Triton Without CheatingOct 6, 2021Reversible Attack based on Local Visual Adversarial PerturbationMay 8, 2023Adversarial Examples Detection with Enhanced Image Difference Features based on Local Histogram EqualizationDec 16, 2022Adversarial Example Defense via Perturbation Grading StrategySep 12, 2025Verifying Computational Graphs in Production-Grade Distributed Machine Learning FrameworksJun 10, 2025TTrace: Lightweight Error Checking and Diagnosis for Distributed TrainingNov 19, 2025AccelOpt: A Self-Improving LLM Agentic System for AI Accelerator Kernel OptimizationNov 8, 2022When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic