Filip Niksic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PPoPP | Stream processing with dependency-guided synchronization. | Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2019 | PPoPP | Checking linearizability using hitting families. | Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic |
| 2016 | CAV | Hitting Families of Schedules for Asynchronous Programs. | Dmitry Chistikov, Rupak Majumdar, Filip Niksic |
| 2015 | CONCUR | Rely/Guarantee Reasoning for Asynchronous Programs. | Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis |
| 2015 | ICSE | StriSynth: Synthesis for Live Programming. | Sumit Gulwani, Mikal Mayer, Filip Niksic, Ruzica Piskac |
| 2014 | CAV | An SMT-Based Approach to Coverability Analysis. | Javier Esparza, Rusln Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, Filip Niksic |
| 2013 | CAV | Incremental, Inductive Coverability. | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac |