Filip Niksic

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 11

Top Venues

Proc. ACM Program. Lang.

CoRR

CAV

PPoPP

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

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

Filip Niksic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Filip Niksic