Viktor Kunčak

Registered user since Thu 9 Jul 2015

Name: Viktor Kunčak

Bio: Viktor Kuncak ( http://lara.epfl.ch/~kuncak/ ) is an associate professor (with tenure) in the School of Computer and Communication sciences of EPFL (Ecole Polytechnique Federale de Lausanne). He joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning (see e.g. https://stainless.epfl.ch/). He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC “Parallel Programming” that was visited by over 100’000 learners and completed by thousands of students from all over the world.

Country: Switzerland

Affiliation: EPFL, Switzerland

Personal website: http://lara.epfl.ch/~kuncak/

Research interests: program verification, automated reasoning

Contributions

Scala 2020Committee Member in Program Committee within the Scala-track
SPLASH 2020Committee Member in Review Committee within the OOPSLA-track
PLDI 2020Committee Member in External Program Committee within the PLDI Research Papers-track
Author of Zippy LL(1) Parsing with Derivatives within the PLDI Research Papers-track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track
Committee Member in External Review Committee within the OOPSLA-track
Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track
VMCAI 2019Author of Minimal Synthesis of String To String Functions From Examples within the VMCAI 2019-track
SPLASH 2018Author of Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation within the Artifacts-track
Author of Bidirectional Evaluation with Direct Manipulation within the OOPSLA-track
Scala 2016Author of SMT-Based Checking of Predicate-Qualified Types for Scala within the Scala-track
POPL 2017Author of Contract-based Resource Verification for Higher-order Functions with Memoization within the POPL-track
ECOOP 2017Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track
POPL 2016Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
SPLASH 2015Author of Synthesizing Java Expressions from Free-Form Queries within the OOPSLA-track
Author of Programming with Enumerable Sets of Structures within the OOPSLA-track
Author of Automating Grammar Comparison within the OOPSLA-track
Author of Automating Grammar Comparison within the OOPSLA Artifacts-track
Onward! 2013Author of Game Programming by Demonstration within the Research Papers-track
SPLASH 2013
Author of Synthesis Modulo Recursive Functions within the OOPSLA-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track