USENIX | The Advanced Computing Systems Association

Detecting Transactional Bugs in Database Engines via {Graph-Based} Oracle Construction

Jiang Z-M, Liu S, Rigger M, Su Z. 2023. Detecting Transactional Bugs in Database Engines via {Graph-Based} Oracle Construction. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :397--417.

{AdaEmbed}: Adaptive Embedding for {Large-Scale} Recommendation Models

Lai F, Zhang W, Liu R, Tsai W, Wei X, Hu Y, Devkota S, Huang J, Park J, Liu X et al.. 2023. {AdaEmbed}: Adaptive Embedding for {Large-Scale} Recommendation Models. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :817--831.

Read more about {AdaEmbed}: Adaptive Embedding for {Large-Scale} Recommendation Models
DBLP
Log in to post comments
Google Scholar
BibTeX

Johnny Cache: the End of {DRAM} Cache Conflicts (in Tiered Main Memory Systems)

Lepers B, Zwaenepoel W. 2023. Johnny Cache: the End of {DRAM} Cache Conflicts (in Tiered Main Memory Systems). 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :519--534.

{LVMT}: An Efficient Authenticated Storage for Blockchain

Li C, Beillahi SMohamed, Yang G, Wu M, Xu W, Long F. 2023. {LVMT}: An Efficient Authenticated Storage for Blockchain. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :135--153.

Read more about {LVMT}: An Efficient Authenticated Storage for Blockchain
DBLP
Log in to post comments
Google Scholar
BibTeX

Encrypted Databases Made Secure Yet Maintainable

Li M, Zhao X, Chen L, Tan C, Li H, Wang S, Mi Z, Xia Y, Li F, Chen H. 2023. Encrypted Databases Made Secure Yet Maintainable. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :117--133.

Read more about Encrypted Databases Made Secure Yet Maintainable
DBLP
Log in to post comments
Google Scholar
BibTeX

Flor: An Open High Performance {RDMA} Framework Over Heterogeneous {RNICs}

Li Q, Gao Y, Wang X, Qiu H, Le Y, Liu D, Xiang Q, Feng F, Zhang P, Li B et al.. 2023. Flor: An Open High Performance {RDMA} Framework Over Heterogeneous {RNICs}. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :931--948.

Spoq: Scaling {Machine-Checkable} Systems Verification in Coq

Li X, Li X, Qiang W, Gu R, Nieh J. 2023. Spoq: Scaling {Machine-Checkable} Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.

Read more about Spoq: Scaling {Machine-Checkable} Systems Verification in Coq
DBLP
Log in to post comments
Google Scholar
BibTeX

{AlpaServe}: Statistical Multiplexing with Model Parallelism for Deep Learning Serving

Li Z, Zheng L, Zhong Y, Liu V, Sheng Y, Jin X, Huang Y, Chen Z, Zhang H, Gonzalez JE et al.. 2023. {AlpaServe}: Statistical Multiplexing with Model Parallelism for Deep Learning Serving. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :663--679.

{RON}: {One-Way} Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks

Lo S, Lin H-T, Hsieh Y-H, Lin C-T, Fang Y-H, Lin C-S, Huang C-C, Lam KYiu, Chang Y-H. 2023. {RON}: {One-Way} Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :17--31.

{NCC}: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the {Timestamp-Inversion} Pitfall

Lu H, Mu S, Sen S, Lloyd W. 2023. {NCC}: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the {Timestamp-Inversion} Pitfall. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :305--323.

Pages