Flash devices with raid AK Kulkarni, M Sanvido US Patent App. 11/968,147, 2009 | 267 | 2009 |
From control models to real-time code using Giotto TA Henzinger, CM Kirsch, MAA Sanvido, W Pree IEEE Control Systems Magazine 23 (1), 50-64, 2003 | 214 | 2003 |
Indirection systems for shingled-recording disk drives Y Cassuto, MAA Sanvido, C Guyot, DR Hall, ZZ Bandic 2010 IEEE 26th Symposium on Mass Storage Systems and Technologies (MSST), 1-14, 2010 | 134 | 2010 |
Extreme model checking TA Henzinger, R Jhala, R Majumdar, MAA Sanvido Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003 | 128 | 2003 |
Event-driven programming with logical execution times A Ghosal, TA Henzinger, CM Kirsch, MAA Sanvido International Workshop on Hybrid Systems: Computation and Control, 357-371, 2004 | 113 | 2004 |
Combo drive: Optimizing cost and performance in a heterogeneous storage device H Payer, MA Sanvido, ZZ Bandic, CM Kirsch First Workshop on Integrating Solid-state Memory into the Storage Hierarchy …, 2009 | 111 | 2009 |
Techniques for storing shingle blocks in a cache memory using a data storage device M Sanvido, C Guyot, AK Kulkarni, Z Bandic, M Chen US Patent 7,965,465, 2011 | 92 | 2011 |
Implementing secure erase for solid state drives C Guyot, ZZ Bandic, Y Cassuto, AM Espeseth, M Sanvido US Patent 8,250,380, 2012 | 90 | 2012 |
nand Flash Memory and Its Role in Storage Architectures MAA Sanvido, FR Chu, A Kulkarni, R Selinger Proceedings of the IEEE 96 (11), 1864-1874, 2008 | 79 | 2008 |
Permission analysis across enterprise services A Curtis, M Graves, BJ Fulton, TL Hinrichs, M Sanvido, T Koponen US Patent 11,108,828, 2021 | 75 | 2021 |
Disk drive with cache having volatile and nonvolatile memory AK Kulkarni, M Sanvido US Patent 7,568,068, 2009 | 61 | 2009 |
Storage system and method for opportunistic write-verify C Han, AK Kulkarni, RMH New, M Sanvido US Patent 7,774,540, 2010 | 56 | 2010 |
Disk drive with variable incremented counting of writes to the data tracks for minimizing the effect of far track erasure ZZ Bandic, M Sanvido, BA Wilson US Patent 8,531,793, 2013 | 55 | 2013 |
A programmable microkernel for real-time systems CM Kirsch, MAA Sanvido, TA Henzinger Proceedings of the 1st ACM/USENIX international conference on Virtual …, 2005 | 54 | 2005 |
A Giotto-based helicopter control system CM Kirsch, MAA Sanvido, TA Henzinger, W Pree Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 46 | 2002 |
Storage device with write barrier sensitive write commands and write barrier insensitive commands JC De Souza, FR Chu, C Han, AK Kulkarni, DJ Molaro, RMH New, ... US Patent 8,006,047, 2011 | 40 | 2011 |
Techniques for encrypting data on storage devices using an intermediate key M Sanvido, AK Kulkarni, C Guyot, RMH New, JC De Souza US Patent 8,315,394, 2012 | 37 | 2012 |
Incremental RAID stripe update parity calculation T Brennan, M Sanvido, C Sapuntzakis US Patent 10,417,092, 2019 | 35 | 2019 |
Disk drive having multiple disk surfaces accessible by a read/write head and nonvolatile memory for continuous data transfer ZZ Bandic, M Sanvido US Patent 8,112,580, 2012 | 34 | 2012 |
Data storage systems that implement sector sets M Sanvido US Patent 7,694,105, 2010 | 34 | 2010 |