dblp keys for Viktor Kuncak

Viktor Kuncak

Keys

# of data records = 165

homepages/k/ViktorKuncak journals/jlap/RayaK24 journals/pacmpl/GuilloudK24 conf/vmcai/GuilloudGK24 journals/pacmpl/MilovancevicK23 conf/cav/GuilloudBMK23 conf/itp/GuilloudGK23 conf/lpar/RayaHK23 journals/corr/abs-2307-07569 conf/fmcad/BucevK22 conf/nfm/HamzaFKNS22 conf/tacas/GuilloudK22 conf/vmcai/RayaK22 conf/vmcai/SchmidK22 journals/corr/abs-2208-02713 conf/fmcad/KuncakH21 journals/corr/abs-2103-07699 journals/corr/abs-2107-08824 journals/corr/abs-2109-05363 journals/corr/abs-2110-03315 conf/pldi/EdelmannHK20 journals/corr/abs-2011-07653 journals/fmsd/ReynoldsKTBD19 journals/pacmpl/HamzaVK19 conf/vmcai/HamzaK19 journals/corr/abs-1902-02194 journals/corr/abs-1903-08571 journals/corr/abs-1904-03482 journals/corr/abs-1911-12737 journals/pacmpl/MayerKC18 journals/corr/abs-1809-04209 journals/darts/MayerHK17 journals/fmsd/ReynoldsKK17 journals/toplas/DarulovaK17 conf/ecoop/MayerHK17 conf/popl/MadhavanKK17 conf/cav/2017-1 conf/cav/2017-2 journals/corr/MayerHK17 journals/corr/KoukoutosRKK17 journals/corr/abs-1710-09208 conf/cade/HupelK16 conf/scala/SchmidK16 journals/corr/KoukoutosKK16 journals/corr/CernyKM16 journals/corr/HupelK16 journals/fmsd/RummerHK15 conf/cav/ReynoldsDKTB15 conf/cav/KneussKK15 conf/icse/GveroK15 conf/nfm/Kuncak15 conf/oopsla/KurajKJ15 conf/oopsla/MadhavanMGK15 conf/oopsla/GveroK15 conf/pldi/VoirolKK15 conf/pldi/BlancK15 conf/se/GveroKKP15 conf/vmcai/ReynoldsK15 journals/corr/ReynoldsDKBT15 journals/corr/Reynolds0K15 conf/cav/MadhavanK14 conf/ecoop/KurajK14 conf/icalp/Kuncak14 conf/popl/DarulovaK14 conf/rv/KoukoutosK14 journals/corr/DarulovaK14 journals/infsof/Vujosevic-JanicicNTK13 journals/sttt/KuncakMPS13 conf/cav/RummerHK13 conf/ecoop/BlancKKS13 conf/emsoft/DarulovaKMS13 conf/fmcad/KuncakB13 conf/oopsla/MayerK13 conf/oopsla/KneussKKS13 conf/pldi/GveroKKP13 conf/rv/KuncakKS13 conf/sigmod/KlonatosNSKK13 conf/vmcai/JacobsKS13 conf/vstte/RummerHK13 conf/vstte/KneussKS13 journals/corr/abs-1301-4973 journals/corr/abs-1302-4187 journals/corr/abs-1304-5661 journals/corr/DarulovaK13 journals/afp/GuerraouiKL12 journals/cacm/KuncakMPS12 conf/atva/HojjatIKKR12 conf/cade/SpielmannK12 conf/fm/HojjatKGIKR12 conf/pldi/GuerraouiKL12 conf/popl/KoksalKS12 conf/rv/DarulovaK12 conf/vstte/WiesMK12 conf/vstte/Vujosevic-JanicicK12 conf/vmcai/2012 journals/corr/Vujosevic-Janicic12 conf/cade/KoksalKS11 conf/cade/WiesMK11 conf/cav/GveroKP11 conf/oopsla/DarulovaK11 conf/sas/SuterKK11 conf/vmcai/JacobsK11 conf/vmcai/SuterSK11 journals/tocs/YabandehKKK10 conf/cade/PiskacK10 conf/cav/KuncakMPS10 conf/csl/KuncakPS10 conf/fmcad/HamzaJK10 conf/icse/GligoricGJKKM10 conf/pldi/KuncakMPS10 conf/popl/SuterDK10 conf/rv/KneussSK10 conf/sigsoft/KneussSK10 conf/vmcai/KuncakPSW10 conf/vmcai/YessenovPK10 conf/frocos/WiesPK09 conf/hotos/YabandehVKK09 conf/nsdi/YabandehKKK09 conf/pldi/ZeeKR09 conf/tldi/DagandKK09 conf/cav/PiskacK08 conf/csl/PiskacK08 conf/ipps/ZeeKR08 conf/pldi/ZeeKR08 conf/vmcai/NguyenKC08 conf/vmcai/PiskacK08 phd/ndltd/Kuncak07 conf/cade/KuncakR07 conf/fossacs/MarnetteKR07 conf/rv/ZeeKTR07 conf/vmcai/BouillaguetKWZR07 journals/jar/KuncakNR06 journals/tse/KuncakLZR06 conf/ipps/KuncakR06 conf/vmcai/WiesKLPR06 journals/corr/abs-cs-0609104 conf/aosd/LamKR05 conf/cade/KuncakNR05 conf/cc/LamKR05 conf/sigsoft/KuncakJ05 conf/vmcai/LamKR05 conf/vstte/KuncakLZR05 journals/entcs/KuncakR05 conf/dagstuhl/KuncakRM05 journals/corr/abs-cs-0508123 journals/afp/Kuncak04 journals/afp/ZeeK04 journals/sigplan/LamKR04 conf/icfem/ArkoudasZKR04 conf/sas/KuncakR04 conf/vmcai/KuncakR04 journals/corr/cs-LO-0407045 journals/corr/cs-LO-0408015 journals/corr/cs-LO-0410073 journals/corr/cs-PL-0408013 journals/corr/cs-PL-0408014 journals/corr/cs-PL-0408018 journals/corr/cs-PL-0408019 journals/corr/cs-PL-0408045 conf/lics/KuncakR03 conf/sas/KuncakR03 journals/informaticaLT/IvanovicK02 conf/popl/KuncakLR02 conf/ictcs/GhilezanK01 conf/lcpc/KuncakLR01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics