https://xwk-911.github.io/projects/suiancare/2026-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/projects/autonomous-car/2024-06-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/projects/rulehook/2023-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/2026-07-20T00:00:00+00:00weekly0.5https://xwk-911.github.io/projects/2026-07-20T00:00:00+00:00weekly0.5https://xwk-911.github.io/publications/oopsla-major-revision/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/publication_types/paper-conference/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/program-verification/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/programming-languages/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/publication_types/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/publications/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/2026-07-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/active-agent/2026-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/healthcare/2026-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/multimodal-ai/2026-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/autonomous-driving/2024-06-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/computer-vision/2024-06-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/robotics/2024-06-01T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/ai-agents/2023-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/developer-tools/2023-06-24T00:00:00+00:00weekly0.5https://xwk-911.github.io/tags/policy-enforcement/2023-06-24T00:00:00+00:00weekly0.5