Michael Schapira

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 76

Top Venues

Publications

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. J. Autom. Reason. 68 (3) (2024)
Lloyd Brown, Albert Gran Alcoz, Frank Cangialosi, Akshay Narayan, Mohammad Alizadeh, Hari Balakrishnan, Eric J. Friedman, Ethan Katz-Bassett, Arvind Krishnamurthy, Michael Schapira, Scott Shenker
Principles for Internet Congestion Management. SIGCOMM (2024)
Neta Rozen Schiff, Danny Dolev, Tal Mizrahi, Michael Schapira
A Secure Selection and Filtering Mechanism for the Network Time Protocol with Khronos. RFC 9523 (2024)
Tal Mizrahi, Michael Schapira, Yoram Moses
The Observer Effect in Computer Networks. ANRW (2024)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. CoRR (2024)
Tal Mizrahi, Michael Schapira, Yoram Moses
The Observer Effect in Computer Networks. CoRR (2024)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CoRR (2023)
Yarin Perry, Felipe Vieira Frujeri, Chaim Hoch, Srikanth Kandula, Ishai Menache, Michael Schapira, Aviv Tamar
DOTE: Rethinking (Predictive) WAN Traffic Engineering. CoRR (2023)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CAV (2) (2023)
Yarin Perry, Felipe Vieira Frujeri, Chaim Hoch, Srikanth Kandula, Ishai Menache, Michael Schapira, Aviv Tamar
DOTE: Rethinking (Predictive) WAN Traffic Engineering. NSDI (2023)
Guy Amir, Guy Katz, Michael Schapira
Verification-Aided Deep Ensemble Selection. CoRR (2022)
Mathieu Jadin, Quentin De Coninck, Louis Navarre, Michael Schapira, Olivier Bonaventure
Leveraging eBPF to Make TCP Path-Aware. IEEE Trans. Netw. Serv. Manag. 19 (3) (2022)
Ravid Hadar, Michael Schapira
Network congestion control and its impact on video streaming QoE. MHV (2022)
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
Verification-Aided Deep Ensemble Selection. FMCAD (2022)
Yarin Perry, Neta Rozen Schiff, Michael Schapira
A Devil of a Time: How Vulnerable is NTP to Malicious Timeservers? NDSS (2021)
Tomer Eliyahu, Yafim Kazak, Guy Katz, Michael Schapira
Verifying learning-augmented systems. SIGCOMM (2021)
Tong Meng, Christopher Cai, Brighten Godfrey, Michael Schapira
Toward greater scavenger congestion control deployment: implementations and interfaces. ANRW (2021)
Hari Balakrishnan, Sujata Banerjee, Israel Cidon, David E. Culler, Deborah Estrin, Ethan Katz-Bassett, Arvind Krishnamurthy, James Murphy McCauley, Nick McKeown, Aurojit Panda, Sylvia Ratnasamy, Jennifer Rexford, Michael Schapira, Scott Shenker, Ion Stoica, David L. Tennenhouse, Amin Vahdat, Ellen W. Zegura
Revitalizing the public internet by making it extensible. Comput. Commun. Rev. 51 (2) (2021)
Guy Amir, Michael Schapira, Guy Katz
Towards Scalable Verification of RL-Driven Systems. CoRR (2021)
Guy Amir, Michael Schapira, Guy Katz
Towards Scalable Verification of Deep Reinforcement Learning. FMCAD (2021)
Tomer Gilad, Neta Rozen Schiff, Philip Brighten Godfrey, Costin Raiciu, Michael Schapira
MPCC: online learning multipath transport. CoNEXT (2020)
Noga H. Rotman, Michael Schapira, Aviv Tamar
Online Safety Assurance for Learning-Augmented Systems. HotNets (2020)
Tomas Hlavacek, Ítalo Cunha, Yossi Gilad, Amir Herzberg, Ethan Katz-Bassett, Michael Schapira, Haya Shulman
DISCO: Sidestepping RPKI's Deployment Barriers. NDSS (2020)
Tong Meng, Neta Rozen Schiff, Philip Brighten Godfrey, Michael Schapira
PCC Proteus: Scavenger Transport And Beyond. SIGCOMM (2020)
Lloyd Brown, Ganesh Ananthanarayanan, Ethan Katz-Bassett, Arvind Krishnamurthy, Sylvia Ratnasamy, Michael Schapira, Scott Shenker
On the Future of Congestion Control for the Public Internet. HotNets (2020)
Michael Dinitz, Michael Schapira, Gal Shahaf
Approximate Moore Graphs are good expanders. J. Comb. Theory, Ser. B 141 (2020)
Noga H. Rotman, Michael Schapira, Aviv Tamar
Online Safety Assurance for Deep Reinforcement Learning. CoRR (2020)
Yotam Harchol, Dirk Bergemann, Nick Feamster, Eric J. Friedman, Arvind Krishnamurthy, Aurojit Panda, Sylvia Ratnasamy, Michael Schapira, Scott Shenker
A Public Option for the Core. SIGCOMM (2020)
Todd Arnold, Matt Calder, Ítalo Cunha, Arpit Gupta, Harsha V. Madhyastha, Michael Schapira, Ethan Katz-Bassett
Beating BGP is Harder than we Thought. HotNets (2019)
Doron Zarchy, Radhika Mittal, Michael Schapira, Scott Shenker
Axiomatizing Congestion Control. SIGMETRICS (Abstracts) (2019)
Doron Zarchy, Radhika Mittal, Michael Schapira, Scott Shenker
Axiomatizing Congestion Control. Proc. ACM Meas. Anal. Comput. Syst. 3 (2) (2019)
Nathan Jay, Noga H. Rotman, Brighten Godfrey, Michael Schapira, Aviv Tamar
A Deep Reinforcement Learning Perspective on Internet Congestion Control. ICML (2019)
Jeremy Bogle, Nikhil Bhatia, Manya Ghobadi, Ishai Menache, Nikolaj Bjørner, Asaf Valadarsky, Michael Schapira
TEAVAR: striking the right utilization-availability balance in WAN traffic engineering. SIGCOMM (2019)
Tomer Gilad, Nathan H. Jay, Michael Shnaiderman, Brighten Godfrey, Michael Schapira
Robustifying Network Protocols with Adversarial Examples. HotNets (2019)
Yafim Kazak, Clark W. Barrett, Guy Katz, Michael Schapira
Verifying Deep-RL-Driven Systems. NetAI@SIGCOMM (2019)
Mo Dong, Tong Meng, Doron Zarchy, Engin Arslan, Yossi Gilad, Brighten Godfrey, Michael Schapira
PCC Vivace: Online-Learning Congestion Control. NSDI (2018)
Michael Dinitz, Michael Schapira, Gal Shahaf
Large Low-Diameter Graphs are Good Expanders. ESA (2018)
Yossi Gilad, Tomas Hlavacek, Amir Herzberg, Michael Schapira, Haya Shulman
Perfect is the Enemy of Good: Setting Realistic Goals for BGP Security. HotNets (2018)
Aran Bergman, Israel Cidon, Isaac Keslassy, Noga H. Rotman, Michael Schapira, Alex Markuze, Eyal Zohar
Pied Piper: Rethinking Internet Data Delivery. CoRR (2018)
Marco Chiesa, Gábor Rétvári, Michael Schapira
Oblivious Routing in IP Networks. IEEE/ACM Trans. Netw. 26 (3) (2018)
Neta Rozen Schiff, Michael Schapira, Danny Dolev, Omer Deutsch
Preventing (Network) Time Travel with Chronos. ANRW (2018)
Nathan Jay, Noga H. Rotman, Philip Brighten Godfrey, Michael Schapira, Aviv Tamar
Internet Congestion Control via Deep Reinforcement Learning. CoRR (2018)
Doron Zarchy, Amogh Dhamdhere, Constantine Dovrolis, Michael Schapira
Nash-peering: A new techno-economic framework for internet interconnections. INFOCOM Workshops (2018)
Omer Deutsch, Neta Rozen Schiff, Danny Dolev, Michael Schapira
Preventing (Network) Time Travel with Chronos. NDSS (2018)
Amit Daniely, Michael Schapira, Gal Shahaf
Inapproximability of Truthful Mechanisms via Generalizations of the Vapnik-Chervonenkis Dimension. SIAM J. Comput. 47 (1) (2018)
Michael Schapira
Network-Model-Based vs. Network-Model-Free Approaches to Internet Congestion Control. HPSR (2018)
Simone Mangiante, Michael Schapira, Amit Navon, Marco Dias Silva, Brighten Godfrey, Weiguang Wang, Kevin Smith, Itzcak Pechtalt
Congestion Control for Future Mobile Networks. CHANTS@MOBICOM (2018)
Ahuva Mu'alem, Michael Schapira
Setting lower bounds on truthfulness. Games Econ. Behav. 110 (2018)
Asaf Valadarsky, Michael Schapira, Dafna Shahaf, Aviv Tamar
Learning to Route. HotNets (2017)
Gilad Asharov, Daniel Demmler, Michael Schapira, Thomas Schneider, Gil Segev, Scott Shenker, Michael Zohner
Privacy-Preserving Interdomain Routing at Internet Scale. Proc. Priv. Enhancing Technol. 2017 (3) (2017)
Michael Dinitz, Michael Schapira, Asaf Valadarsky
Explicit Expanding Expanders. Algorithmica 78 (4) (2017)
Marco Chiesa, Ilya Nikolaevskiy, Slobodan Mitrovic, Andrei V. Gurtov, Aleksander Madry, Michael Schapira, Scott Shenker
On the Resiliency of Static Forwarding Tables. IEEE/ACM Trans. Netw. 25 (2) (2017)
Asaf Valadarsky, Michael Schapira, Dafna Shahaf, Aviv Tamar
A Machine Learning Approach to Routing. CoRR (2017)
Marco Chiesa, Guy Kindler, Michael Schapira
Traffic Engineering With Equal-Cost-MultiPath: An Algorithmic Perspective. IEEE/ACM Trans. Netw. 25 (2) (2017)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Dynamics at the Boundary of Game Theory and Distributed Computing. ACM Trans. Economics and Comput. 5 (3) (2017)
Yossi Gilad, Avichai Cohen, Amir Herzberg, Michael Schapira, Haya Shulman
Are We There Yet? On RPKI's Deployment and Security. NDSS (2017)
Michael Schapira, Keith Winstein
Congestion-Control Throwdown. HotNets (2017)
Michael Schapira, Gal Shahaf
Oblivious Routing via Random Walks. CoRR (2017)
Doron Zarchy, Radhika Mittal, Michael Schapira, Scott Shenker
An Axiomatic Approach to Congestion Control. HotNets (2017)
Marco Chiesa, Daniel Demmler, Marco Canini, Michael Schapira, Thomas Schneider
SIXPACK: Securing Internet eXchange Points Against Curious onlooKers. CoNEXT (2017)
Gilad Asharov, Daniel Demmler, Michael Schapira, Thomas Schneider, Gil Segev, Scott Shenker, Michael Zohner
Privacy-Preserving Interdomain Routing at Internet Scale. IACR Cryptol. ePrint Arch. 2017 (2017)
Simon Kassing, Asaf Valadarsky, Gal Shahaf, Michael Schapira, Ankit Singla
Beyond fat-trees without antennae, mirrors, and disco-balls. SIGCOMM (2017)
Danny Dolev, Michael Erdmann, Neil Lutz, Michael Schapira, Adva Zair
Stateless Computation. PODC (2017)
Avichai Cohen, Yossi Gilad, Amir Herzberg, Michael Schapira
Jumpstarting BGP Security with Path-End Validation. SIGCOMM (2016)
Marco Chiesa, Gábor Rétvári, Michael Schapira
Lying Your Way to Better Traffic Engineering. CoNEXT (2016)
Marco Chiesa, Andrei V. Gurtov, Aleksander Madry, Slobodan Mitrovic, Ilya Nikolaevskiy, Michael Schapira, Scott Shenker
On the Resiliency of Randomized Routing Against Multiple Edge Failures. ICALP (2016)
Rishab Nithyanand, Oleksii Starov, Phillipa Gill, Adva Zair, Michael Schapira
Measuring and Mitigating AS-level Adversaries Against Tor. NDSS (2016)
Marco Chiesa, Ilya Nikolaevskiy, Slobodan Mitrovic, Aurojit Panda, Andrei V. Gurtov, Aleksander Madry, Michael Schapira, Scott Shenker
The quest for resilient (static) forwarding tables. INFOCOM (2016)
Robert Lychev, Michael Schapira, Sharon Goldberg
Rethinking security for internet routing. Commun. ACM 59 (10) (2016)
George Christodoulou, Annamária Kovács, Michael Schapira
Bayesian Combinatorial Auctions. J. ACM 63 (2) (2016)
Danny Dolev, Michael Erdmann, Neil Lutz, Michael Schapira, Adva Zair
Stateless Computation. CoRR (2016)
Doron Zarchy, Amogh Dhamdhere, Constantine Dovrolis, Michael Schapira
Nash-Peering: A New Techno-Economic Framework for Internet Interconnections. CoRR (2016)
Marco Chiesa, Daniel Demmler, Marco Canini, Michael Schapira, Thomas Schneider
Towards Securing Internet eXchange Points Against Curious onlooKers. ANRW (2016)
Asaf Valadarsky, Gal Shahaf, Michael Dinitz, Michael Schapira
Xpander: Towards Optimal-Performance Datacenters. CoNEXT (2016)
Yossi Gilad, Avichai Cohen, Amir Herzberg, Michael Schapira, Haya Shulman
Are We There Yet? On RPKI's Deployment and Security. IACR Cryptol. ePrint Arch. 2016 (2016)
Marco Chiesa, Gábor Rétvári, Michael Schapira
Lying Your Way to Better Traffic Engineering. CoRR (2016)
Ahuva Mu'alem, Michael Schapira
Setting Lower Bounds on Truthfulness. CoRR (2015)
Michael Dinitz, Michael Schapira, Asaf Valadarsky
Explicit Expanding Expanders. CoRR (2015)
Rishab Nithyanand, Oleksii Starov, Adva Zair, Phillipa Gill, Michael Schapira
Measuring and mitigating AS-level adversaries against Tor. CoRR (2015)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Dynamics at the Boundary of Game Theory and Distributed Computing. CoRR (2015)
Aurojit Panda, Katerina J. Argyraki, Mooly Sagiv, Michael Schapira, Scott Shenker
New Directions for Network Verification. SNAPL (2015)
Amit Daniely, Michael Schapira, Gal Shahaf
Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension. STOC (2015)
Michael Dinitz, Michael Schapira, Asaf Valadarsky
Explicit Expanding Expanders. ESA (2015)
Doron Zarchy, David Hay, Michael Schapira
Capturing resource tradeoffs in fair multi-resource allocation. INFOCOM (2015)
Avichai Cohen, Yossi Gilad, Amir Herzberg, Michael Schapira
One Hop for RPKI, One Giant Leap for BGP Security. HotNets (2015)
Mo Dong, Qingxi Li, Doron Zarchy, Philip Brighten Godfrey, Michael Schapira
PCC: Re-architecting Congestion Control for Consistent High Performance. NSDI (2015)
Asaf Valadarsky, Michael Dinitz, Michael Schapira
Xpander: Unveiling the Secrets of High-Performance Datacenters. HotNets (2015)
Roee Engelberg, Michael Schapira
Weakly-Acyclic (Internet) Routing Games. Theory Comput. Syst. 54 (3) (2014)
Thomas Ball, Nikolaj Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky
VeriCon: towards verifying controller programs in software-defined networks. PLDI (2014)
Marco Chiesa, Ilya Nikolaevskiy, Aurojit Panda, Andrei V. Gurtov, Michael Schapira, Scott Shenker
Exploring the Limits of Static Failover Routing. CoRR (2014)
Mo Dong, Qingxi Li, Doron Zarchy, Brighten Godfrey, Michael Schapira
Rethinking congestion control architecture: performance-oriented congestion control. SIGCOMM (2014)
Joan Feigenbaum, Aaron D. Jaggard, Michael Schapira
Approximate Privacy: Foundations and Quantification. ACM Trans. Algorithms 10 (3) (2014)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Self-stabilizing uncoupled dynamics. CoRR (2014)
Mo Dong, Qingxi Li, Doron Zarchy, Brighten Godfrey, Michael Schapira
PCC: Re-architecting Congestion Control for Consistent High Performance. CoRR (2014)
Phillipa Gill, Michael Schapira, Sharon Goldberg
A survey of interdomain routing policies. Comput. Commun. Rev. 44 (1) (2014)
Amit Daniely, Michael Schapira, Gal Shahaf
Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension. CoRR (2014)
Sharon Goldberg, Michael Schapira, Peter Hummon, Jennifer Rexford
How secure are secure interdomain routing protocols? Comput. Networks 70 (2014)
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright
Self-stabilizing Uncoupled Dynamics. SAGT (2014)
Marco Chiesa, Guy Kindler, Michael Schapira
Traffic engineering with Equal-Cost-Multipath: An algorithmic perspective. INFOCOM (2014)
Roee Engelberg, Alex Fabrikant, Michael Schapira, David Wajc
Best-response dynamics out of sync: complexity and characterization. EC (2013)

Michael Schapira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Schapira