Program Analysis
Syntax-driven Incremental Program Verification of Matching Logic Properties
✅Formal Verification Content type: AcademicRelocate and Emulate: Re-Hosting Android's Application Layer
🦠Malware Analysis Content type: AcademicLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
🔣Type Systems Content type: AcademicAn Opticalmechanics Framework for Dynamic Estimation of Multibody Systems
🦠Malware Analysis Content type: AcademicBeyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
⚙️Compilers Content type: AcademicVASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
✅Formal Verification Content type: AcademicNo more posts from amy.throwaway.lovely's subscribed feeds.