Miguel Castro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
22
Active years
1993–2024
Best venue rank
A*
Where they publish
- A*SOSP7 papers
- A*OSDI6 papers
- NationalNSDI3 papers
- A*SIGMOD3 papers
- ADSN3 papers
- AICDCS3 papers
- A*SIGCOMM2 papers
- AHotOS2 papers
- BCSEDU1 paper
- ASC1 paper
- BAINA1 paper
- CICCSA1 paper
- A*POPL1 paper
- A*ASPLOS1 paper
- A*SP1 paper
- ACoNEXT1 paper
- A*MOBICOM1 paper
- NationalEPIA1 paper
- A*INFOCOM1 paper
- AECOOP1 paper
- BICPP1 paper
- A*PODC1 paper
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SIGCOMM | Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem. | Xuting Liu, Behnaz Arzani, Siva Kesava Reddy Kakarla, Liangyu Zhao, Vincent Liu, Miguel Castro, Srikanth Kandula, Luke Marshall |
| 2022 | CSEDU | Let's Play! or Don't? The Impact of UX and Usability on the Adoption of a Game-based Student Response System. | Myrian Rodrigues, Barbara Nery, Miguel Castro, Victor Klisman, Jos Carlos Duarte, Bruno Gadelha, Tayana Conte |
| 2022 | NSDI | IA-CCF: Individual Accountability for Permissioned Ledgers. | Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cdric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich |
| 2022 | SC | HammingMesh: A Network Topology for Large-Scale Deep Learning. | Torsten Hoefler, Tommaso Bonato, Daniele De Sensi, Salvatore Di Girolamo, Shigang Li, Marco Heddes, Jon Belk, Deepak Goel, Miguel Castro, Steve Scott |
| 2020 | SIGMOD | A1: A Distributed In-Memory Graph Database. | Chiranjeeb Buragohain, Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Joshua Cowhig, Nikolas Gloy, Karthik Kalyanaraman, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng |
| 2019 | SIGMOD | Fast General Distributed Transactions with Opacity. | Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro |
| 2015 | SOSP | No compromises: distributed transactions with consistency, availability, and performance. | Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro |
| 2014 | NSDI | FaRM: Fast Remote Memory. | Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson |
| 2013 | AINA | Smart Lighting Solutions for Smart Cities. | Miguel Castro, Antonio J. Jara, Antonio Fernandez Gmez-Skarmeta |
| 2011 | ICCSA | Oxygen Cylinders Management Architecture Based on Internet of Things. | Miguel Castro, Agustn Guilln, Jos L. Fuster, Antonio J. Jara, Miguel A. Zamora, Antonio Fernandez Gmez-Skarmeta |
| 2010 | POPL | Dynamically checking ownership policies in concurrent c/c++ programs. | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro |
| 2009 | SOSP | Fast byte-granularity software fault isolation. | Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black |
| 2008 | ASPLOS | Better bug reporting with better privacy. | Miguel Castro, Manuel Costa, Jean-Philippe Martin |
| 2008 | SP | Preventing Memory Error Exploits with WIT. | Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro |
| 2007 | DSN | Third Workshop on Hot Topics in System Dependability HotDep'07. | Miguel Castro, John Wilkes |
| 2007 | SOSP | Bouncer: securing software by blocking bad input. | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado |
| 2006 | CoNEXT | Network coding with traffic engineering. | Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron |
| 2006 | ICDCS | POS: A Practical Order Statistics Service forWireless Sensor Networks. | Landon P. Cox, Miguel Castro, Antony I. T. Rowstron |
| 2006 | MOBICOM | Zero servers with zero broadcasts. | Miguel Castro, Greg O'Shea, Antony I. T. Rowstron |
| 2006 | OSDI | Securing Software by Enforcing Data-flow Integrity. | Miguel Castro, Manuel Costa, Tim Harris |
| 2006 | SIGCOMM | Virtual ring routing: network routing inspired by DHTs. | Matthew Caesar, Miguel Castro, Edmund B. Nightingale, Greg O'Shea, Antony I. T. Rowstron |
| 2005 | EPIA | Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net. | Jos Al Moreno, Miguel Castro |
| 2005 | NSDI | Debunking Some Myths About Structured and Unstructured Overlays. | Miguel Castro, Manuel Costa, Antony I. T. Rowstron |
| 2005 | SOSP | Vigilante: end-to-end containment of internet worms. | Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham |
| 2004 | DSN | Performance and Dependability of Structured Peer-to-Peer Overlays. | Miguel Castro, Manuel Costa, Antony I. T. Rowstron |
| 2004 | ICDCS | PIC: Practical Internet Coordinates for Distance Estimation. | Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key |
| 2003 | INFOCOM | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays. | Miguel Castro, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman |
| 2003 | SOSP | SplitStream: high-bandwidth multicast in cooperative environments. | Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh |
| 2002 | OSDI | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. | Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer |
| 2002 | OSDI | Secure Routing for Structured Peer-to-Peer Overlay Networks. | Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach |
| 2001 | DSN | Byzantine Fault Tolerance Can Be Fast. | Miguel Castro, Barbara Liskov |
| 2001 | HotOS | Using Abstraction To Improve Fault Tolerance. | Miguel Castro, Rodrigo Rodrigues, Barbara Liskov |
| 2001 | SOSP | BASE: Using Abstraction to Improve Fault Tolerance. | Rodrigo Rodrigues, Miguel Castro, Barbara Liskov |
| 2000 | OSDI | Proactive Recovery in a Byzantine-Fault-Tolerant System. | Miguel Castro, Barbara Liskov |
| 1999 | ECOOP | Providing Persistent Objects in Distributed Systems. | Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya |
| 1999 | OSDI | Practical Byzantine Fault Tolerance. | Miguel Castro, Barbara Liskov |
| 1997 | ICDCS | Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System. | Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira |
| 1997 | SOSP | HAC: Hybrid Adaptive Caching for Distributed Storage Systems. | Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers |
| 1996 | ICPP | Efficient and Flexible Object Sharing. | Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes |
| 1996 | OSDI | Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. | Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro |
| 1996 | SIGMOD | Safe and Efficient Sharing of Persistent Objects in Thor. | Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira |
| 1994 | PODC | A Checkpoint Protocol for an Entry Consistent Shared Memory System. | Nuno Neves, Miguel Castro, Paulo Guedes |
| 1993 | HotOS | Distributed Shared Object Memory. | Paulo Guedes, Miguel Castro |