3 papers
cs.OS2026
Clove: Object-Level CXL Memory Management in Managed Runtimes
Sam Son, Zhihong Luo, Wen Zhang +2
Object-level management of tiered memory has been studied to address the inefficiencies in page-based systems. However, object-level management for CXL-tiered memory remains undere…
cs.SE2024
Extracting Database Access-Control Policies From Web Applications
Wen Zhang, Dev Bali, Jamison Kerney +2
To safeguard sensitive user data, web developers typically rely on implicit access-control policies, which they implement using access checks and query filters. This ad hoc approac…
cs.DB2024
A Decidable Case of Query Determinacy: Project-Select Views
Wen Zhang, Aurojit Panda, Mooly Sagiv +1
Query determinacy is decidable for project-select views and a project-select-join query with no self joins, as long as the selection predicates are in a first-order theory for whic…