2 papers
cs.SE2025
Tunable Automation in Automated Program Verification
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
Automated verification tools based on SMT solvers have made significant progress in verifying complex software systems. However, these tools face a fundamental tension between auto…
cs.DC2025
Unlocking True Elasticity for the Cloud-Native Era with Dandelion
Tom Kuchler, Pinghe Li, Yazhuo Zhang +8
Elasticity is fundamental to cloud computing, as it enables quickly allocating resources to match the demand of each workload as it arrives, rather than pre-provisioning resources…