As well as working closely with product teams, we also publish in top-tier conferences for our relevant disciplines. The papers below give a flavour of our more recent work.
Richard Black, Marco Caballero, Andromachi Chatzieleftheriou, Tim Deegan, Philip Heard, Freddie Hong, Russell Joyce, Sergey Legtchenko, Ant Rowstron, Adam Smith, David Sweeney, Hugh Williams
2024 IEEE International Conference on Robotics and Automation | May 2024
Benn Thomsen, Grace Brennan, Nathanael Cheriere, Jiaqi Chu, Jannes Gladrow, Giorgio Maltese, Dushyanth Narayanan, Greg O'Shea, Alan Sanders, Xingbo Wu, Mengyang Yang
Optical Fiber Communication Conference (OFC) 2024 | March 2024
Patrick Anderson, Erika B. Aranas, Youssef Assaf, Raphael Behrendt, Richard Black, Marco Caballero, Pashmina Cameron, Burcu Canakci, Thales de Carvalho, Andromachi Chatzieleftheriou, James Clegg, Rebekah Storan Clarke, Daniel Cletheroe, Bridgette Cooper, Tim Deegan, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Christos Gkantsidis, Ariel Gomez Diaz, Istvan Haller, Freddie Hong, Teodora Ilieva, Shashidhar Joshi, Russell Joyce, Mint Kunkel, David Lara, Sergey Legtchenko, Fanglin Linda Liu, Bruno Magalhaes, Alana Marzoev, Marvin McNett, Jayashree Mohan, Michael Myrah, Truong Nguyen, Sebastian Nowozin, Aaron Ogus, Hiske Overweg, Ant Rowstron, Maneesh Sah, Masaaki Sakakura, Peter Scholtz, Nina Schreiner, Omer Sella, Adam Smith, Ioan Stefanovici, David Sweeney, Benn Thomsen, Govert Verkes, Phil Wainman, Jonathan Westcott, Luke Weston, Charles Whittaker, Pablo Wilke Berenguer, Hugh Williams, Thomas Winkler, Stefan Winzeck
The 29th ACM Symposium on Operating Systems Principles | October 2023
Arslan Sajid Raja, Sophie Lange, Maxim Karpov, Kai Shi (kaishi), Xin Fu, Raphael Behrendt, Daniel Cletheroe, Anton Lukashchuk, Istvan Haller, Fotini Karinou, Benn Thomsen, Krzysztof Jozwik, Junqiu Liu, Paolo Costa, Tobias Jan Kippenberg, Hitesh Ballani
Nature Communications | October 2021, Vol 12
Thomas Gerard, Kari Clark, Adam Funnell, Kai Shi, Benn Thomsen, Philip Watts, Krzysztof Jozwik, Istvan Haller, Hugh Williams, Paolo Costa, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | June 2021
Srikanth Kandula, Laurel Orr, Surajit Chaudhuri
VLDB | August 2020
Best Paper Runner-Up
Hitesh Ballani, Paolo Costa, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Krzysztof Jozwik, Fotini Karinou, Sophie Lange, Benn Thomsen, Kai Shi, Hugh Williams
SIGCOMM | August 2020
Vojislav Dukic, Ginni Khanna, Christos Gkantsidis, Thomas Karagiannis, Francesca Parmigiani, Ankit Singla, Mark Filer, Jeff Cox, Anna Ptasznik, Nick Harland, Winston Saunders, Christian Belady
SIGCOMM | August 2020
Andromachi Chatzieleftheriou, Ioan Stefanovici, Dushyanth Narayanan, Benn Thomsen, Ant Rowstron
12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20) | July 2020
Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Nikolas Gloy, Karthik Kalyanaraman, Joshua Cowhig, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng
2020 ACM SIGMOD International Conference on Management of Data | June 2020
Kari A. Clark, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams, Georgios Zervas, Hitesh Ballani, Polina Bayvel, Paolo Costa, Zhixin Liu
Nature Electronics | June 2020
Sophie Lange, A.S. Raja, Kai Shi, M. Karpov, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Fotini Karinou, X. Fu, J. Liu, A. . Lukashchuk, Benn Thomsen, Krzysztof Jozwik, Paolo Costa, T. J. Kippenberg, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | March 2020
Ginni Khanna, Shengxiang Zhu, Mark Filer, Christos Gkantsidis, Francesca Parmigiani, Thomas Karagiannis
Optical Fiber Communication Conference (OFC’20) | March 2020
Kai Shi, Sophie Lange, Istvan Haller, Daniel Cletheroe, Raphael Behrendt, Benn Thomsen, Fotini Karinou, Krzysztof Jozwik, Paolo Costa, Hitesh Ballani
The 45th European Conference on Optical Communication (ECOC Post-deadline Paper) | September 2019
Thomas Gerard, Zhixin Liu, M. Sezer Erkılınç, Lidia Galdino, Polina Bayvel, Benn Thomsen, Domaniç Lavery
IEEE Photonics Journal | July 2019, Vol 11(4)
Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro
International Conference on Management of Data (SIGMOD ’19) | June 2019
Best Paper Honorable Mention
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Kari Clark, Hitesh Ballani, Polina Bayvel, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Philip Watts, Hugh Williams, Paolo Costa, Georgios Zervas, Zhixin Liu
44th European Conference on Optical Communication (ECOC Post-deadline paper) | September 2018
Patrick Anderson (paan), Richard Black, Ausra Cerkauskaite, Andromachi Chatzieleftheriou, James Clegg, Chris Dainty, Raluca Diaconu, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Andreas Georgiou, Ariel Gomez Diaz, Peter G. Kazansky, David Lara, Sergey Legtchenko, Sebastian Nowozin, Aaron Ogus, Douglas Phillips, Ant Rowstron, Masaaki Sakakura, Ioan Stefanovici, Benn Thomsen, Lei Wang
10th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 18) | July 2018
Hitesh Ballani, Paolo Costa, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams
Optical Fiber Communication Conference (OFC) | January 2018
Adam Funnel, Kai Shi, Paolo Costa, Philip Watts , Hitesh Ballani, Benn Thomsen
OSA Journal of Lightwave Technology | October 2017, Vol 35(20): pp. 4438
Hongqiang Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan
SOSP ’17 Proceedings of the 26th Symposium on Operating Systems Principles | October 2017
ISBN: 978-1-4503-5085-3
Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
MSR-TR-2016-65 | September 2016
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Richard Black, Austin Donnelly, Dave Harper, Aaron Ogus, Ant Rowstron
8th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 16) | June 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Adam Funnell, Joshua Benjamin, Hitesh Ballani, Paolo Costa, Philip Watts, Benn Thomsen
Optical Fiber Communication Conference (OFC’16) | March 2016
Aleksandar Dragojevic, Dushyanth Narayanan, Ed Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP’15) | October 2015
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX – Advanced Computing Systems Association | April 2015
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2014) | April 2014
Ant Rowstron, Dushyanth Narayanan, Austin Donnelly, Greg O'Shea, Andrew Douglas
1st International Workshop on Hot Topics in Cloud Data Processing (HotCDP 2012) | April 2012
Richard Black, Marco Caballero, Andromachi Chatzieleftheriou, Tim Deegan, Philip Heard, Freddie Hong, Russell Joyce, Sergey Legtchenko, Ant Rowstron, Adam Smith, David Sweeney, Hugh Williams
2024 IEEE International Conference on Robotics and Automation | May 2024
Benn Thomsen, Grace Brennan, Nathanael Cheriere, Jiaqi Chu, Jannes Gladrow, Giorgio Maltese, Dushyanth Narayanan, Greg O'Shea, Alan Sanders, Xingbo Wu, Mengyang Yang
Optical Fiber Communication Conference (OFC) 2024 | March 2024
Richard Black, Marco Caballero, Andromachi Chatzieleftheriou, Tim Deegan, Philip Heard, Freddie Hong, Russell Joyce, Sergey Legtchenko, Ant Rowstron, Adam Smith, David Sweeney, Hugh Williams
2024 IEEE International Conference on Robotics and Automation | May 2024
Patrick Anderson, Erika B. Aranas, Youssef Assaf, Raphael Behrendt, Richard Black, Marco Caballero, Pashmina Cameron, Burcu Canakci, Thales de Carvalho, Andromachi Chatzieleftheriou, James Clegg, Rebekah Storan Clarke, Daniel Cletheroe, Bridgette Cooper, Tim Deegan, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Christos Gkantsidis, Ariel Gomez Diaz, Istvan Haller, Freddie Hong, Teodora Ilieva, Shashidhar Joshi, Russell Joyce, Mint Kunkel, David Lara, Sergey Legtchenko, Fanglin Linda Liu, Bruno Magalhaes, Alana Marzoev, Marvin McNett, Jayashree Mohan, Michael Myrah, Truong Nguyen, Sebastian Nowozin, Aaron Ogus, Hiske Overweg, Ant Rowstron, Maneesh Sah, Masaaki Sakakura, Peter Scholtz, Nina Schreiner, Omer Sella, Adam Smith, Ioan Stefanovici, David Sweeney, Benn Thomsen, Govert Verkes, Phil Wainman, Jonathan Westcott, Luke Weston, Charles Whittaker, Pablo Wilke Berenguer, Hugh Williams, Thomas Winkler, Stefan Winzeck
The 29th ACM Symposium on Operating Systems Principles | October 2023
Arslan Sajid Raja, Sophie Lange, Maxim Karpov, Kai Shi (kaishi), Xin Fu, Raphael Behrendt, Daniel Cletheroe, Anton Lukashchuk, Istvan Haller, Fotini Karinou, Benn Thomsen, Krzysztof Jozwik, Junqiu Liu, Paolo Costa, Tobias Jan Kippenberg, Hitesh Ballani
Nature Communications | October 2021, Vol 12
Thomas Gerard, Kari Clark, Adam Funnell, Kai Shi, Benn Thomsen, Philip Watts, Krzysztof Jozwik, Istvan Haller, Hugh Williams, Paolo Costa, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | June 2021
Srikanth Kandula, Laurel Orr, Surajit Chaudhuri
VLDB | August 2020
Best Paper Runner-Up
Hitesh Ballani, Paolo Costa, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Krzysztof Jozwik, Fotini Karinou, Sophie Lange, Benn Thomsen, Kai Shi, Hugh Williams
SIGCOMM | August 2020
Vojislav Dukic, Ginni Khanna, Christos Gkantsidis, Thomas Karagiannis, Francesca Parmigiani, Ankit Singla, Mark Filer, Jeff Cox, Anna Ptasznik, Nick Harland, Winston Saunders, Christian Belady
SIGCOMM | August 2020
Andromachi Chatzieleftheriou, Ioan Stefanovici, Dushyanth Narayanan, Benn Thomsen, Ant Rowstron
12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20) | July 2020
Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Nikolas Gloy, Karthik Kalyanaraman, Joshua Cowhig, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng
2020 ACM SIGMOD International Conference on Management of Data | June 2020
Kari A. Clark, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams, Georgios Zervas, Hitesh Ballani, Polina Bayvel, Paolo Costa, Zhixin Liu
Nature Electronics | June 2020
Sophie Lange, A.S. Raja, Kai Shi, M. Karpov, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Fotini Karinou, X. Fu, J. Liu, A. . Lukashchuk, Benn Thomsen, Krzysztof Jozwik, Paolo Costa, T. J. Kippenberg, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | March 2020
Ginni Khanna, Shengxiang Zhu, Mark Filer, Christos Gkantsidis, Francesca Parmigiani, Thomas Karagiannis
Optical Fiber Communication Conference (OFC’20) | March 2020
Kai Shi, Sophie Lange, Istvan Haller, Daniel Cletheroe, Raphael Behrendt, Benn Thomsen, Fotini Karinou, Krzysztof Jozwik, Paolo Costa, Hitesh Ballani
The 45th European Conference on Optical Communication (ECOC Post-deadline Paper) | September 2019
Thomas Gerard, Zhixin Liu, M. Sezer Erkılınç, Lidia Galdino, Polina Bayvel, Benn Thomsen, Domaniç Lavery
IEEE Photonics Journal | July 2019, Vol 11(4)
Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro
International Conference on Management of Data (SIGMOD ’19) | June 2019
Best Paper Honorable Mention
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Kari Clark, Hitesh Ballani, Polina Bayvel, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Philip Watts, Hugh Williams, Paolo Costa, Georgios Zervas, Zhixin Liu
44th European Conference on Optical Communication (ECOC Post-deadline paper) | September 2018
Patrick Anderson (paan), Richard Black, Ausra Cerkauskaite, Andromachi Chatzieleftheriou, James Clegg, Chris Dainty, Raluca Diaconu, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Andreas Georgiou, Ariel Gomez Diaz, Peter G. Kazansky, David Lara, Sergey Legtchenko, Sebastian Nowozin, Aaron Ogus, Douglas Phillips, Ant Rowstron, Masaaki Sakakura, Ioan Stefanovici, Benn Thomsen, Lei Wang
10th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 18) | July 2018
Hitesh Ballani, Paolo Costa, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams
Optical Fiber Communication Conference (OFC) | January 2018
Adam Funnel, Kai Shi, Paolo Costa, Philip Watts , Hitesh Ballani, Benn Thomsen
OSA Journal of Lightwave Technology | October 2017, Vol 35(20): pp. 4438
Hongqiang Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan
SOSP ’17 Proceedings of the 26th Symposium on Operating Systems Principles | October 2017
ISBN: 978-1-4503-5085-3
Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
MSR-TR-2016-65 | September 2016
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Richard Black, Austin Donnelly, Dave Harper, Aaron Ogus, Ant Rowstron
8th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 16) | June 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Adam Funnell, Joshua Benjamin, Hitesh Ballani, Paolo Costa, Philip Watts, Benn Thomsen
Optical Fiber Communication Conference (OFC’16) | March 2016
Aleksandar Dragojevic, Dushyanth Narayanan, Ed Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP’15) | October 2015
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX – Advanced Computing Systems Association | April 2015
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2014) | April 2014
Ant Rowstron, Dushyanth Narayanan, Austin Donnelly, Greg O'Shea, Andrew Douglas
1st International Workshop on Hot Topics in Cloud Data Processing (HotCDP 2012) | April 2012
Srikanth Kandula, Laurel Orr, Surajit Chaudhuri
VLDB | August 2020
Best Paper Runner-Up
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
MSR-TR-2016-65 | September 2016
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Richard Black, Marco Caballero, Andromachi Chatzieleftheriou, Tim Deegan, Philip Heard, Freddie Hong, Russell Joyce, Sergey Legtchenko, Ant Rowstron, Adam Smith, David Sweeney, Hugh Williams
2024 IEEE International Conference on Robotics and Automation | May 2024
Benn Thomsen, Grace Brennan, Nathanael Cheriere, Jiaqi Chu, Jannes Gladrow, Giorgio Maltese, Dushyanth Narayanan, Greg O'Shea, Alan Sanders, Xingbo Wu, Mengyang Yang
Optical Fiber Communication Conference (OFC) 2024 | March 2024
Patrick Anderson, Erika B. Aranas, Youssef Assaf, Raphael Behrendt, Richard Black, Marco Caballero, Pashmina Cameron, Burcu Canakci, Thales de Carvalho, Andromachi Chatzieleftheriou, James Clegg, Rebekah Storan Clarke, Daniel Cletheroe, Bridgette Cooper, Tim Deegan, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Christos Gkantsidis, Ariel Gomez Diaz, Istvan Haller, Freddie Hong, Teodora Ilieva, Shashidhar Joshi, Russell Joyce, Mint Kunkel, David Lara, Sergey Legtchenko, Fanglin Linda Liu, Bruno Magalhaes, Alana Marzoev, Marvin McNett, Jayashree Mohan, Michael Myrah, Truong Nguyen, Sebastian Nowozin, Aaron Ogus, Hiske Overweg, Ant Rowstron, Maneesh Sah, Masaaki Sakakura, Peter Scholtz, Nina Schreiner, Omer Sella, Adam Smith, Ioan Stefanovici, David Sweeney, Benn Thomsen, Govert Verkes, Phil Wainman, Jonathan Westcott, Luke Weston, Charles Whittaker, Pablo Wilke Berenguer, Hugh Williams, Thomas Winkler, Stefan Winzeck
The 29th ACM Symposium on Operating Systems Principles | October 2023
Thomas Gerard, Kari Clark, Adam Funnell, Kai Shi, Benn Thomsen, Philip Watts, Krzysztof Jozwik, Istvan Haller, Hugh Williams, Paolo Costa, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | June 2021
Srikanth Kandula, Laurel Orr, Surajit Chaudhuri
VLDB | August 2020
Best Paper Runner-Up
Hitesh Ballani, Paolo Costa, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Krzysztof Jozwik, Fotini Karinou, Sophie Lange, Benn Thomsen, Kai Shi, Hugh Williams
SIGCOMM | August 2020
Vojislav Dukic, Ginni Khanna, Christos Gkantsidis, Thomas Karagiannis, Francesca Parmigiani, Ankit Singla, Mark Filer, Jeff Cox, Anna Ptasznik, Nick Harland, Winston Saunders, Christian Belady
SIGCOMM | August 2020
Andromachi Chatzieleftheriou, Ioan Stefanovici, Dushyanth Narayanan, Benn Thomsen, Ant Rowstron
12th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 20) | July 2020
Knut Magne Risvik, Paul Brett, Miguel Castro, Wonhee Cho, Nikolas Gloy, Karthik Kalyanaraman, Joshua Cowhig, Richendra Khanna, John Pao, Matthew Renzelmann, Alex Shamis, Timothy Tan, Shuheng Zheng
2020 ACM SIGMOD International Conference on Management of Data | June 2020
Sophie Lange, A.S. Raja, Kai Shi, M. Karpov, Raphael Behrendt, Daniel Cletheroe, Istvan Haller, Fotini Karinou, X. Fu, J. Liu, A. . Lukashchuk, Benn Thomsen, Krzysztof Jozwik, Paolo Costa, T. J. Kippenberg, Hitesh Ballani
Optical Fiber Communication Conference (OFC) | March 2020
Ginni Khanna, Shengxiang Zhu, Mark Filer, Christos Gkantsidis, Francesca Parmigiani, Thomas Karagiannis
Optical Fiber Communication Conference (OFC’20) | March 2020
Kai Shi, Sophie Lange, Istvan Haller, Daniel Cletheroe, Raphael Behrendt, Benn Thomsen, Fotini Karinou, Krzysztof Jozwik, Paolo Costa, Hitesh Ballani
The 45th European Conference on Optical Communication (ECOC Post-deadline Paper) | September 2019
Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro
International Conference on Management of Data (SIGMOD ’19) | June 2019
Best Paper Honorable Mention
Nuno Lopes, Andrey Rybalchenko
VMCAI: Verification, Model Checking, and Abstract Interpretation | January 2019
Kari Clark, Hitesh Ballani, Polina Bayvel, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Philip Watts, Hugh Williams, Paolo Costa, Georgios Zervas, Zhixin Liu
44th European Conference on Optical Communication (ECOC Post-deadline paper) | September 2018
Patrick Anderson (paan), Richard Black, Ausra Cerkauskaite, Andromachi Chatzieleftheriou, James Clegg, Chris Dainty, Raluca Diaconu, Austin Donnelly, Rokas Drevinskas, Alexander Gaunt, Andreas Georgiou, Ariel Gomez Diaz, Peter G. Kazansky, David Lara, Sergey Legtchenko, Sebastian Nowozin, Aaron Ogus, Douglas Phillips, Ant Rowstron, Masaaki Sakakura, Ioan Stefanovici, Benn Thomsen, Lei Wang
10th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 18) | July 2018
Hitesh Ballani, Paolo Costa, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams
Optical Fiber Communication Conference (OFC) | January 2018
Hongqiang Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan
SOSP ’17 Proceedings of the 26th Symposium on Operating Systems Principles | October 2017
ISBN: 978-1-4503-5085-3
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese
Haifa Verification Conference (HVC), 2016 | August 2016
Richard Black, Austin Donnelly, Dave Harper, Aaron Ogus, Ant Rowstron
8th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 16) | June 2016
Gordon D. Plotkin, Nikolaj Bjørner, Nuno Lopes, Andrey Rybalchenko, George Varghese
POPL | June 2016
Adam Funnell, Joshua Benjamin, Hitesh Ballani, Paolo Costa, Philip Watts, Benn Thomsen
Optical Fiber Communication Conference (OFC’16) | March 2016
Aleksandar Dragojevic, Dushyanth Narayanan, Ed Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro
Symposium on Operating Systems Principles (SOSP’15) | October 2015
Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, Todd Millstein
USENIX – Advanced Computing Systems Association | April 2015
Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro, Orion Hodson
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2014) | April 2014
Ant Rowstron, Dushyanth Narayanan, Austin Donnelly, Greg O'Shea, Andrew Douglas
1st International Workshop on Hot Topics in Cloud Data Processing (HotCDP 2012) | April 2012
Arslan Sajid Raja, Sophie Lange, Maxim Karpov, Kai Shi (kaishi), Xin Fu, Raphael Behrendt, Daniel Cletheroe, Anton Lukashchuk, Istvan Haller, Fotini Karinou, Benn Thomsen, Krzysztof Jozwik, Junqiu Liu, Paolo Costa, Tobias Jan Kippenberg, Hitesh Ballani
Nature Communications | October 2021, Vol 12
Kari A. Clark, Daniel Cletheroe, Thomas Gerard, Istvan Haller, Krzysztof Jozwik, Kai Shi, Benn Thomsen, Hugh Williams, Georgios Zervas, Hitesh Ballani, Polina Bayvel, Paolo Costa, Zhixin Liu
Nature Electronics | June 2020
Thomas Gerard, Zhixin Liu, M. Sezer Erkılınç, Lidia Galdino, Polina Bayvel, Benn Thomsen, Domaniç Lavery
IEEE Photonics Journal | July 2019, Vol 11(4)
Adam Funnel, Kai Shi, Paolo Costa, Philip Watts , Hitesh Ballani, Benn Thomsen
OSA Journal of Lightwave Technology | October 2017, Vol 35(20): pp. 4438
Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
MSR-TR-2016-65 | September 2016
Karthick Jayaraman, Nikolaj Bjørner, Geoff Outhred, Charlie Kaufman
MSR-TR-2014-102 | July 2014
Published by Microsoft
Nuno Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
MSR-TR-2014-58 | April 2014
Published by Microsoft
