email: viktor.kuncak@epfl.ch
secretariat: +41 21 693 4943
direct phone: +41 21 693 5281
(please email first)
fax: +41 21 69 36660
|
|
mailing address:
|
|
RESEARCH
Viktor Kuncak leads the research group LARA (Lab for Automated Reasoning and Analysis)
which conducts research in the area of Programming Languages and Formal Methods at the IC School of EPFL.
With his group and collaborators, he develops algorithms
and software tools for constructing
reliable systems. He works in the area of
programming languages
and automated
software engineering. He uses formal methods
while emphasizing algorithmic and tool aspects, in
particular automated reasoning, software synthesis,
software analysis, verification,
and automated testing. Much of his recent interests are embodied
in the proposal for implicit programming.
PUBLICATION LIST
(also
with abstracts, or partial lists from
scholar,
DBLP,
academic search (check also EPFL CS), or
ACM)
INITIATIVES:
Recent Program Committees:
FMCAD 2014 (co-chair),
Scala Conference,
ICALP 2013,
VMCAI 2012 (Chair),
CAV 2012,
OOPSLA 2012 ERC,
CSL 2012,
VSTTE 2012,
POPL 2012 ERC,
RV 2011,
FMCAD 2011,
CSL 2011,
POPL 2011,
PLDI 2011,
CADE 2011,
ESOP 2011,
VMCAI 2011,
SAS 2011,
SVARM 2010 (chair),
IJCAR 2010,
PEPM 2010,
PLDI 2010 ERC,
ABZ 2010,
JTRES 2010,
BYTECODE 2010,
FroCoS 2009,
SAS 2009,
ECOOP 2009,
APV 2009,
CC 2009,
SOFSEM 2009
CURRICULUM VITAE is available.
Some recent publications:
117,
116,
115,
114,
113,
112,
111,
110,
109,
108,
107,
106,
105,
104,
101,
100,
99,
98,
97,
95,
94,
93,
92,
91,
90,
89,
88,
87,
85,
82,
80,
79,
78,
76,
75,
70,
69,
68,
66,
65,
64,
61,
60,
59,
58,
55
(FULL LIST)
|