Filip Niksic

17 papers A* 4B 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2022 B conf
Stream processing with dependency-guided synchronization.
PPoPP
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 A* conf
Reducing Time-To-Fix For Fuzzer Bugs.
ASE
Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan
2021 J jnl
Stream Processing With Dependency-Guided Synchronization.
CoRR
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021 A* conf
Synchronization Schemas.
PODS
Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2020 J jnl
DiffStream: differential output testing for stream processing programs.
Proc. ACM Program. Lang.
Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2020 J jnl
Testing consensus implementations using communication closure.
Proc. ACM Program. Lang.
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2019 B conf
Checking linearizability using hitting families.
PPoPP
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2019 — —
Combinatorial Constructions for Effective Testing.
Filip Niksic
2018 J jnl
Randomized testing of distributed systems with probabilistic guarantees.
Proc. ACM Program. Lang.
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
2018 J jnl
Why is random testing effective for partition tolerance bugs?
Proc. ACM Program. Lang.
Rupak Majumdar, Filip Niksic
2016 — conf
Hitting Families of Schedules for Asynchronous Programs.
CAV (2)
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2016 J jnl
Hitting Families of Schedules for Asynchronous Programs.
CoRR
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
2015 B conf
Rely/Guarantee Reasoning for Asynchronous Programs.
CONCUR
Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis
2015 — conf
StriSynth: Synthesis for Live Programming.
ICSE (2)
Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
2014 A* conf
An SMT-Based Approach to Coverability Analysis.
CAV
Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic
2013 J jnl
Incremental, Inductive Coverability
CoRR
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013 A* conf
Incremental, Inductive Coverability.
CAV
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac