Scholar
Viktor Kunčak
Google Scholar ID: kmoklesAAAAJ
EPFL
Citations & Impact
Citations
1,878
H-index
24
i10-index
50
Publications
20
Co-authors
74
list available
Contact
No contact links provided.
Publications
Cited
0
Resume (English only)
Academic Achievements
- Co-authored with Simon Guilloud, Sankalp Ghambhir, 'Interpolation and quantifiers in ortholattices' in Verification, Model Checking, and Abstract Interpretation (VMCAI), 2024.
- Co-authored with Simon Guilloud, 'Orthologic with axioms' in Proc. ACM Program. Lang. (POPL), 2024.
- Co-authored with Dragana Milovančević, 'Proving and disproving equivalence of functional programming assignments' in ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2023.
- Co-authored with Simon Guilloud, Mario Bucev, Dragana Milovančević, 'Formula normalizations in verification' in Computer-Aided Verification (CAV), 2023.
- Co-authored with Simon Guilloud, Sankalp Ghambir, 'Lisa -- a proof assistant embedded in scala' in Interactive Theorem Proving (ITP), 2023.
- Co-authored with Rodrigo Raya, Jad Hamza, 'On the complexity of convex and reverse convex prequadratic constraints' in 24th Int. Conf. Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2023.
- Co-authored with Rodrigo Raya, 'NP satisfiability for arrays as powers' in Verification, Model Checking, and Abstract Interpretation (VMCAI), 2022.
- Co-authored with Georg Stefan Schmid, 'Generalized arrays for Stainless frames' in Verification, Model Checking, and Abstract Interpretation (VMCAI), 2022.
- Co-authored with Simon Guilloud, 'Equivalence checking for orthocomplemented bisemilattices in log-linear time' in TACAS, 2022.
- Co-authored with Jad Hamza, Simon Felix, Ivo Nussbaumer, Filip Schramka, 'From verified Scala to STIX file system embedded code using Stainless' in NASA Formal Methods (NFM), 2022.
- Co-authored with Mario Bucev, 'Formally verified Quite OK Image format' in Formal Methods in Computer-Aided Design (FMCAD), 2022.
- Co-authored with Jad Hamza, 'Stainless verification system tutorial' in Formal Methods in Computer Aided Design, FMCAD 2021, 2021.
- Co-authored with Romain Edelmann, Jad Hamza, 'Zippy LL(1) parsing with derivatives' in ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), 2020.
- Co-authored with Jad Hamza, Nicolas Voirol, 'System FR: Formalized foundations for the Stainless verifier' in Proc. ACM Program. Lang, 2019.
- Co-authored with Jad Hamza, 'Minimal synthesis of string to string functions from examples' in Verification, Model Checking, and Abstract Interpretation (VMCAI), 2019.
- Co-authored with Mikaël Mayer, Ravi Chugh, 'Bidirectional evaluation with direct manipulation' in Proc. ACM Program. Lang, 2018.
- Co-authored with Eva Darulova, 'Towards a compiler for reals' in ACM Trans. Program. Lang. Syst. (TOPLAS), 2017.
- Co-authored with Ravichandhran Madhavan, Sumith Kulal, 'Contract-based resource verification for higher-order functions with memoization' in ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017.
- Co-authored with Mikaël Mayer, Jad Hamza, 'Proactive Synthesis of Recursive Tree-to-String Functions from Examples' in 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017.
