Skip links
Papers
Stream Processing with Dependency-guided Synchronization.
Konstantinos Kallas ,
Filip Niksic ,
Caleb Stanford ,
Rajeev Alur .
In Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2022 ). April 2022. paper
repository
examples Reducing Time-to-Fix for Fuzzer Bugs.
Rui Abreu ,
Franjo Ivančić ,
Filip Nikšić ,
Hadi Ravanbakhsh,
Ramesh Viswanathan.
In 2021 IEEE/ACM International Conference on Automated Software Engineering (ASE 2021
November 2021. paper Synchronization Schemas.
Rajeev Alur ,
Phillip Hilliard ,
Zachary G. Ives ,
Konstantinos Kallas ,
Konstantinos Mamouras ,
Filip Niksic ,
Caleb Stanford ,
Val Tannen ,
Anton Xue .
In Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2021
June 2021. Invited paper (not peer-reviewed) paper DiffStream: Differential Output Testing for Stream Processing Programs.
Konstantinos Kallas ,
Filip Niksic ,
Caleb Stanford ,
Rajeev Alur .
In Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA
(OOPSLA 2020
November 2020. paper
talk
artifact
repository Testing Consensus Implementations Using Communication Closure.
Cezara Drăgoi ,
Constantin Enea ,
Burcu Kulahcioglu Ozkan ,
Rupak Majumdar ,
Filip Niksic .
In Proceedings of the ACM on Programming Languages, Volume 4, Issue OOPSLA
(OOPSLA 2020
November 2020. paper
talk Checking Linearizability Using Hitting Families.
Burcu Kulahcioglu Ozkan ,
Rupak Majumdar ,
Filip Niksic .
In Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (PPoPP 2019
February 2019. paper
slides Randomized Testing of Distributed Systems with Probabilistic Guarantees.
Burcu Kulahcioglu Ozkan ,
Rupak Majumdar ,
Filip Niksic ,
Mitra Tabaei Befrouei,
Georg Weissenbacher .
In Proceedings of the ACM on Programming Languages, Volume 2, Issue OOPSLA
(OOPSLA 2018
November 2018. Recipient of OOPSLA 2018 Distinguished Paper Award paper Why Is Random Testing Effective for Partition Tolerance Bugs?
Rupak Majumdar ,
Filip Niksic .
In Proceedings of the ACM on Programming Languages, Volume 2, Issue POPL
(POPL 2018
January 2018. paper
talk
slides Hitting Families of Schedules for Asynchronous Programs.
Dmitry Chistikov ,
Rupak Majumdar ,
Filip Niksic .
In Proceedings of the 28th International Conference on Computer Aided Verification (CAV 2016
July 2016. paper
arXiv
slides Rely/Guarantee Reasoning for Asynchronous Programs.
Ivan Gavran ,
Filip Niksic ,
Aditya Kanade ,
Rupak Majumdar ,
Viktor Vafeiadis .
In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015
September 2015. paper
slides
examples StriSynth: Synthesis for Live Programming.
Sumit Gulwani ,
Mikaël Mayer ,
Filip Niksic ,
Ruzica Piskac .
In the Proceedings of the 37th International Conference on Software Engineering (ICSE 2015
May 2015. paper An SMT-Based Approach to Coverability Analysis.
Javier Esparza ,
Ruslán Ledesma-Garza ,
Rupak Majumdar ,
Philipp Meyer,
Filip Niksic .
In Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014
July 2014. paper
slides
experiments Incremental, Inductive Coverability.
Johannes Kloos ,
Rupak Majumdar ,
Filip Niksic ,
Ruzica Piskac .
In Proceedings of the 25th International Conference on Computer Aided Verification (CAV 2013
July 2013. paper
arXiv
Theses
Combinatorial Constructions for Effective Testing.
Filip Niksic .
Doctoral thesis, Technische Universität Kaiserslautern.
May 2019. thesis Propozicionalna dinamička logika.
Filip Niksic .
Diploma thesis, University of Zagreb.
October 2009. thesis
