AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Viktor Kunčak

Viktor Kunčak

École Polytechnique Fédérale de Lausanne - Lausanne / Switzerland
Others
AD Scientific Index ID: 1266048
Eidgenössische Technische Hochschule Lausanne
person_outline Viktor Kunčak's MOST POPULAR ARTICLES
1-) Full functional verification of linked data structures ACM SIGPLAN Notices 43 (6), 349-361, 2008
2-) Test generation through programming in UDITA Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
3-) Sound compilation of reals Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
4-) Predicting and preventing inconsistencies in deployed distributed systems ACM Transactions on Computer Systems (TOCS) 28 (1), 1-49, 2010
5-) Complete functional synthesis ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI …, 2010