Technion - Israel Institute of Technology

Filter
Conference contribution

Search results

  • 2024

    Abstract Thinking of Beginning Electrical Engineering and Computer Science Students

    Gero, A., Hadish, M. A. & Kvatinsky, S., 2024, Towards a Hybrid, Flexible and Socially Engaged Higher Education - Proceedings of the 26th International Conference on Interactive Collaborative Learning ICL 2023. Auer, M. E., Cukierman, U. R., Vendrell Vidal, E. & Tovar Caro, E. (eds.). p. 323-328 6 p. (Lecture Notes in Networks and Systems; vol. 901 LNNS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Abstract thinking of engineering students in high-school and higher education

    Gero, A., Mar 2024, Proceedings of the 18th International Technology, Education and Development Conference. p. 570-574 5 p. (INTED2024 Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Dataset for Metaphor Detection in Early Medieval Hebrew Poetry

    Toker, M., Mishali, O., Münz-Manor, O., Kimelfeld, B. & Belinkov, Y., 2024, EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Graham, Y., Purver, M. & Purver, M. (eds.). p. 443-453 11 p. (EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • AEC Digital Twin Data - Why Structure Matters

    Borrmann, A., Schlenger, J., Bus, N. & Sacks, R., 2024, Advances in Information Technology in Civil and Building Engineering - Proceedings of ICCCBE 2022 - Volume 1. Skatulla, S. & Beushausen, H. (eds.). p. 651-669 19 p. (Lecture Notes in Civil Engineering; vol. 357).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • ArcAid: Analysis of Archaeological Artifacts using Drawings

    Hayon, O., Munger, S., Shimshoni, I. & Tal, A., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 7249-7259 11 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Automatic and Incremental Repair for Speculative Information Leaks

    Bard, J., Jacobs, S. & Vizel, Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 291-313 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Automatic Parametric Generation of Simulation Models from Project Information in Digital Twin Construction

    Yeung, T., Martinez, J., Sharoni, L. O., Leao, J. & Sacks, R., 2024, Advances in Information Technology in Civil and Building Engineering - Proceedings of ICCCBE 2022 - Volume 1. Skatulla, S. & Beushausen, H. (eds.). p. 633-650 18 p. (Lecture Notes in Civil Engineering; vol. 357).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Bitwise Logic Using Phase Change Memory Devices Based on the Pinatubo Architecture

    Aflalo, N., Yalon, E. & Kvatinsky, S., 2024, Proceedings - 37th International Conference on VLSI Design, VLSID 2024 - held concurrently with 23rd International Conference on Embedded Systems, ES 2024. p. 583-586 4 p. (Proceedings of the IEEE International Conference on VLSI Design).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Bounded and Linear Quadratic Optimal Low-Thrust Collision Avoidance in Circular Orbits

    Itzhaki, T. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Bounds on Worst-Case Responsiveness for Agreement Algorithms

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Calculation of Water Age Using Electrical Simulators

    Balireddy, R., Chakravorty, A., Kuiry, S. N., Abhijith, G. R. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1276-1284 9 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • CLID: Controlled-Length Image Descriptions with Limited Data

    Hirsch, E. & Tal, A., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 5519-5529 11 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • CLIPAG: Towards Generator-Free Text-to-Image Generation

    Ganz, R. & Elad, M., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 3831-3841 11 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Clustering Analysis in Water Distribution Systems for Enhanced Metering Infrastructure Retrofitting

    Pesantez, J. E., Toledo Salazar, A., Pasha, F. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1285-1294 10 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Complete Neural Networks for Complete Euclidean Graphs

    Hordan, S., Amir, T., Gortler, S. J. & Dym, N., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 11 ed. p. 12482-12490 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Conceptualizing a Pre-Assembled Additively Manufactured Gas Turbine Engine: Technological Feasibility

    Palman, M., Abraham, Y., Agapovichev, A., Yildirim, A., Acarer, S., Verstraete, T., Saracoglu, B. H. & Cukurel, B., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Conjunctive Optimal Design of Water and Power Networks

    Shmaya, T., Perelman, G. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1295-1303 9 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Constant-Round Simulation-Secure Coin Tossing Extension with Guaranteed Output

    Abram, D., Doerner, J., Ishai, Y. & Narayanan, V., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2024, Proceedings. Joye, M. & Leander, G. (eds.). p. 122-154 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14655 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Counting Polyominoes, Revisited

    Barequet, G. & Ben-Shachar, G., 2024, 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2024. p. 133-143 11 p. (Proceedings of the Workshop on Algorithm Engineering and Experiments).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Determinization of Integral Discounted-Sum Automata is Decidable

    Almagor, S. & Dafni, N., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). p. 191-211 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14574 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Dimension-Minimality and Primality of Counter Nets

    Almagor, S., Avni, G., Sinclair-Banks, H. & Yeshurun, A., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). p. 229-249 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Direct Access for Answers to Conjunctive Queries with Aggregation

    Eldar, I., Carmeli, N. & Kimelfeld, B., Mar 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (eds.). 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Diverse Imagenet Models Transfer Better

    Nayman, N., Golbert, A., Noy, A. & Zelnik-Manor, L., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 1903-1914 12 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Engineering Students’ Misconceptions About Electronic Circuits: Faculty Members’ Viewpoint

    Gero, A. & Zoabi, W., 2024, Towards a Hybrid, Flexible and Socially Engaged Higher Education - Proceedings of the 26th International Conference on Interactive Collaborative Learning ICL 2023. Auer, M. E., Cukierman, U. R., Vendrell Vidal, E. & Tovar Caro, E. (eds.). p. 317-322 6 p. (Lecture Notes in Networks and Systems; vol. 901 LNNS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Evaluating Model Performance Through a User-Centric Explainable Framework for Probabilistic Load Forecasting Models

    Robin, R., Heistrene, L., Belikov, J., Baimel, D. & Levron, Y., 2024, 2024 3rd International Conference on Power, Control and Computing Technologies, ICPC2T 2024. p. 427-432 6 p. (2024 3rd International Conference on Power, Control and Computing Technologies, ICPC2T 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exploring Charge Trapping Dynamics in Si:HfO-FeFETs by Temperature-Dependent Electrical Characterization

    Dahan, M. M., Ber, E., Levit, O., Mulaosmanovic, H., Dunkel, S., Muller, J., Beyer, S. & Yalon, E., 2024, IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024. (IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Extensions and Limits of the Specker-Blatter Theorem

    Fischer, E. & Makowsky, J. A., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • FuseCap: Leveraging Large Language Models for Enriched Fused Image Captions

    Rotstein, N., Bensaïd, D., Brody, S., Ganz, R. & Kimmel, R., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 5677-5688 12 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • High-Speed Electrical Transient Thermometry of Monolayer MoS2

    Ber, E. & Yalon, E., 2024, IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024. (IEEE Electron Devices Technology and Manufacturing Conference: Strengthening the Globalization in Semiconductors, EDTM 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Hyperproperty Verification as CHC Satisfiability

    Itzhaky, S., Shoham, S. & Vizel, Y., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). p. 212-241 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Impinging Wall Curvature Effects on Flow and Screech Tones in Choked Under Expanded Supersonic Jets

    Chandravamsi, H., Chamarthi, A. S. & Frankel, S. H., 4 Jan 2024, 2024 AIAA SciTech Forum. 14 p. AIAA 2024-2467

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Improved Lower Bound for Estimating the Number of Defective Items

    Bshouty, N. H., 2024, Combinatorial Optimization and Applications - 16th International Conference, COCOA 2023, Proceedings. Wu, W. & Guo, J. (eds.). p. 303-315 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14461 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Integrated Optimal Operation of Water and Power Distribution Systems under Uncertainty: An Adjustable Robust Optimization Approach

    Perelman, G. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1339-1352 14 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Is Rome (Italy) Undergoing Passive Ecological Gentrification Processes?

    Pilogallo, A. & Broitman, D., 2024, Innovation in Urban and Regional Planning - Proceedings of INPUT 2023 - Volume 2. Marucci, A., Zullo, F., Fiorini, L. & Saganeiti, L. (eds.). p. 326-336 11 p. (Lecture Notes in Civil Engineering; vol. 463 LNCE).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • k-NNN: Nearest Neighbors of Neighbors for Anomaly Detection

    Nizan, O. & Tal, A., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision Workshops, WACVW 2024. p. 1005-1014 10 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision Workshops, WACVW 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 Scopus citations
  • Leakage-Tolerant Circuits

    Ishai, Y. & Song, Y., 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Joye, M. & Leander, G. (eds.). p. 196-225 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14654 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Model-Guided Synthesis for LTL over Finite Traces

    Xiao, S., Li, Y., Huang, X., Xu, Y., Li, J., Pu, G., Strichman, O. & Vardi, M. Y., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). p. 186-207 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14499 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

    Attiya, H. & Welch, J. L., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Nanosecond Pulsed Plasma Discharge in High-speed Flow

    Shen, S., Tybora, W. & Lefkowitz, J., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Nested Diffusion Processes for Anytime Image Generation

    Elata, N., Kawar, B., Michaeli, T. & Elad, M., 2024, Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024. p. 4995-5004 10 p. (Proceedings - 2024 IEEE Winter Conference on Applications of Computer Vision, WACV 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Non-Linear-Quadratic Optimal Control Problem for a Unicycle: Maximin Solution

    Merkulov, G., Turetsky, V. & Shima, T., 2024, 2024 UKACC 14th International Conference on Control, CONTROL 2024. p. 287-292 6 p. (2024 UKACC 14th International Conference on Control, CONTROL 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Nova: Safe Off-Heap Memory Allocation and Reclamation

    Fakhoury, R., Braginsky, A., Keidar, I. & Zuriel, Y., Jan 2024, 27th International Conference on Principles of Distributed Systems, OPODIS 2023. Bessani, A., Defago, X., Nakamura, J., Wada, K. & Yamauchi, Y. (eds.). 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 286).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Numerical Simulation of Multi-Component Flows with Variable Thermodynamic Properties Towards Supersonic Flow Over a Cavity

    Bokor, S., Chamarthi, A. S. & Frankel, S. H., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On Detecting Some Defective Items in Group Testing

    Bshouty, N. H. & Haddad-Zaknoon, C. A., 2024, Computing and Combinatorics - 29th International Conference, COCOON 2023, Proceedings. Wu, W. & Tong, G. (eds.). p. 244-271 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14422 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • On Progress in Exploring Controlled Viscous Limit-Cycle Oscillations in Modified Glauert Airfoil

    Deweese, E., Nguyen, L., Vataker, E., Mackunis, W., Golubev, V., Efrati, R. & Stalnov, O., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Operating Water Distribution Systems for Equitable Access to Clean Water

    Vizanko, B., Shmaya, T., Pankaj Boindala, S., Ostfeld, A. & Berglund, E., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1229-1235 7 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Optimal Linear Quadratic Powered Descent With An Optimally Selected Intermediate Point

    Nataf, O. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Optimal Low-Thrust Docking with a Constrained Approach Direction Using Two Intermediate Points

    Nahum, O. & Shaferman, V., 2024, AIAA SciTech Forum and Exposition, 2024. (AIAA SciTech Forum and Exposition, 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • OWPF Solutions Using Polyhedral and Conic Relaxations

    Shmaya, T., Pecci, F., Housh, M. & Ostfeld, A., 2024, World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024. Handa, S., Montgomery, R. & Sutter, C. (eds.). p. 1353-1366 14 p. (World Environmental and Water Resources Congress 2024: Climate Change Impacts on the World We Live In - Proceedings of the World Environmental and Water Resources Congress 2024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • POSTER: RELAX: Durable Data Structures with Swift Recovery

    Zur, A., Cohen, N., Friedman, M. & Petrank, E., 2 Mar 2024, PPoPP 2024 - Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. p. 475-477 3 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review