Publications
Author(s):
Abhishek Kr Singh, Ori Lahav
Published in:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher:
Association for Computing Machinary, Inc.
Author(s):
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Published in:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher:
Association for Computing Machinary, Inc.
Author(s):
Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Published in:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher:
Association for Computing Machinary, Inc.
Author(s):
Ori Lahav, Udi Boker
Published in:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Publisher:
Association for Computing Machinary, Inc.
Author(s):
Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Published in:
2023
Publisher:
CAV
Author(s):
Yotam Dvir, Ohad Kammar, Ori Lahav
Published in:
2022
Publisher:
APLAS
Author(s):
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Published in:
2022
Publisher:
ACM
Author(s):
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Published in:
2021
Publisher:
ACM
Author(s):
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Published in:
2022
Publisher:
Springer
Author(s):
Artem Khyzha, Ori Lahav
Published in:
2022
Publisher:
Springer
Author(s):
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Published in:
2021
Publisher:
ACM
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available