Faculty of Exact Sciences

Filter
Conference contribution

Search results

  • 2020

    Learning Canonical Representations for Scene Graph to Image Generation

    Herzig, R., Bar, A., Xu, H., Chechik, G., Darrell, T. & Globerson, A., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 210-227 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12371 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Learning Object Permanence from Video

    Shamsian, A., Kleinfeld, O., Globerson, A. & Chechik, G., 2020, Computer Vision – ECCV 2020 - 16th European Conference, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12361 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Learning Personal Representations from fMRI by Predicting Neurofeedback Performance

    Osin, J., Wolf, L., Gurevitch, G., Keynan, J. N., Fruchtman-Steinbok, T., Or-Borichev, A. & Hendler, T., 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 469-478 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12267 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Locality sensitive hashing for set-queries, motivated by group recommendations

    Kaplan, H. & Tenenbaum, J., 1 Jun 2020, 17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020. Albers, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 162).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logarithmic regret for learning linear quadratic regulators efficiently

    Cassel, A., Cohen, A. & Koren, T., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 1305-1314 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Lower Bounds for Distributed Sketching of Maximal Matchings and Maximal Independent Sets

    Assadi, S., Kol, G. & Oshman, R., 31 Jul 2020, PODC 2020 - Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 79-88 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Lower bounds on the time/memory tradeoff of function inversion

    Chawin, D., Haitner, I. & Mazor, N., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 305-334 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12552 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Manufacturing, integration, and mechanical verification of SOXS

    Aliverti, M., Oggioni, L., Genoni, M., Pariani, G., Hershko, O., Brucalassi, A., Pignata, G., Kuncarayakti, H., Sanchez, R. Z., Munari, M., Campana, S., Schipani, P., Claudi, R., Baruffolo, A., Ben-Ami, S., Biondi, F., Capasso, G., Cosentino, R., D'Alessio, F., D'Avanzo, P., & 29 othersLandoni, M., Rubin, A., Scuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Bruch, R., Cappellaro, E., Colapietro, M., della Valle, M., de Pascale, M., Di Benedetto, R., D'Orsi, S., Gal-Yam, A., Hernandez, M., Kotilainen, J., Li Causi, G., Mattila, S., Rappaport, M., Radhakrishnan, K., Redaelli, E. M. A., Ricci, D., Riva, M., Salasnich, B., Smartt, S., Stritzinger, M. & Ventura, E., 2020, Ground-Based and Airborne Instrumentation for Astronomy VIII. Evans, C. J., Bryant, J. J. & Motohara, K. (eds.). SPIE, 114476O. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11447).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • MC3: A System for Minimization of Classifier Construction Cost

    Gershtein, S., Milo, T., Morami, G. & Novgorodov, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 2725-2728 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • MedICaT: A dataset of medical images, captions, and textual references

    Subramanian, S., Wang, L. L., Mehta, S., Bogin, B., van Zuylen, M., Parasa, S., Singh, S., Gardner, M. & Hajishirzi, H., 2020, Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020. Association for Computational Linguistics (ACL), p. 2112-2120 9 p. (Findings of the Association for Computational Linguistics Findings of ACL: EMNLP 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Meta decision trees for explainable recommendation systems

    Shulman, E. & Wolf, L., 7 Feb 2020, AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society. Association for Computing Machinery, Inc, p. 365-371 7 p. (AIES 2020 - Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Minimization of Classifier Construction Cost for Search Queries

    Gershtein, S., Milo, T., Morami, G. & Novgorodov, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 1351-1365 15 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Models of smoothing in dynamic networks

    Meir, U., Paz, A. & Schwartzman, G., 1 Oct 2020, 34th International Symposium on Distributed Computing, DISC 2020. Attiya, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 179).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Monotone probability distributions over the Boolean cube can be learned with sublinear samples

    Rubinfeld, R. & Vasilyan, A., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • MuLtIQA: An empirical investigation of generalization and transfer in reading comprehension

    Talmor, A. & Berant, J., 2020, ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 4911-4921 11 p. (ACL 2019 - 57th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Near optimal algorithm for the directed single source replacement paths problem

    Chechik, S. & Magen, O., 1 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 81. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Near-optimal erasure list-decodable codes

    Ben-Aroya, A., Doron, D. & Ta-Shma, A., 1 Jul 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Near-optimal regret bounds for stochastic shortest path

    Cohen, A., Kaplan, H., Mansour, Y. & Rosenberg, A., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 8180-8189 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-11).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • NFV-based IoT Security for Home Networks using MUD

    Afek, Y., Bremler-Barr, A., Hay, D., Goldschmidt, R., Shafir, L., Avraham, G. & Shalev, A., Apr 2020, Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020. Institute of Electrical and Electronics Engineers Inc., 9110329. (Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Non-chattering discrete differentiators based on sliding modes

    Hanan, A., Jbara, A. & Levant, A., 14 Dec 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., p. 3987-3992 6 p. 9304283. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • NXNSAttack: Recursive DNS inefficiencies and vulnerabilities

    Afek, Y., Bremler-Barr, A. & Shafir, L., 2020, Proceedings of the 29th USENIX Security Symposium. USENIX Association, p. 631-648 18 p. (Proceedings of the 29th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Obtaining faithful interpretations from compositional neural networks

    Subramanian, S., Bogin, B., Gupta, N., Wolfson, T., Singh, S., Berant, J. & Gardner, M., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 5594-5608 15 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • OneGAN: Simultaneous Unsupervised Learning of Conditional Image Generation, Foreground Segmentation, and Fine-Grained Clustering

    Benny, Y. & Wolf, L., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 514-530 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12371 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On hitting-set generators for polynomials that vanish rarely

    Doron, D., Ta-Shma, A. & Tell, R., 1 Aug 2020, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020. Byrka, J. & Meka, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, APPROX7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Online revenue maximization for server pricing

    Boodaghians, S., Fusco, F., Leonardi, S., Mansour, Y. & Mehta, R., 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4106-4112 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Online Stochastic Max-Weight Matching: Prophet Inequality for Vertex and Edge Arrival Models

    Ezra, T., Feldman, M., Gravin, N. & Tang, Z. G., 13 Jul 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 769-787 19 p. 3399513. (EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • On Multiple Semantics for Declarative Database Repairs

    Gilad, A., Deutch, D. & Roy, S., 14 Jun 2020, SIGMOD 2020 - Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 817-831 15 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • On oblivious amplification of coin-tossing protocols

    Bitansky, N. & Geier, N., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the cryptographic hardness of local search

    Bitansky, N. & Gerichter, I., Jan 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 151).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the performance of reed-muller codes with respect to random errors and erasures

    Sberlo, O. & Shpilka, A., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 1357-1376 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the Power and Limits of Dynamic Pricing in Combinatorial Markets

    Berger, B., Eden, A. & Feldman, M., 2020, Web and Internet Economics - 16th International Conference, WINE 2020, Proceedings. Chen, X., Gravin, N., Hoefer, M. & Mehta, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 206-219 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12495 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On the round complexity of the shuffle model

    Beimel, A., Haitner, I., Nissim, K. & Stemmer, U., 2020, Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings. Pass, R. & Pietrzak, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 683-712 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12551 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Open Problem: Tight Convergence of SGD in Constant Dimension

    Koren, T. & Segal, S., 2020, Proceedings of Thirty Third Conference on Learning Theory. Abernethy, J. & Agarwal, S. (eds.). PMLR, p. 3847-3851 5 p. (Proceedings of Machine Learning Research; vol. 125).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Operational modes and efficiency of SOXS

    Claudi, R., Biondi, F., Elias-Rosa, N., Genoni, M., Munari, M., Radhakrishnan, K., Ricci, D., Zanmar Sanchez, R., Campana, S., Schipani, P., Aliverti, M., Baruffolo, A., Ben-Ami, S., Brucalassi, A., Capasso, G., Cosentino, R., D'Alessio, F., D'Avanzo, P., Hershko, O., Kuncarayakti, H., & 28 othersLandoni, M., Pignata, G., Rubin, A., Scuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Bruch, Cappellaro, E., Colapietro, M., della Valle, M., Di Benedetto, R., de Pascale, M., D'Orsi, S., Hernandez, M., Gal-Yam, A., Li Causi, G., Marafatto, L., Matila, S., Rappaport, M., Riva, M., Salasnich, B., Smartt, S., Stritzinger, M., Turatto, M. & Perez Ventura, H., 2020, Ground-Based and Airborne Instrumentation for Astronomy VIII. Evans, C. J., Bryant, J. J. & Motohara, K. (eds.). SPIE, 114477C. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11447).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Optical skyrmions and a topological hall effect in artificial gauge fields

    Karnieli, A., Tsesses, S., Bartal, G. & Arie, A., 2020, CLEO: QELS_Fundamental Science, CLEO_QELS 2020. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F182-CLEO-QELS 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Optical Skyrmions and a Topological Hall Effect in Artificial Gauge Fields

    Karnieli, A., Tsesses, S., Bartal, G. & Arie, A., May 2020, 2020 Conference on Lasers and Electro-Optics, CLEO 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9192728. (Conference Proceedings - Lasers and Electro-Optics Society Annual Meeting-LEOS; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Optimal approximations for traffic distribution in bounded switch memories

    Sadeh, Y., Rottenstreich, O. & Kaplan, H., 23 Nov 2020, CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies. Association for Computing Machinery, Inc, p. 309-322 14 p. (CoNEXT 2020 - Proceedings of the 16th International Conference on Emerging Networking EXperiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Optimistic policy optimization with bandit feedback

    Efroni, Y., Shani, L., Rosenberg, A. & Mannor, S., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 8562-8571 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Palette-alternating tree codes

    Cohen, G. & Samocha, S., 1 Jul 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Palette sparsification beyond (∆ + 1) vertex coloring

    Alon, N. & Assadi, S., 1 Aug 2020, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020. Byrka, J. & Meka, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, APPROX6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 176).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Past-sensitive pointer analysis for symbolic execution

    Trabish, D., Kapus, T., Rinetzky, N. & Cadar, C., 8 Nov 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 197-208 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Polynomial tensor sketch for element-wise function of low-rank matrix

    Han, I., Avron, H. & Shin, J., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 3942-3951 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-6).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Post-quantum zero knowledge in constant rounds

    Bitansky, N. & Shmueli, O., 8 Jun 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 269-279 11 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Pre-training mention representations in coreference models

    Varkel, Y. & Globerson, A., 2020, EMNLP 2020 - 2020 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 8534-8540 7 p. (EMNLP 2020 - 2020 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Private stochastic convex optimization: Optimal rates in linear time

    Feldman, V., Koren, T. & Talwar, K., 8 Jun 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 439-449 11 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Progress and tests on the instrument control electronics for SOXS

    Colapietro, M., Capasso, G., D'Orsi, S., Schipani, P., Marty, L., Savarese, S., Coretti, I., Campana, S., Claudi, R., Aliverti, M., Baruffolo, A., Ben-Ami, S., Biondi, F., Cosentino, R., D'Alessio, F., D'Avanzo, P., Hershko, O., Kuncarayakti, H., Landoni, M., Munari, M., & 29 othersPignata, G., Rubin, A., Scuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Brucalassi, A., Bruch, R., Cappellaro, E., Della Valle, M., De Pascale, M., Di Benedetto, R., Gal-Yam, A., Genoni, M., Hernandez, M., Kotilainen, J., Li Causi, G., Mattila, S., Radhakrishnan, K., Rappaport, M., Ricci, D., Riva, M., Salasnich, B., Smartt, S., Zanmar Sanchez, R., Stritzinger, M. & Ventura, H., 2020, Software and Cyberinfrastructure for Astronomy VI. Guzman, J. C. & Ibsen, J. (eds.). SPIE, 1145225. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11452).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Progress on the UV-VIS arm of SOXS

    Rubin, A., Ben-Ami, S., Hershko, O., Rappaport, M., Gal-Yam, A., Bruch, R., Campana, S., Claudi, R., Schipani, P., Aliverti, M., Baruffolo, A., Biondi, F., Capasso, G., Cosentino, R., D'Alessio, F., D'Avanzo, P., Kuncarayakti, H., Landoni, M., Munari, M., Pignata, G., & 28 othersScuderi, S., Vitali, F., Young, D., Achrén, J., Araiza-Duran, J. A., Arcavi, I., Brucalassi, A., Cappellaro, E., Colapietro, M., della Valle, M., de Pascale, M., Di Benedetto, R., D'Orsi, S., Flügel-Paul, T., Genoni, M., Hernandez, M., Kotilainen, J., Li Causi, G., Mattila, S., Radhakrishnan, K., Ricci, D., Riva, M., Sadlowski, S., Salasnich, B., Smartt, S., Sanchez, R. Z., Stritzinger, M. & Ventura, H., 2020, Ground-Based and Airborne Instrumentation for Astronomy VIII. Evans, C. J., Bryant, J. J. & Motohara, K. (eds.). SPIE, 114475L. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11447).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Promising 2.0: Global optimizations in relaxed memory concurrency

    Lee, S. H., Cho, M., Podkopaev, A., Chakraborty, S., Hur, C. K., Lahav, O. & Vafeiadis, V., 11 Jun 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 362-376 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Pseudorandom black swans: Cache attacks on CTR_DRBG

    Cohney, S., Kwong, A., Paz, S., Genkin, D., Heninger, N., Ronen, E. & Yarom, Y., May 2020, Proceedings - 2020 IEEE Symposium on Security and Privacy, SP 2020. Institute of Electrical and Electronics Engineers Inc., p. 1241-1258 18 p. 9152663. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

    Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Shoham, S., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 112-135 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review