Department of Computer Science

Filter
Conference contribution

Search results

  • 2023

    Improved Polynomial Secret-Sharing Schemes

    Beimel, A., Farràs, O. & Lasri, O., 1 Jan 2023, Theory of Cryptography - 21st International Conference, TCC 2023, Proceedings. Rothblum, G. & Wee, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 374-405 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14370 LNCS).

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

  • Incorporating Context into Subword Vocabularies

    Yehezkel, S. & Pinter, Y., 1 Jan 2023, EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 623-635 13 p. (EACL 2023 - 17th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference).

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

    Open Access
    6 Scopus citations

  • Inductive Continuity via Brouwer Trees

    Cohen, L., da Rocha Paiva, B., Rahli, V. & Tosun, A., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

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

    2 Scopus citations

  • Interactive Coding with Small Memory

    Efremenko, K., Haeupler, B., Kalai, Y. T., Kol, G., Resch, N. & Saxena, R. R., 1 Jan 2023, 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023. Association for Computing Machinery, p. 3587-3613 27 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2023-January).

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

  • Invited Paper: Common Public Knowledge for Enhancing Machine Learning Data Sets

    Dolev, S. & Ilani, A., 19 Jun 2023, Proceedings of the 5th Workshop on Advanced Tools, programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, ApPLIED 2023. Association for Computing Machinery, Inc, 2. (Proceedings of the 5th Workshop on Advanced Tools, programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed Systems, ApPLIED 2023).

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

    Open Access
    1 Scopus citations

  • In Which Graph Structures Can We Efficiently Find Temporally Disjoint Paths and Walks?

    Kunz, P., Molter, H. & Zehavi, M., 1 Jan 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 180-188 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

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

    Open Access
    3 Scopus citations

  • I See Dead People: Gray-Box Adversarial Attack on Image-To-Text Models

    Lapid, R. & Sipper, M., 2023, 5th Workshop on Machine Learning for CyberSecurity (ECMLPKDD 2023). 13 p.

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

    Open Access

  • Kernelization for Spreading Points

    Fomin, F. V., Golovach, P. A., Inamdar, T., Saurabh, S. & Zehavi, M., 1 Sep 2023, 31st Annual European Symposium on Algorithms, ESA 2023. Li Gortz, I., Farach-Colton, M., Puglisi, S. J. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 274).

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

  • Kernels for the Disjoint Paths Problem on Subclasses of Chordal Graphs

    Chaudhary, J., Gahlawat, H., Włodarczyk, M. & Zehavi, M., 1 Dec 2023, 18th International Symposium on Parameterized and Exact Computation, IPEC 2023. Misra, N. & Wahlstrom, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 285).

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

  • Learning Revenue Maximization Using Posted Prices for Stochastic Strategic Patient Buyers

    Mashiah, E. H., Attias, I. & Mansour, Y., 27 Jun 2023, AAAI-23 Technical Tracks 8. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 9090-9098 9 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

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

  • Live Free-View Video for Soccer Games

    Amar, I., Elsana, A. & El-Sana, J., 9 Oct 2023, Proceedings - Web3D 2023: 28th International Conference on Web3D Technology. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, 15. (Proceedings - Web3D 2023: 28th International Conference on Web3D Technology).

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

    Open Access

  • Lossy Kernelization for (Implicit) Hitting Set Problems

    Fomin, F. V., Le, T. N., Lokshtanov, D., Saurabh, S., Thomassé, S. & Zehavi, M., 1 Sep 2023, 31st Annual European Symposium on Algorithms, ESA 2023. Li Gortz, I., Farach-Colton, M., Puglisi, S. J. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 274).

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

  • Lower Bounds for Secret-Sharing Schemes for k-Hypergraphs

    Beimel, A., 1 Jul 2023, 4th Conference on Information-Theoretic Cryptography, ITC 2023. Chung, K.-M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 267).

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

    1 Scopus citations

  • Minimum-Link C-Oriented Paths Visiting a Sequence of Regions in the Plane

    Geva, K., Katz, M. J., Mitchell, J. S. B. & Packer, E., 1 Jan 2023, Algorithms and Complexity - 13th International Conference, CIAC 2023, Proceedings. Mavronicolas, M. (ed.). Springer Science and Business Media Deutschland GmbH, p. 247-262 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13898 LNCS).

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

  • Minimum Maximal Acyclic Matching in Proper Interval Graphs

    Chaudhary, J., Mishra, S. & Panda, B. S., 1 Jan 2023, Algorithms and Discrete Applied Mathematics - 9th International Conference, CALDAM 2023, Proceedings. Bagchi, A. & Muthu, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 377-388 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13947 LNCS).

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

    3 Scopus citations

  • MPI-RICAL: Data-Driven MPI Distributed Parallelism Assistance with Transformers

    Schneider, N., Kadosh, T., Hasabnis, N., Mattson, T., Pinter, Y. & Oren, G., 12 Nov 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, p. 2-10 9 p. (ACM International Conference Proceeding Series).

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

    Open Access
    2 Scopus citations

  • NEXUS: On Explaining Confounding Bias

    Youngmann, B., Cafarella, M., Moskovitch, Y. & Salimi, B., 4 Jun 2023, SIGMOD 2023 - Companion of the 2023 ACM/SIGMOD International Conference on Management of Data. Association for Computing Machinery, p. 171-174 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

    Open Access
    2 Scopus citations

  • Noisy Radio Network Lower Bounds via Noiseless Beeping Lower Bounds.

    Efremenko, K., Kol, G., Paramonov, D. & Saxena, R. R., 1 Feb 2023, 14th Innovations in Theoretical Computer Science Conference (ITCS 2023). Kalai, Y. T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 251. p. 46:1-46:20 20 p. 46. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 251).

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

  • Oblivious Transfer with Constant Computational Overhead

    Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L., Resch, N. & Scholl, P., 1 Jan 2023, Advances in Cryptology – EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Hazay, C. & Stam, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 271-302 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14004 LNCS).

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

    Open Access
    2 Scopus citations

  • On Computing Homological Hitting Sets

    Bauer, U., Rathod, A. & Zehavi, M., 1 Jan 2023, 14th Innovations in Theoretical Computer Science Conference, ITCS 2023. Kalai, Y. T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 251).

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

  • On Differential Privacy and Adaptive Data Analysis with Bounded Space

    Dinur, I., Stemmer, U., Woodruff, D. P. & Zhou, S., 1 Jan 2023, Advances in Cryptology – EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2023, Proceedings. Hazay, C. & Stam, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 35-65 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14006 LNCS).

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

    1 Scopus citations

  • On Error and Compression Rates for Prototype Rules

    Kerem, O. & Weiss, R., 27 Jun 2023, AAAI-23 Technical Tracks 7. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 8228-8236 9 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

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

    Open Access
    1 Scopus citations

  • On Explaining Confounding Bias

    Youngmann, B., Cafarella, M., Moskovitch, Y. & Salimi, B., 1 Jan 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. Institute of Electrical and Electronics Engineers, p. 1846-1859 14 p. (Proceedings - International Conference on Data Engineering; vol. 2023-April).

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

    Open Access
    6 Scopus citations

  • On Latency Awareness with Delayed Hits

    Einziger, G., Keren, N. & Scalosub, G., 5 Jun 2023, Proceedings of the 16th ACM International Conference on Systems and Storage, SYSTOR 2023. Association for Computing Machinery, Inc, p. 144 1 p. (Proceedings of the 16th ACM International Conference on Systems and Storage, SYSTOR 2023).

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

    Open Access

  • Optimizing DNS Resolvers for High Loads

    Alayoff, I. & Einziger, G., 1 Jan 2023, 2023 IFIP Networking Conference, IFIP Networking 2023. Institute of Electrical and Electronics Engineers, (2023 IFIP Networking Conference, IFIP Networking 2023).

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

    2 Scopus citations

  • Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

    Forster, Y., Kirst, D. & Mück, N., 1 Jan 2023, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Proceedings. Hur, C.-K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 155-181 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14405 LNCS).

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

  • Parameterized Analysis of the Cops and Robber Game

    Gahlawat, H. & Zehavi, M., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

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

    1 Scopus citations

  • Parameterized Approaches to Orthogonal Compaction

    Didimo, W., Gupta, S., Kindermann, P., Liotta, G., Wolff, A. & Zehavi, M., 1 Jan 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (ed.). Cham: Springer Science and Business Media Deutschland GmbH, Vol. 13878. p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

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

    1 Scopus citations

  • Parameterized Complexity of Incomplete Connected Fair Division

    Gahlawat, H. & Zehavi, M., 1 Dec 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. Bouyer, P., Srinivasan, S. & Srinivasan, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).

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

  • Parameterized Results on Acyclic Matchings with Implications for Related Problems

    Chaudhary, J. & Zehavi, M., 1 Jan 2023, Graph-Theoretic Concepts in Computer Science - 49th International Workshop, WG 2023, Revised Selected Papers. Paulusma, D. & Ries, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 201-216 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14093 LNCS).

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

    4 Scopus citations

  • Path-Reporting Distance Oracles with Logarithmic Stretch and Size O(n log log n)

    Elkin, M. & Shabat, I., 1 Jan 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. Institute of Electrical and Electronics Engineers, p. 2278-2311 34 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    1 Scopus citations

  • PhyLoNet: Physically-Constrained Long-Term Video Prediction

    Zikri, N. B. & Sharf, A., 1 Jan 2023, Computer Vision – ACCV 2022 - 16th Asian Conference on Computer Vision, Proceedings. Wang, L., Gall, J., Chin, T.-J., Sato, I. & Chellappa, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 570-587 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13847 LNCS).

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

  • Piercing Diametral Disks Induced by Edges of Maximum Spanning Trees

    Abu-Affash, A. K., Carmi, P. & Maman, M., 1 Jan 2023, WALCOM: Algorithms and Computation - 17th International Conference and Workshops, WALCOM 2023, Proceedings. Lin, C.-C., Lin, B. M. & Liotta, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 71-77 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13973 LNCS).

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

    1 Scopus citations

  • Planar Disjoint Paths, Treewidth, and Kernels

    Wlodarczyk, M. & Zehavi, M., 1 Jan 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. Institute of Electrical and Electronics Engineers, p. 649-662 14 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    Open Access
    1 Scopus citations

  • P-Matchings Parameterized by Treewidth

    Chaudhary, J. & Zehavi, M., 1 Jan 2023, Graph-Theoretic Concepts in Computer Science - 49th International Workshop, WG 2023, Revised Selected Papers. Paulusma, D. & Ries, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 217-231 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14093 LNCS).

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

    4 Scopus citations

  • Portability and Scalability of OpenMP Offloading on State-of-the-Art Accelerators

    Fridman, Y., Tamir, G. & Oren, G., 1 Jan 2023, High Performance Computing - ISC High Performance 2023 International Workshops, Revised Selected Papers. Bienz, A., Weiland, M., Baboulin, M. & Kruse, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 378-390 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13999 LNCS).

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

    1 Scopus citations

  • POSTER: Learning to Parallelize in a Shared-Memory Environment with Transformers

    Harel, R., Pinter, Y. & Oren, G., 25 Feb 2023, PPoPP 2023 - Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 450-452 3 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

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

    9 Scopus citations

  • Probabilistic Programs as an Action Description Language

    Brafman, R. I., Tolpin, D. & Wertheim, O., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 15351-15358 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

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

    Open Access
    4 Scopus citations

  • Protecting Single-Hop Radio Networks from Message Drops

    Efremenko, K., Kol, G., Paramonov, D. & Saxena, R. R., 1 Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 53. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 261).

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

    1 Scopus citations

  • Provengo: A Tool Suite for Scenario Driven Model-Based Testing

    Bar-Sinai, M., Elyasaf, A., Weiss, G. & Weiss, Y., 1 Jan 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers, p. 2062-2065 4 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

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

    Open Access

  • Pseudorandomness with Proof of Destruction and Applications

    Behera, A., Brakerski, Z., Sattath, O. & Shmueli, O., 1 Jan 2023, Theory of Cryptography - 21st International Conference, TCC 2023, Proceedings. Rothblum, G. & Wee, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 125-154 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14372 LNCS).

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

    1 Scopus citations

  • PTDRL: Parameter Tuning Using Deep Reinforcement Learning

    Goldsztejn, E., Feiner, T. & Brafman, R., 1 Jan 2023, 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023. Institute of Electrical and Electronics Engineers, p. 11356-11362 7 p. (IEEE International Conference on Intelligent Robots and Systems).

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

    Open Access

  • Public-Key Encryption with Quantum Keys

    Barooti, K., Grilo, A. B., Huguenin-Dumittan, L., Malavolta, G., Sattath, O., Vu, Q. H. & Walter, M., 1 Jan 2023, Theory of Cryptography - 21st International Conference, TCC 2023, Proceedings. Rothblum, G. & Wee, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 198-227 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14372 LNCS).

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

    2 Scopus citations

  • Quantifying OpenMP: Statistical Insights into Usage and Adoption

    Kadosh, T., Hasabnis, N., Mattson, T., Pinter, Y. & Oren, G., 1 Jan 2023, 2023 IEEE High Performance Extreme Computing Conference, HPEC 2023. Institute of Electrical and Electronics Engineers, (2023 IEEE High Performance Extreme Computing Conference, HPEC 2023).

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

    Open Access
    4 Scopus citations

  • Realizing Continuity Using Stateful Computations

    Cohen, L. & Rahli, V., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 15:1-15:18 18 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

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

    3 Scopus citations

  • Recontamination Helps a Lot to Hunt a Rabbit

    Dissaux, T., Fioravantes, F., Gahlawat, H. & Nisse, N., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

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

    1 Scopus citations

  • Reinforcement Learning n RDPs by Combining Deep RL with Automata Learning

    Shahar, T. & Brafman, R. I., 28 Sep 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 2097-2104 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

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

    Open Access

  • Relaxed Models for Adversarial Streaming: The Bounded Interruptions Model and the Advice Model

    Sadigurschi, M., Shechner, M. & Stemmer, U., 1 Sep 2023, 31st Annual European Symposium on Algorithms, ESA 2023. Li Gortz, I., Farach-Colton, M., Puglisi, S. J. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 91. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 274).

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

  • Searching for N:M Fine-grained Sparsity of Weights and Activations in Neural Networks

    Akiva-Hochman, R., Finder, S. E., Turek, J. S. & Treister, E., 1 Jan 2023, Computer Vision – ECCV 2022 Workshops, Proceedings. Karlinsky, L., Michaeli, T. & Nishino, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 130-143 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13807 LNCS).

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

  • Semantic Decomposition of Question and SQL for Text-to-SQL Parsing

    Eyal, B., Bachar, A., Haroche, O., Mahabi, M. & Elhadad, M., 1 Jan 2023, Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics (ACL), p. 13629-13645 17 p. (Findings of the Association for Computational Linguistics: EMNLP 2023).

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

    Open Access
    1 Scopus citations