Viktor Kuncak
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Publications
Infoscience
E. Kneuss; P. Suter; V. Kuncak : Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. 2010. Runtime Veritication, St. Julians, Malta, November 1-4, 2010.
E. Kneuss; P. Suter; V. Kuncak : Phantm: PHP analyzer for type mismatch. 2010. FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, Santa-Fe, NM, USA, November 7-11 2010.
V. Kuncak; R. Piskac; P. Suter : Ordered Sets in the Calculus of Data Structures. 2010. Annual Conference of the European Association for Computer Science Logic, Brno, CZ, Aug 23-27, 2010. p. 34-48.
V. Kuncak; R. Piskac; P. Suter : Ordered Sets in the Calculus of Data Structures. 2010. 19th Annual Conference of the European Association for Computer Science Logic, Brno, Czech Republic, August 23-27, 2010. p. 34-48. DOI : 10.1007/978-3-642-15205-4_5.
R. Piskac; V. Kuncak : MUNCH - Automated Reasoner for Sets and Multisets. 2010. International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16-19, 2010. p. 149-155. DOI : 10.1007/978-3-642-14203-1_13.
V. Kuncak; R. Piskac; P. Suter; T. Wies : Building a Calculus of Data Structures. 2010. 11th International Conference on Verification, Model Checking and Abstract Interpretation, Madrid, Spain, January 17-19, 2010. p. 26-44. DOI : 10.1007/978-3-642-11319-2_6.
K. Yessenov; R. Piskac; V. Kuncak : Collections, Cardinalities, and Relations. 2010. p. 380-395. DOI : 10.1007/978-3-642-11319-2_27.
P. Suter; A. S. Köksal; V. Kuncak : On Satisfiability Modulo Computable Functions. 2010.
V. Kuncak; M. Mayer; R. Piskac; P. Suter : Comfusy: A Tool for Complete Functional Synthesis. 2010. 22nd International Conference on Computer Aided Verification, Edinburgh, Scotland, UK, July 15-19, 2010. p. 430-433. DOI : 10.1007/978-3-642-14295-6_38.
E. Kneuss; P. Suter; V. Kuncak : Phantm: PHP Analyzer for Type Mismatch. 2010. ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering, Santa Fe, New Mexico, USA, November 7-11, 2010. p. 373-374. DOI : 10.1145/1882291.1882355.
E. Kneuss; P. Suter; V. Kuncak : Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. 2010. 1st International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010. p. 300-314. DOI : 10.1007/978-3-642-16612-9_23.
E. Darulova; V. Kuncak : On Rigorous Numerical Computation as a Scala Library. 2010.
S. Jacobs; V. Kuncak : On Complete Reasoning about Axiomatic Specifications. 2010.
P. Suter; R. Steiger; V. Kuncak : On Sets with Cardinality Constraints in Satisfiability Modulo Theories. 2010.
T. Wies; M. Marco; V. Kuncak : On Deciding Functional Lists with Sublist Sets. 2010.
S. Jacobs; V. Kuncak : On Locality of One-Variable Axioms and Piecewise Combinations. 2010.
E. Kneuss; P. Suter; V. Kuncak : On Using Static Analysis to Detect Type Errors in PHP Applications. 2010.
P. Suter; M. Dotta; V. Kuncak : Decision Procedures for Algebraic Data Types with Abstractions. 2010. ACM Symp. Principles of Programming Languages (POPL), 2010. p. 199-210.
M. Gligoric; T. Gvero; V. Jagannath; S. Khurshid; V. Kuncak et al. : Test Generation through Programming in UDITA. 2010. International Conference on Software Engineering (ICSE), 2010.
V. Kuncak; M. Mayer; R. Piskac; P. Suter : Complete Functional Synthesis. 2010. ACM Conf. Programming Language Design and Implementation (PLDI), 2010.
R. Piskac; P. Suter; V. Kuncak : On Decision Procedures for Ordered Collections. 2010.
M. Yabandeh; N. Knezevic; D. Kostic; V. Kuncak : Predicting and Preventing Inconsistencies in Deployed Distributed Systems; ACM Transactions on Computer Systems. 2010. DOI : 10.1145/1731060.1731062.
Enseignement & Phd
Enseignement
- Computer Science,
- Communication Systems
Programmes doctoraux
- Doctoral program in computer and communication sciences
Doctorants
Edelmann Romain
Schmid Georg Stefan
Voirol Nicolas Charles Yves
Darulova Eva ...
Gvero Tihomir ...
Hojjat Hossein ...
Kandhadai Madhavan Ravichandhran ...
Kneuss Etienne ...
Koukoutos Emmanouil ...
Losa Giuliano ...
Mayer Mikaël ...
Piskac Ruzica ...
Suter Philippe Paul Henri ...
Wang Qiang ...
Schmid Georg Stefan
Voirol Nicolas Charles Yves
A dirigé les thèses de
Blanc Régis William ...Darulova Eva ...
Gvero Tihomir ...
Hojjat Hossein ...
Kandhadai Madhavan Ravichandhran ...
Kneuss Etienne ...
Koukoutos Emmanouil ...
Losa Giuliano ...
Mayer Mikaël ...
Piskac Ruzica ...
Suter Philippe Paul Henri ...
Wang Qiang ...
Cours
Formal verification
Parallelism and concurrency
Le cours introduit les plateformes de programmation parallèle et les paradigmes de modèles de programmation et d'exécution.
Functional programming
Comprendre les principes et appplications
de la programmation déclarative,des modèles fondamentaux de l'exécution des logiciels, utiliser des méthodes fondamentales
de la composition des logiciels, la méta-programmation par la construction interprètes
...
Computer language processing
Nous enseignons les aspects fondamentaux de l'analyse et l'interprétation des langages informatiques, y compris les techniques pour construire des compilateurs. Le nouveau titre est "Traitement des langages informatiques".