Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Romil Bhardwaj , Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Nikolaos Karianakis, Kevin Hsieh, Victor Bahl, Ion Stoica
USENIX NSDI | April 2022
Arthi Padmanabhan, Neil Agarwal, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
arXiv:2201.07705 | January 2022
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
ACM/IEEE Symposium on Edge Computing | December 2021
Arthi Padmanabhan, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2021
Romil Bhardwaj, Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Nikolaos Karianakis, Yuanchao Shu, Kevin Hsieh, Victor Bahl, Ion Stoica
MSR-TR-2020-44 | December 2020
作者:Microsoft
arXiv:2012.10557
Landon Cox, Lixiang Ao
ACM Symposium on Edge Computing | November 2020
Samvit Jain, Xun Zhang, Yuhao Zhou, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Victor Bahl, Joseph Gonzalez
ACM/IEEE Symposium on Edge Computing (SEC 2020) | November 2020
SEC 2020 Best Paper Award
Ganesh Ananthanarayanan, Yuanchao Shu, Mustafa Kasap, Avi Kewalramani, Milan Gada, Victor Bahl
July 2020
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
MSR-TR-2020-17 | May 2020
作者:Microsoft
Future of Information and Communications Conference 2020 | March 2020
编辑: Kohei Arai
Shadi Noghabi, Landon Cox, Sharad Agarwal, Ganesh Ananthanarayanan
ACM SIGMOBILE GetMobile | March 2020
Ganesh Ananthanarayanan, Victor Bahl, Yuanchao Shu, Franz Loewenherz, Daniel Lai, Darcy Akers, Peiwei Cao, Fan Xia, Jiangbo Zhang, Ashley Song
MSR-TR-1970-3 | December 2019
作者:Microsoft and City of Bellevue
Yan Lu, Yuanchao Shu, Xu Tan, Yunxin Liu, Mengyu Zhou, Qi Chen, Dan Pei
ACM/IEEE Symposium on Edge Computing | November 2019
John Emmons, Sadjad Fouladi, Ganesh Ananthanarayanan, Shivaram Venkataraman, Silvio Savarese, Keith Winstein
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2019
M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
ACM Computing Surveys | July 2019
Ganesh Ananthanarayanan, Victor Bahl, Landon Cox, Alex Crown, Shadi Noghabi, Yuanchao Shu
ACM MobiSys | June 2019
MobiSys Best Demo Runner-up Award
Chien-Chun Hung, Ganesh Ananthanarayanan, Peter Bodík, Leana Golubchik, Minlan Yu, Victor Bahl, Matthai Philipose
ACM/IEEE Symposium on Edge Computing (SEC) | October 2018
Chien-Chun Hung, Ganesh Ananthanarayanan, Leana Golubchik, Minlan Yu, Mingyang Zhang
ACM EuroSys | April 2018
Ganesh Ananthanarayanan, Victor Bahl, Peter Bodík, Krishna Chintalapudi, Matthai Philipose, Lenin Ravindranath Sivalingam, Sudipta Sinha
IEEE Computer | October 2017
Giulio Grassi, Victor Bahl, Giovanni Pau, Kyle Jamieson
SEC '17 | August 2017
Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodík, Matthai Philipose, Victor Bahl, Michael Freedman
USENIX NSDI | March 2017
Franz Loewenherz, Victor Bahl, Yinhai Wang
ITE Journal | March 2017, 第 87 卷: pp. 25-28
Raajay Viswanathan, Ganesh Ananthanarayanan, Aditya Akella
USENIX OSDI | November 2016
ISBN: 978-1-931971-33-1
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Tan Zhang, Aakanksha Chowdhery, Victor Bahl, Kyle Jamieson, Suman Banerjee
MobiCom '15 | September 2015
ISBN: 978-1-4503-3619-2/15/09
Qifan Pu, Ganesh Ananthanarayanan, Peter Bodík, Srikanth Kandula, Aditya Akella, Victor Bahl, Ion Stoica
ACM SIGCOMM | August 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Victor Bahl, Richard Y. Han, Li Erran Li, Mahadev Satyanarayanan
Proceedings of the third ACM workshop on Mobile Cloud Computing and Services, (MCS), Low Wood Bay, Lake District, UK, June 2012 | June 2012
Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl
ACM MobiSys 2010 | June 2010
ACM MobiSys 2010
Mahadev Satyanarayanan, Victor Bahl, Ramon Caceres, Nigel Davies
IEEE Pervasive Computing | November 2009
ACM SIGMOBILE Test of Time Award 2022
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl
ACM MobiSys 2010 | June 2010
ACM MobiSys 2010
Arthi Padmanabhan, Neil Agarwal, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
arXiv:2201.07705 | January 2022
Romil Bhardwaj, Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Nikolaos Karianakis, Yuanchao Shu, Kevin Hsieh, Victor Bahl, Ion Stoica
MSR-TR-2020-44 | December 2020
作者:Microsoft
arXiv:2012.10557
Samvit Jain, Xun Zhang, Yuhao Zhou, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Victor Bahl, Joseph Gonzalez
ACM/IEEE Symposium on Edge Computing (SEC 2020) | November 2020
SEC 2020 Best Paper Award
Ganesh Ananthanarayanan, Yuanchao Shu, Mustafa Kasap, Avi Kewalramani, Milan Gada, Victor Bahl
July 2020
Ganesh Ananthanarayanan, Victor Bahl, Yuanchao Shu, Franz Loewenherz, Daniel Lai, Darcy Akers, Peiwei Cao, Fan Xia, Jiangbo Zhang, Ashley Song
MSR-TR-1970-3 | December 2019
作者:Microsoft and City of Bellevue
Romil Bhardwaj , Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Nikolaos Karianakis, Kevin Hsieh, Victor Bahl, Ion Stoica
USENIX NSDI | April 2022
Arthi Padmanabhan, Neil Agarwal, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
arXiv:2201.07705 | January 2022
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
ACM/IEEE Symposium on Edge Computing | December 2021
Arthi Padmanabhan, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2021
Romil Bhardwaj, Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Nikolaos Karianakis, Yuanchao Shu, Kevin Hsieh, Victor Bahl, Ion Stoica
MSR-TR-2020-44 | December 2020
作者:Microsoft
arXiv:2012.10557
Landon Cox, Lixiang Ao
ACM Symposium on Edge Computing | November 2020
Samvit Jain, Xun Zhang, Yuhao Zhou, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Victor Bahl, Joseph Gonzalez
ACM/IEEE Symposium on Edge Computing (SEC 2020) | November 2020
SEC 2020 Best Paper Award
Ganesh Ananthanarayanan, Yuanchao Shu, Mustafa Kasap, Avi Kewalramani, Milan Gada, Victor Bahl
July 2020
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
MSR-TR-2020-17 | May 2020
作者:Microsoft
Future of Information and Communications Conference 2020 | March 2020
编辑: Kohei Arai
Shadi Noghabi, Landon Cox, Sharad Agarwal, Ganesh Ananthanarayanan
ACM SIGMOBILE GetMobile | March 2020
Ganesh Ananthanarayanan, Victor Bahl, Yuanchao Shu, Franz Loewenherz, Daniel Lai, Darcy Akers, Peiwei Cao, Fan Xia, Jiangbo Zhang, Ashley Song
MSR-TR-1970-3 | December 2019
作者:Microsoft and City of Bellevue
Yan Lu, Yuanchao Shu, Xu Tan, Yunxin Liu, Mengyu Zhou, Qi Chen, Dan Pei
ACM/IEEE Symposium on Edge Computing | November 2019
John Emmons, Sadjad Fouladi, Ganesh Ananthanarayanan, Shivaram Venkataraman, Silvio Savarese, Keith Winstein
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2019
M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
ACM Computing Surveys | July 2019
Ganesh Ananthanarayanan, Victor Bahl, Landon Cox, Alex Crown, Shadi Noghabi, Yuanchao Shu
ACM MobiSys | June 2019
MobiSys Best Demo Runner-up Award
Chien-Chun Hung, Ganesh Ananthanarayanan, Peter Bodík, Leana Golubchik, Minlan Yu, Victor Bahl, Matthai Philipose
ACM/IEEE Symposium on Edge Computing (SEC) | October 2018
Chien-Chun Hung, Ganesh Ananthanarayanan, Leana Golubchik, Minlan Yu, Mingyang Zhang
ACM EuroSys | April 2018
Ganesh Ananthanarayanan, Victor Bahl, Peter Bodík, Krishna Chintalapudi, Matthai Philipose, Lenin Ravindranath Sivalingam, Sudipta Sinha
IEEE Computer | October 2017
Giulio Grassi, Victor Bahl, Giovanni Pau, Kyle Jamieson
SEC '17 | August 2017
Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodík, Matthai Philipose, Victor Bahl, Michael Freedman
USENIX NSDI | March 2017
Franz Loewenherz, Victor Bahl, Yinhai Wang
ITE Journal | March 2017, 第 87 卷: pp. 25-28
Raajay Viswanathan, Ganesh Ananthanarayanan, Aditya Akella
USENIX OSDI | November 2016
ISBN: 978-1-931971-33-1
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Tan Zhang, Aakanksha Chowdhery, Victor Bahl, Kyle Jamieson, Suman Banerjee
MobiCom '15 | September 2015
ISBN: 978-1-4503-3619-2/15/09
Qifan Pu, Ganesh Ananthanarayanan, Peter Bodík, Srikanth Kandula, Aditya Akella, Victor Bahl, Ion Stoica
ACM SIGCOMM | August 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Victor Bahl, Richard Y. Han, Li Erran Li, Mahadev Satyanarayanan
Proceedings of the third ACM workshop on Mobile Cloud Computing and Services, (MCS), Low Wood Bay, Lake District, UK, June 2012 | June 2012
Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl
ACM MobiSys 2010 | June 2010
ACM MobiSys 2010
Mahadev Satyanarayanan, Victor Bahl, Ramon Caceres, Nigel Davies
IEEE Pervasive Computing | November 2009
ACM SIGMOBILE Test of Time Award 2022
Yan Lu, Yuanchao Shu, Xu Tan, Yunxin Liu, Mengyu Zhou, Qi Chen, Dan Pei
ACM/IEEE Symposium on Edge Computing | November 2019
John Emmons, Sadjad Fouladi, Ganesh Ananthanarayanan, Shivaram Venkataraman, Silvio Savarese, Keith Winstein
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2019
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Tan Zhang, Aakanksha Chowdhery, Victor Bahl, Kyle Jamieson, Suman Banerjee
MobiCom '15 | September 2015
ISBN: 978-1-4503-3619-2/15/09
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Michael Greenberg, Ryan Beckett, Eric Campbell
PLDI 2022 | June 2022
Distinguished Paper Award at PLDI'22
Romil Bhardwaj , Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Nikolaos Karianakis, Kevin Hsieh, Victor Bahl, Ion Stoica
USENIX NSDI | April 2022
Arthi Padmanabhan, Neil Agarwal, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
arXiv:2201.07705 | January 2022
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
ACM/IEEE Symposium on Edge Computing | December 2021
Arthi Padmanabhan, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2021
Landon Cox, Lixiang Ao
ACM Symposium on Edge Computing | November 2020
Samvit Jain, Xun Zhang, Yuhao Zhou, Ganesh Ananthanarayanan, Junchen Jiang, Yuanchao Shu, Victor Bahl, Joseph Gonzalez
ACM/IEEE Symposium on Edge Computing (SEC 2020) | November 2020
SEC 2020 Best Paper Award
Future of Information and Communications Conference 2020 | March 2020
编辑: Kohei Arai
Yan Lu, Yuanchao Shu, Xu Tan, Yunxin Liu, Mengyu Zhou, Qi Chen, Dan Pei
ACM/IEEE Symposium on Edge Computing | November 2019
John Emmons, Sadjad Fouladi, Ganesh Ananthanarayanan, Shivaram Venkataraman, Silvio Savarese, Keith Winstein
Workshop on Hot Topics in Video Analytics and Intelligent Edges (HotEdgeVideo) | October 2019
Ganesh Ananthanarayanan, Victor Bahl, Landon Cox, Alex Crown, Shadi Noghabi, Yuanchao Shu
ACM MobiSys | June 2019
MobiSys Best Demo Runner-up Award
Chien-Chun Hung, Ganesh Ananthanarayanan, Peter Bodík, Leana Golubchik, Minlan Yu, Victor Bahl, Matthai Philipose
ACM/IEEE Symposium on Edge Computing (SEC) | October 2018
Chien-Chun Hung, Ganesh Ananthanarayanan, Leana Golubchik, Minlan Yu, Mingyang Zhang
ACM EuroSys | April 2018
Giulio Grassi, Victor Bahl, Giovanni Pau, Kyle Jamieson
SEC '17 | August 2017
Haoyu Zhang, Ganesh Ananthanarayanan, Peter Bodík, Matthai Philipose, Victor Bahl, Michael Freedman
USENIX NSDI | March 2017
Raajay Viswanathan, Ganesh Ananthanarayanan, Aditya Akella
USENIX OSDI | November 2016
ISBN: 978-1-931971-33-1
Tan Zhang, Aakanksha Chowdhery, Victor Bahl, Kyle Jamieson, Suman Banerjee
MobiCom '15 | September 2015
ISBN: 978-1-4503-3619-2/15/09
Qifan Pu, Ganesh Ananthanarayanan, Peter Bodík, Srikanth Kandula, Aditya Akella, Victor Bahl, Ion Stoica
ACM SIGCOMM | August 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Sharad Agarwal, Matthai Philipose, Victor Bahl
International Workshop on Mobile Cloud Computing & Services | June 2014
Victor Bahl, Richard Y. Han, Li Erran Li, Mahadev Satyanarayanan
Proceedings of the third ACM workshop on Mobile Cloud Computing and Services, (MCS), Low Wood Bay, Lake District, UK, June 2012 | June 2012
Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl
ACM MobiSys 2010 | June 2010
ACM MobiSys 2010
Shadi Noghabi, Landon Cox, Sharad Agarwal, Ganesh Ananthanarayanan
ACM SIGMOBILE GetMobile | March 2020
M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
ACM Computing Surveys | July 2019
Ganesh Ananthanarayanan, Victor Bahl, Peter Bodík, Krishna Chintalapudi, Matthai Philipose, Lenin Ravindranath Sivalingam, Sudipta Sinha
IEEE Computer | October 2017
Franz Loewenherz, Victor Bahl, Yinhai Wang
ITE Journal | March 2017, 第 87 卷: pp. 25-28
Mahadev Satyanarayanan, Victor Bahl, Ramon Caceres, Nigel Davies
IEEE Pervasive Computing | November 2009
ACM SIGMOBILE Test of Time Award 2022
Romil Bhardwaj, Zhengxu Xia, Ganesh Ananthanarayanan, Junchen Jiang, Nikolaos Karianakis, Yuanchao Shu, Kevin Hsieh, Victor Bahl, Ion Stoica
MSR-TR-2020-44 | December 2020
作者:Microsoft
arXiv:2012.10557
Zhuqi Li, Yuanchao Shu, Ganesh Ananthanarayanan, Longfei Shangguan, Kyle Jamieson, Victor Bahl
MSR-TR-2020-17 | May 2020
作者:Microsoft
Ganesh Ananthanarayanan, Victor Bahl, Yuanchao Shu, Franz Loewenherz, Daniel Lai, Darcy Akers, Peiwei Cao, Fan Xia, Jiangbo Zhang, Ashley Song
MSR-TR-1970-3 | December 2019
作者:Microsoft and City of Bellevue
Victor Bahl, Srikanth Kandula, Ashish Patro, Shuayb Zarar
MSR-TR-2016-1136 | August 2016
作者:Microsoft
Ganesh Ananthanarayanan, Yuanchao Shu, Mustafa Kasap, Avi Kewalramani, Milan Gada, Victor Bahl
July 2020