Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Filip Niksic"'
Publikováno v:
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af6d14f926f380a7a65fe5f63e06b9e9
https://doi.org/10.1145/3503221.3508413
https://doi.org/10.1145/3503221.3508413
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-29
High performance architectures for processing distributed data streams, such as Flink, Spark Streaming, and Storm, are increasingly deployed in emerging data-driven computing systems. Exploiting the parallelism afforded by such platforms, while prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab19e472b8f37e25aa0a4d7bc2ee5059
https://doi.org/10.1145/3428221
https://doi.org/10.1145/3428221
Publikováno v:
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec2b265249e9b90d98d457cc3fe3900
https://doi.org/10.1109/ase51524.2021.9678606
https://doi.org/10.1109/ase51524.2021.9678606
Publikováno v:
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
Proc. {ACM} Program. Lang.
Proceedings of the ACM on Programming Languages
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
Proc. {ACM} Program. Lang.
Proceedings of the ACM on Programming Languages
Large scale production distributed systems are difficult to design and test. Correctness must be ensured when processes run asynchronously, at arbitrary rates relative to each other, and in the presence of failures, e.g., process crashes or message l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56491f8b18f80661d48e82b11ee88283
https://hal.inria.fr/hal-03134294/file/main.pdf
https://hal.inria.fr/hal-03134294/file/main.pdf
Autor:
Konstantinos Mamouras, Anton Xue, Caleb Stanford, Filip Niksic, Val Tannen, Zachary G. Ives, Rajeev Alur, Phillip Hilliard, Konstantinos Kallas
Publikováno v:
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems.
We present a type-theoretic framework for data stream processing for real-time decision making, where the desired computation involves a mix of sequential computation, such as smoothing and detection of peaks and surges, and naturally parallel comput
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::054a312c974a3c486a5f7f0a5245da14
https://doi.org/10.1145/3452021.3458317
https://doi.org/10.1145/3452021.3458317
Autor:
Burcu Kulahcioglu Ozkan, Georg Weissenbacher, Filip Niksic, Mitra Tabaei Befrouei, Rupak Majumdar
Publikováno v:
Proceedings of the ACM on Programming Languages. 2:1-28
Several recently proposed randomized testing tools for concurrent and distributed systems come with theoretical guarantees on their success. The key to these guarantees is a notion of bug depth—the minimum length of a sequence of events sufficient
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fde5fa39d8dd0a576466c06af1cf2be
https://doi.org/10.1145/3276530
https://doi.org/10.1145/3276530
Publikováno v:
PPoPP
Linearizability is a key correctness property for concurrent data types. Linearizability requires that the behavior of concurrently invoked operations of the data type be equivalent to the behavior in an execution where each operation takes effect at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5945ab071ee0c6747f69a7e0e3934a1d
https://doi.org/10.1145/3293883.3295726
https://doi.org/10.1145/3293883.3295726
Publikováno v:
Computer Aided Verification ISBN: 9783319415390
CAV (2)
CAV (2)
Asynchronous programming is a ubiquitous idiom for concurrent programming, where sequential units of code, called events, are scheduled and run atomically by a scheduler. While running, an event can post additional events for future execution by the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da47f8996ce9e9e9f4a229a8c4079e66
Publikováno v:
Computer Aided Verification ISBN: 9783319088662
CAV
CAV
Model checkers based on Petri net coverability have been used successfully in recent years to verify safety properties of concurrent shared-memory or asynchronous message-passing software. We revisit a constraint approach to coverability based on cla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66367963d9d5d1c153facde89830d512
https://doi.org/10.1007/978-3-319-08867-9_40
https://doi.org/10.1007/978-3-319-08867-9_40
Motivated by applications in automating repetitive file manipulations, we present a tool called StriSynth, which allows end-users to perform transformations over data using examples. Based on provided examples, our tool automatically generates script
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06099d227cf009db52bdd1c2d994dbf3
https://infoscience.epfl.ch/record/209921
https://infoscience.epfl.ch/record/209921