Filip Kliber

Ph.D. student

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

Malostranské náměstí 25
118 00 Praha 1
Czech Republic

E-mail: kliber@d3s.mff.cuni.cz
Phone: +420 951 554 121
Office: 309, 3rd floor

Topics of interests

• Programming languages (modern features, compilers, debuggers, polyglots)
• SW development support (verification, static/dynamic analysis, debuggers)
• High-performance computing (GPGPU, Vector processors)
• Games (any kind)
• Anything that is fun and useful
• If you have an idea, contact me via email and we can discuss that!

Teaching 2022/2023

• NSWI177 — Introduction to Linux
• NPRG038 — Advanced C# programming –>
• NPRG035 — Programming in C# Language

Past Teaching (2018-2022)

• NSWI177 — Introduction to Linux
• NPRG038 — Advanced .NET Programming I
• NPRG035 — C# Language and .NET Platform

Education

• Mgr. in Computer Science, Faculty of Mathematics and Physics, Charles University, 2018
• Bc. in Computer Science, Faculty of Mathematics and Physics, Charles University, 2016

Publications

 @inproceedings{kliber_locating_2025,
    title = {{Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules}},
    author = {Kliber, Filip and Parizek, Pavel},
    year = {2025},
    booktitle = {{SPIN 2025}},
}
 

 @inproceedings{parizek_checking_2023,
    title = {{Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2023},
    booktitle = {{Proceedings of JPF Workshop 2022}},
    publisher = {ACM},
    location = {Michigan, USA},
    doi = {10.1145/3573074.3573082},
    pages = {27--31},
    url = {https://doi.org/10.1145/3573074.3573082},
}
 

 @techreport{parizek_incremental_report_2022,
    title = {{Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2022},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2022-01},
    pages = {1--15},
    url = {http://d3s.mff.cuni.cz/files/public/parizek/pubs/tr-2022-1.pdf},
}