Filip Niksic

According to our database, Filip Niksic authored at least 14 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Stream processing with dependency-guided synchronization.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2021

Synchronization Schemas.

Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Reducing Time-To-Fix For Fuzzer Bugs.

Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

DiffStream: differential output testing for stream processing programs.

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

Proc. ACM Program. Lang., 2020

Testing consensus implementations using communication closure.

Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proc. ACM Program. Lang., 2020

2019

Combinatorial Constructions for Effective Testing.

Filip Niksic

PhD thesis, 2019

Checking linearizability using hitting families.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Randomized testing of distributed systems with probabilistic guarantees.

Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher

Proc. ACM Program. Lang., 2018

Why is random testing effective for partition tolerance bugs?

Rupak Majumdar, Filip Niksic

Proc. ACM Program. Lang., 2018

2016

Hitting Families of Schedules for Asynchronous Programs.

Dmitry Chistikov, Rupak Majumdar, Filip Niksic

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

StriSynth: Synthesis for Live Programming.

Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Rely/Guarantee Reasoning for Asynchronous Programs.

Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

An SMT-Based Approach to Coverability Analysis.

Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Incremental, Inductive Coverability.

Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac

Proceedings of the Computer Aided Verification - 25th International Conference, 2013