dblp keys for Ilya Sergey

Keys

# of data records = 27

homepages/77/9770 journals/corr/SergeyH17 journals/jfp/SergeyVJB17 conf/snapl/WilcoxST17 journals/corr/DelbiancoSNB16 journals/corr/PodkopaevSN16 conf/icfp/Sergey16 conf/oopsla/SergeyNBD16 journals/corr/SergeyNBD15 conf/esop/SergeyNB15 conf/pldi/SergeyNB15 journals/corr/JohnsonSEMH14 journals/corr/SergeyNB14 journals/jfp/JohnsonSEMH14 conf/esop/NanevskiLSD14 conf/pepm/Garcia-PerezNS14 conf/popl/SergeyVJ14 conf/pepm/DevrieseSCP13 conf/pldi/SergeyDMMDCP13 series/lncs/ClarkeOSW13 journals/corr/abs-1207-1813 journals/ipl/SergeyC12 conf/esop/SergeyC12 conf/icfp/EarlSMH12 conf/mpc/SergeyMC12 conf/ldta/SergeyC11 conf/ecoop/ClarkeS09