Articles with public access mandates - Ji-Yong ShinLearn more
Available somewhere: 6
Isotope: Transactional isolation for block storage
JY Shin, M Balakrishnan, T Marian, H Weatherspoon
14th USENIX Conference on File and Storage Technologies (FAST 16), 23-37, 2016
Mandates: US National Science Foundation
Adore: Atomic distributed objects with certified reconfiguration
W Honoré, JY Shin, J Kim, Z Shao
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandates: US National Science Foundation, US Department of Defense
WormSpace: A modular foundation for simple, verifiable distributed systems
JY Shin, J Kim, W Honoré, H Vanzetto, S Radhakrishnan, M Balakrishnan, ...
Proceedings of the ACM Symposium on Cloud Computing, 299-311, 2019
Mandates: US National Science Foundation
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems
W Honoré, J Kim, JY Shin, Z Shao
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
Mandates: US National Science Foundation, US Department of Defense
Isotope: ACID transactions for block storage
JY Shin, M Balakrishnan, T Marian, H Weatherspoon
ACM Transactions on Storage (TOS) 13 (1), 1-25, 2017
Mandates: US National Science Foundation, US Department of Defense
Towards weakly consistent local storage systems
JY Shin, M Balakrishnan, T Marian, J Szefer, H Weatherspoon
Proceedings of the Seventh ACM Symposium on Cloud Computing, 294-306, 2016
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program