https://dblp.org/rdf/schema#affiliation
|
University of California, Berkeley, USA
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/software/KadronNPBPS24 +
, https://dblp.org/rec/conf/asplos/LaeuferFAINS24 +
, https://dblp.org/rec/conf/asplos/WeiLLZSBA24 +
, https://dblp.org/rec/conf/icse/ZhengS24 +
, https://dblp.org/rec/journals/corr/abs-2401-11108 +
, https://dblp.org/rec/journals/corr/abs-2402-19475 +
, https://dblp.org/rec/journals/corr/abs-2403-07974 +
, https://dblp.org/rec/conf/asplos/LaeuferIBBNS23 +
, https://dblp.org/rec/conf/hipc/SenVV23 +
, https://dblp.org/rec/conf/issta/ShouTS23 +
, https://dblp.org/rec/journals/corr/abs-2305-18513 +
, https://dblp.org/rec/journals/corr/abs-2306-17135 +
, https://dblp.org/rec/journals/corr/abs-2310-07898 +
, https://dblp.org/rec/journals/corr/abs-2311-14904 +
, https://dblp.org/rec/journals/corr/abs-2312-13382 +
, https://dblp.org/rec/journals/corr/abs-2312-15157 +
, https://dblp.org/rec/conf/eccv/GubriCPTS22 +
, https://dblp.org/rec/conf/emnlp/ShenCWSS22 +
, https://dblp.org/rec/conf/emnlp/ShenWYHJS0S22 +
, https://dblp.org/rec/conf/uai/GubriCPTS22 +
, https://dblp.org/rec/journals/corr/abs-2205-07147 +
, https://dblp.org/rec/journals/corr/abs-2207-13129 +
, https://dblp.org/rec/journals/corr/abs-2210-13715 +
, https://dblp.org/rec/journals/corr/abs-2210-14473 +
, https://dblp.org/rec/journals/pacmpl/BavishiLSS21 +
, https://dblp.org/rec/journals/sttt/LemieuxS21 +
, https://dblp.org/rec/conf/icse/VikramPS21 +
, https://dblp.org/rec/conf/kbse/BavishiLYPS21 +
, https://dblp.org/rec/conf/kbse/KulkarniLS21 +
, https://dblp.org/rec/conf/qce/YounisSYI21 +
, https://dblp.org/rec/conf/uss/SonPPPS21 +
, https://dblp.org/rec/journals/corr/abs-2103-04388 +
, https://dblp.org/rec/journals/corr/abs-2108-13340 +
, https://dblp.org/rec/journals/ese/ChekamPBTS20 +
, https://dblp.org/rec/journals/pvldb/GarciaLSYD0HS20 +
, https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20 +
, https://dblp.org/rec/journals/tse/KarimTSS20 +
, https://dblp.org/rec/conf/cc/ChidaKITS20 +
, https://dblp.org/rec/conf/gpce/LaddadS20 +
, https://dblp.org/rec/conf/icse/ReddyLPS20 +
, https://dblp.org/rec/conf/osdi/ZhengJSWYHWYZSG20 +
, https://dblp.org/rec/conf/qce/DavisSTSSI20 +
, https://dblp.org/rec/conf/scala/LaddadS20 +
, https://dblp.org/rec/conf/sigsoft/BarnabyS0G020 +
, https://dblp.org/rec/conf/uss/HarrisonVPSG20 +
, https://dblp.org/rec/journals/corr/abs-2006-06762 +
, https://dblp.org/rec/journals/corr/abs-2006-07357 +
, https://dblp.org/rec/journals/corr/abs-2011-01407 +
, https://dblp.org/rec/journals/pacmpl/LuanYBS019 +
, https://dblp.org/rec/journals/pacmpl/BavishiLFSS19 +
, https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19 +
, https://dblp.org/rec/journals/sigsoft/LePPLVS19 +
, https://dblp.org/rec/conf/acsac/KurogomeOKIHMS19 +
, https://dblp.org/rec/conf/fmcad/DutraBS19 +
, https://dblp.org/rec/conf/icse/PadhyeLSPT19 +
, https://dblp.org/rec/conf/issta/PadhyeLSPT19 +
, https://dblp.org/rec/conf/issta/PadhyeLS19 +
, https://dblp.org/rec/conf/oopsla/PadhyeS19 +
, https://dblp.org/rec/conf/sigsoft/CambroneroLKS019 +
, https://dblp.org/rec/conf/splash/PadhyeSH19 +
, https://dblp.org/rec/journals/corr/abs-1905-03813 +
, https://dblp.org/rec/journals/corr/abs-1912-02727 +
, https://dblp.org/rec/journals/pacmpl/PradelS18 +
, https://dblp.org/rec/conf/hpcasia/SaillardSLI18 +
, https://dblp.org/rec/conf/iccad/LaeuferKKBS18 +
, https://dblp.org/rec/conf/iccad/DutraBS18 +
, https://dblp.org/rec/conf/icse/ChoiSNW18 +
, https://dblp.org/rec/conf/icse/DutraLBS18 +
, https://dblp.org/rec/conf/icst/MehneYPSGK18 +
, https://dblp.org/rec/conf/issta/LemieuxPSS18 +
, https://dblp.org/rec/conf/kbse/LemieuxS18 +
, https://dblp.org/rec/conf/pldi/SachdevLLKS018 +
, https://dblp.org/rec/reference/mc/GodefroidS18 +
, https://dblp.org/rec/journals/corr/abs-1803-07901 +
, https://dblp.org/rec/journals/corr/abs-1805-11683 +
, https://dblp.org/rec/journals/corr/abs-1809-05193 +
, https://dblp.org/rec/journals/corr/abs-1812-00078 +
, https://dblp.org/rec/journals/corr/abs-1812-01158 +
, https://dblp.org/rec/journals/csur/AndreasenGMPSSS17 +
, https://dblp.org/rec/conf/icse/AdamsenMKSTS17 +
, https://dblp.org/rec/conf/icse/PadhyeS17 +
, https://dblp.org/rec/journals/corr/GopalakrishnanH17 +
, https://dblp.org/rec/journals/corr/abs-1709-07101 +
, https://dblp.org/rec/journals/cacm/Sen16 +
, https://dblp.org/rec/conf/ecoop/AndreasenGCSTS16 +
, https://dblp.org/rec/conf/ics/QianSHI16 +
, https://dblp.org/rec/conf/icse/MadsenTASM16 +
, https://dblp.org/rec/conf/icse/Rubio-Gonzalez016 +
, https://dblp.org/rec/conf/ppopp/QianSHI16 +
, https://dblp.org/rec/journals/corr/AndreasenGCSTS16 +
, https://dblp.org/rec/conf/ecoop/PradelS15 +
, https://dblp.org/rec/conf/icse/SenTZH15 +
, https://dblp.org/rec/conf/icse/PradelSS15 +
, https://dblp.org/rec/conf/icse/TannoZHS15 +
, https://dblp.org/rec/conf/icst/0001YPGS15 +
, https://dblp.org/rec/conf/indiaSE/Sen15 +
, https://dblp.org/rec/conf/issta/GongPSS15 +
, https://dblp.org/rec/conf/oopsla/Sen15 +
, https://dblp.org/rec/conf/ppopp/ChabbiLJSMI15 +
, https://dblp.org/rec/conf/sas/ChoiCNS15 +
, https://dblp.org/rec/conf/se/PradelSNS15 +
, https://dblp.org/rec/conf/sigsoft/JensenSSC15 +
, https://dblp.org/rec/conf/sigsoft/GongPS15 +
, https://dblp.org/rec/conf/sigsoft/SenNGC15 +
, https://dblp.org/rec/conf/icse/GalensonRBHS14 +
, https://dblp.org/rec/conf/oopsla/PradelSNS14 +
, https://dblp.org/rec/journals/dagstuhl-reports/CadarGSS14 +
, https://dblp.org/rec/journals/cacm/CadarS13 +
, https://dblp.org/rec/conf/ics/ParkSI13 +
, https://dblp.org/rec/conf/oopsla/ChoiNS13 +
, https://dblp.org/rec/conf/pldi/ElmasBNS13 +
, https://dblp.org/rec/conf/ppopp/ParkSI13 +
, https://dblp.org/rec/conf/sc/Rubio-GonzalezNNDKSBIH13 +
, https://dblp.org/rec/conf/sigsoft/SenKBG13 +
, https://dblp.org/rec/conf/sigsoft/SenKBG13a +
, https://dblp.org/rec/conf/hotpar/BurnimENS12 +
, https://dblp.org/rec/conf/ppopp/BurnimENS12 +
, https://dblp.org/rec/conf/ppopp/ParkS12 +
, https://dblp.org/rec/conf/rv/CadarS12 +
, https://dblp.org/rec/conf/asplos/BurnimNS11 +
, https://dblp.org/rec/conf/hotpar/JalbertPPS11 +
, https://dblp.org/rec/conf/icse/CadarGKPSTV11 +
, https://dblp.org/rec/conf/icst/ChanderDSY11 +
, https://dblp.org/rec/conf/issta/BurnimSS11 +
, https://dblp.org/rec/conf/nsdi/GunawiDJAHAASB10 +
, https://dblp.org/rec/conf/oopsla/JoshiGS11 +
, https://dblp.org/rec/conf/pldi/BurnimENS11 +
, https://dblp.org/rec/conf/sat/Sen11 +
, https://dblp.org/rec/conf/sc/ParkSHI11 +
, https://dblp.org/rec/conf/tacas/BurnimSS11 +
, https://dblp.org/rec/journals/cacm/BurnimS10 +
, https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10 +
, https://dblp.org/rec/conf/icse/BurnimS10 +
, https://dblp.org/rec/conf/sigsoft/JalbertS10 +
, https://dblp.org/rec/conf/sigsoft/JoshiNSG10 +
, https://dblp.org/rec/journals/cacm/AsanovicBDKKKMPSWWY09 +
, https://dblp.org/rec/conf/cav/JoshiNPS09 +
, https://dblp.org/rec/conf/fase/ChatterjeeJS09 +
, https://dblp.org/rec/conf/hvc/Sen09 +
, https://dblp.org/rec/conf/icse/NaikPSG09 +
, https://dblp.org/rec/conf/icse/BurnimJS09 +
, https://dblp.org/rec/conf/kbse/BurnimJSS09 +
, https://dblp.org/rec/conf/pldi/JoshiPSN09 +
, https://dblp.org/rec/conf/sigsoft/BurnimS09 +
, https://dblp.org/rec/conf/fossacs/ChatterjeeSH08 +
, https://dblp.org/rec/conf/issta/KannanS08 +
, https://dblp.org/rec/conf/kbse/JoshiS08 +
, https://dblp.org/rec/conf/kbse/BurnimS08 +
, https://dblp.org/rec/conf/pldi/Sen08 +
, https://dblp.org/rec/conf/sas/RamanathanSGJ08 +
, https://dblp.org/rec/conf/sigsoft/ParkS08 +
, https://dblp.org/rec/journals/concurrency/RosuS07 +
, https://dblp.org/rec/conf/icse/MajumdarS07 +
, https://dblp.org/rec/conf/issta/EmmiMS07 +
, https://dblp.org/rec/conf/kbse/Sen07 +
, https://dblp.org/rec/conf/kbse/Sen07a +
, https://dblp.org/rec/conf/sigsoft/JoshiSS07 +
, https://dblp.org/rec/phd/us/Sen06 +
, https://dblp.org/rec/journals/sttt/SenRA06 +
, https://dblp.org/rec/conf/cav/SenV06 +
, https://dblp.org/rec/conf/cav/SenA06 +
, https://dblp.org/rec/conf/fase/SenA06 +
, https://dblp.org/rec/conf/hvc/SenA06 +
, https://dblp.org/rec/conf/ipps/SenVAR06 +
, https://dblp.org/rec/conf/tacas/SenVA06 +
, https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05 +
, https://dblp.org/rec/conf/cav/SenVA05 +
, https://dblp.org/rec/conf/fmoods/SenRA05 +
, https://dblp.org/rec/conf/pldi/GodefroidKS05 +
, https://dblp.org/rec/conf/qest/SenVA05 +
, https://dblp.org/rec/conf/sigsoft/SenMA05 +
, https://dblp.org/rec/conf/tacas/VardhanSVA05 +
, https://dblp.org/rec/journals/entcs/AghaMS06 +
, https://dblp.org/rec/conf/cav/SenVA04 +
, https://dblp.org/rec/conf/forte/NaldurgST04 +
, https://dblp.org/rec/conf/fsttcs/VardhanSVA04 +
, https://dblp.org/rec/conf/icfem/VardhanSVA04 +
, https://dblp.org/rec/conf/icse/SenVAR04 +
, https://dblp.org/rec/conf/ipps/BarringerGHS04 +
, https://dblp.org/rec/conf/ipps/RosuS04 +
, https://dblp.org/rec/conf/qest/SenVA04 +
, https://dblp.org/rec/conf/tacas/SenRA04 +
, https://dblp.org/rec/conf/vmcai/BarringerGHS04 +
, https://dblp.org/rec/conf/asian/SenRA03 +
, https://dblp.org/rec/conf/fmoods/KumarSMA03 +
, https://dblp.org/rec/conf/sigsoft/SenRA03 +
, https://dblp.org/rec/journals/entcs/SenR03 +
, https://dblp.org/rec/journals/entcs/ThatiSM02 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/165/9632 +
, https://dblp.org/pid/a/GulAAgha +
, https://dblp.org/pid/339/7414 +
, https://dblp.org/pid/137/8259 +
, https://dblp.org/pid/257/0992 +
, https://dblp.org/pid/25/4106 +
, https://dblp.org/pid/143/2610 +
, https://dblp.org/pid/133/4133 +
, https://dblp.org/pid/a/AndreaCArpaciDusseau +
, https://dblp.org/pid/a/RemziHArpaciDusseau +
, https://dblp.org/pid/21/6330 +
, https://dblp.org/pid/a/KrsteAsanovic +
, https://dblp.org/pid/92/2089 +
, https://dblp.org/pid/74/2925 +
, https://dblp.org/pid/157/2812 +
, https://dblp.org/pid/130/1704 +
, https://dblp.org/pid/251/2036 +
, https://dblp.org/pid/b/HBarringer +
, https://dblp.org/pid/187/9669 +
, https://dblp.org/pid/257/0957 +
, https://dblp.org/pid/158/8197 +
, https://dblp.org/pid/00/8006 +
, https://dblp.org/pid/20/1858 +
, https://dblp.org/pid/51/8165 +
, https://dblp.org/pid/48/8845 +
, https://dblp.org/pid/07/3368 +
, https://dblp.org/pid/23/5690 +
, https://dblp.org/pid/86/4141 +
, https://dblp.org/pid/204/3711 +
, https://dblp.org/pid/115/4870 +
, https://dblp.org/pid/06/5912 +
, https://dblp.org/pid/c/SatishChandra +
, https://dblp.org/pid/76/10322 +
, https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/27/4172 +
, https://dblp.org/pid/183/6318 +
, https://dblp.org/pid/03/8495 +
, https://dblp.org/pid/02/4907 +
, https://dblp.org/pid/16/4915 +
, https://dblp.org/pid/174/2148 +
, https://dblp.org/pid/195/0876 +
, https://dblp.org/pid/70/7540 +
, https://dblp.org/pid/191/3116 +
, https://dblp.org/pid/73/10839 +
, https://dblp.org/pid/161/0113 +
, https://dblp.org/pid/267/5557 +
, https://dblp.org/pid/255/4973 +
, https://dblp.org/pid/d/JDemmel +
, https://dblp.org/pid/15/179 +
, https://dblp.org/pid/03/6177 +
, https://dblp.org/pid/92/748-6 +
, https://dblp.org/pid/148/4363 +
, https://dblp.org/pid/228/5731 +
, https://dblp.org/pid/62/6573 +
, https://dblp.org/pid/76/5819 +
, https://dblp.org/pid/373/6718 +
, https://dblp.org/pid/32/7007 +
, https://dblp.org/pid/51/7791 +
, https://dblp.org/pid/g/VijayGanesh +
, https://dblp.org/pid/172/6652 +
, https://dblp.org/pid/98/3981 +
, https://dblp.org/pid/71/4226-2 +
, https://dblp.org/pid/46/6731 +
, https://dblp.org/pid/11/4086 +
, https://dblp.org/pid/118/6231 +
, https://dblp.org/pid/43/6015 +
, https://dblp.org/pid/20/1639 +
, https://dblp.org/pid/01/5453 +
, https://dblp.org/pid/g/KennethYGoldberg +
, https://dblp.org/pid/77/6137 +
, https://dblp.org/pid/28/7849 +
, https://dblp.org/pid/61/8262 +
, https://dblp.org/pid/g/GGopalakrishnan +
, https://dblp.org/pid/16/7856 +
, https://dblp.org/pid/77/11368 +
, https://dblp.org/pid/168/9541 +
, https://dblp.org/pid/g/AnanthGrama +
, https://dblp.org/pid/55/4092 +
, https://dblp.org/pid/285/4734 +
, https://dblp.org/pid/213/7879 +
, https://dblp.org/pid/84/5664 +
, https://dblp.org/pid/267/9582 +
, https://dblp.org/pid/209/3087 +
, https://dblp.org/pid/h/JiaweiHan +
, https://dblp.org/pid/372/2063 +
, https://dblp.org/pid/01/1703 +
, https://dblp.org/pid/224/9328 +
, https://dblp.org/pid/92/443 +
, https://dblp.org/pid/84/3029 +
, https://dblp.org/pid/253/7201 +
, https://dblp.org/pid/h/JosephMHellerstein +
, https://dblp.org/pid/h/ThomasAHenzinger +
, https://dblp.org/pid/46/5457 +
, https://dblp.org/pid/247/5749 +
, https://dblp.org/pid/42/4752-1 +
, https://dblp.org/pid/42/305 +
, https://dblp.org/pid/79/3143 +
, https://dblp.org/pid/97/662 +
, https://dblp.org/pid/90/9091 +
, https://dblp.org/pid/33/6286 +
, https://dblp.org/pid/249/9516 +
, https://dblp.org/pid/j/SJagannathan +
, https://dblp.org/pid/141/5719 +
, https://dblp.org/pid/48/213 +
, https://dblp.org/pid/07/7229 +
, https://dblp.org/pid/61/2408 +
, https://dblp.org/pid/225/0687 +
, https://dblp.org/pid/131/7393 +
, https://dblp.org/pid/j/MichaelIJordan +
, https://dblp.org/pid/30/2317 +
, https://dblp.org/pid/21/279 +
, https://dblp.org/pid/34/2935 +
, https://dblp.org/pid/233/6851 +
, https://dblp.org/pid/k/WilliamKahan +
, https://dblp.org/pid/33/3419 +
, https://dblp.org/pid/18/1389 +
, https://dblp.org/pid/43/6129 +
, https://dblp.org/pid/91/1382 +
, https://dblp.org/pid/11/4813 +
, https://dblp.org/pid/24/9748 +
, https://dblp.org/pid/k/KurtKeutzer +
, https://dblp.org/pid/129/7815 +
, https://dblp.org/pid/k/SarfrazKhurshid +
, https://dblp.org/pid/11/2242 +
, https://dblp.org/pid/184/0314-1 +
, https://dblp.org/pid/k/NilsKlarlund +
, https://dblp.org/pid/205/4149 +
, https://dblp.org/pid/k/SriramKrishnamoorthy +
, https://dblp.org/pid/k/JohnKubiatowicz +
, https://dblp.org/pid/300/9089 +
, https://dblp.org/pid/51/3678 +
, https://dblp.org/pid/82/814 +
, https://dblp.org/pid/253/7094 +
, https://dblp.org/pid/280/8310 +
, https://dblp.org/pid/222/5897 +
, https://dblp.org/pid/78/5302 +
, https://dblp.org/pid/25/241 +
, https://dblp.org/pid/304/2501 +
, https://dblp.org/pid/259/9736 +
, https://dblp.org/pid/167/0227 +
, https://dblp.org/pid/00/4078 +
, https://dblp.org/pid/72/2639 +
, https://dblp.org/pid/132/0674 +
, https://dblp.org/pid/217/0666 +
, https://dblp.org/pid/54/6550 +
, https://dblp.org/pid/72/2590 +
, https://dblp.org/pid/89/6793-1 +
, https://dblp.org/pid/90/685 +
, https://dblp.org/pid/338/5174 +
, https://dblp.org/pid/220/7441 +
, https://dblp.org/pid/43/10082 +
, https://dblp.org/pid/10/6978 +
, https://dblp.org/pid/71/1981 +
, https://dblp.org/pid/48/3911 +
, https://dblp.org/pid/34/4176 +
, https://dblp.org/pid/264/2640 +
, https://dblp.org/pid/179/8620 +
, https://dblp.org/pid/m/JMMellorCrummey +
, https://dblp.org/pid/m/EricMercer +
, https://dblp.org/pid/m/JoseMeseguer +
, https://dblp.org/pid/00/4734 +
, https://dblp.org/pid/55/6739 +
, https://dblp.org/pid/95/5514 +
, https://dblp.org/pid/62/6630 +
, https://dblp.org/pid/92/6794 +
, https://dblp.org/pid/90/4404 +
, https://dblp.org/pid/257/0963 +
, https://dblp.org/pid/n/GeorgeCNecula +
, https://dblp.org/pid/02/10311 +
, https://dblp.org/pid/214/0485 +
, https://dblp.org/pid/75/9033 +
, https://dblp.org/pid/40/6998 +
, https://dblp.org/pid/214/0370 +
, https://dblp.org/pid/247/5808 +
, https://dblp.org/pid/334/7669 +
, https://dblp.org/pid/207/0856 +
, https://dblp.org/pid/129/1434 +
, https://dblp.org/pid/00/7677 +
, https://dblp.org/pid/40/7459 +
, https://dblp.org/pid/60/3424 +
, https://dblp.org/pid/73/1044 +
, https://dblp.org/pid/03/4368 +
, https://dblp.org/pid/p/DAPatterson +
, https://dblp.org/pid/36/6883 +
, https://dblp.org/pid/30/9676 +
, https://dblp.org/pid/39/10311 +
, https://dblp.org/pid/78/3196 +
, https://dblp.org/pid/91/275 +
, https://dblp.org/pid/136/0337 +
, https://dblp.org/pid/13/2617 +
, https://dblp.org/pid/247/6110 +
, https://dblp.org/pid/25/2188 +
, https://dblp.org/pid/52/1173 +
, https://dblp.org/pid/301/5882 +
, https://dblp.org/pid/42/5189 +
, https://dblp.org/pid/r/DJanakiRam +
, https://dblp.org/pid/75/541 +
, https://dblp.org/pid/115/5930 +
, https://dblp.org/pid/276/3524 +
, https://dblp.org/pid/r/GrigoreRosu +
, https://dblp.org/pid/69/495 +
, https://dblp.org/pid/220/7519 +
, https://dblp.org/pid/150/1658 +
, https://dblp.org/pid/134/3118 +
, https://dblp.org/pid/49/5824 +
, https://dblp.org/pid/152/5872 +
, https://dblp.org/pid/167/0216 +
, https://dblp.org/pid/160/1062 +
, https://dblp.org/pid/217/2324 +
, https://dblp.org/pid/34/5593 +
, https://dblp.org/pid/05/7251 +
, https://dblp.org/pid/270/0520 +
, https://dblp.org/pid/09/3626 +
, https://dblp.org/pid/299/8770 +
, https://dblp.org/pid/255/5517 +
, https://dblp.org/pid/50/540 +
, https://dblp.org/pid/90/5314-1 +
, https://dblp.org/pid/358/6086 +
, https://dblp.org/pid/97/238 +
, https://dblp.org/pid/281/5583 +
, https://dblp.org/pid/95/6919 +
, https://dblp.org/pid/129/2856 +
, https://dblp.org/pid/s/DXSong +
, https://dblp.org/pid/192/4561 +
, https://dblp.org/pid/83/2559 +
, https://dblp.org/pid/179/8624 +
, https://dblp.org/pid/63/3814-1 +
, https://dblp.org/pid/s/IonStoica +
, https://dblp.org/pid/247/6216 +
, https://dblp.org/pid/196/9996 +
, https://dblp.org/pid/81/5759 +
, https://dblp.org/pid/280/5457 +
, https://dblp.org/pid/214/0411 +
, https://dblp.org/pid/61/7412 +
, https://dblp.org/pid/t/PrasannaThati +
, https://dblp.org/pid/81/6785 +
, https://dblp.org/pid/32/524 +
, https://dblp.org/pid/95/5206 +
, https://dblp.org/pid/255/4918 +
, https://dblp.org/pid/v/SathishSVadhiyar +
, https://dblp.org/pid/58/1047 +
, https://dblp.org/pid/24/687 +
, https://dblp.org/pid/287/4688 +
, https://dblp.org/pid/194/5387 +
, https://dblp.org/pid/54/5019 +
, https://dblp.org/pid/23/2759-1 +
, https://dblp.org/pid/358/9515 +
, https://dblp.org/pid/62/3432-1 +
, https://dblp.org/pid/64/856-1 +
, https://dblp.org/pid/153/9609 +
, https://dblp.org/pid/80/6234 +
, https://dblp.org/pid/17/1701-3 +
, https://dblp.org/pid/57/1203 +
, https://dblp.org/pid/w/JohnWawrzynek +
, https://dblp.org/pid/342/8202 +
, https://dblp.org/pid/74/6763 +
, https://dblp.org/pid/26/6973 +
, https://dblp.org/pid/267/5485 +
, https://dblp.org/pid/372/2040 +
, https://dblp.org/pid/29/5427 +
, https://dblp.org/pid/181/2799 +
, https://dblp.org/pid/y/KAYelick +
, https://dblp.org/pid/46/4605 +
, https://dblp.org/pid/296/0316 +
, https://dblp.org/pid/144/6124 +
, https://dblp.org/pid/59/5286 +
, https://dblp.org/pid/147/2984 +
, https://dblp.org/pid/33/6315 +
, https://dblp.org/pid/36/2133 +
, https://dblp.org/pid/73/1844-4 +
, https://dblp.org/pid/193/9376 +
, https://dblp.org/pid/17/322-1 +
, https://dblp.org/pid/28/8919 +
, https://dblp.org/pid/08/5182 +
, https://dblp.org/pid/83/10189 +
, https://dblp.org/pid/211/7027 +
, https://dblp.org/pid/151/7537 +
|
https://dblp.org/rdf/schema#creatorName
|
Koushik Sen
|
https://dblp.org/rdf/schema#creatorOf
|
https://dblp.org/rec/journals/software/KadronNPBPS24 +
, https://dblp.org/rec/conf/asplos/LaeuferFAINS24 +
, https://dblp.org/rec/conf/asplos/WeiLLZSBA24 +
, https://dblp.org/rec/conf/icse/ZhengS24 +
, https://dblp.org/rec/journals/corr/abs-2401-11108 +
, https://dblp.org/rec/journals/corr/abs-2402-19475 +
, https://dblp.org/rec/journals/corr/abs-2403-07974 +
, https://dblp.org/rec/conf/asplos/LaeuferIBBNS23 +
, https://dblp.org/rec/conf/hipc/SenVV23 +
, https://dblp.org/rec/conf/issta/ShouTS23 +
, https://dblp.org/rec/journals/corr/abs-2305-18513 +
, https://dblp.org/rec/journals/corr/abs-2306-17135 +
, https://dblp.org/rec/journals/corr/abs-2310-07898 +
, https://dblp.org/rec/journals/corr/abs-2311-14904 +
, https://dblp.org/rec/journals/corr/abs-2312-13382 +
, https://dblp.org/rec/journals/corr/abs-2312-15157 +
, https://dblp.org/rec/conf/eccv/GubriCPTS22 +
, https://dblp.org/rec/conf/emnlp/ShenCWSS22 +
, https://dblp.org/rec/conf/emnlp/ShenWYHJS0S22 +
, https://dblp.org/rec/conf/uai/GubriCPTS22 +
, https://dblp.org/rec/journals/corr/abs-2205-07147 +
, https://dblp.org/rec/journals/corr/abs-2207-13129 +
, https://dblp.org/rec/journals/corr/abs-2210-13715 +
, https://dblp.org/rec/journals/corr/abs-2210-14473 +
, https://dblp.org/rec/journals/pacmpl/BavishiLSS21 +
, https://dblp.org/rec/journals/sttt/LemieuxS21 +
, https://dblp.org/rec/conf/icse/VikramPS21 +
, https://dblp.org/rec/conf/kbse/BavishiLYPS21 +
, https://dblp.org/rec/conf/kbse/KulkarniLS21 +
, https://dblp.org/rec/conf/qce/YounisSYI21 +
, https://dblp.org/rec/conf/uss/SonPPPS21 +
, https://dblp.org/rec/journals/corr/abs-2103-04388 +
, https://dblp.org/rec/journals/corr/abs-2108-13340 +
, https://dblp.org/rec/journals/ese/ChekamPBTS20 +
, https://dblp.org/rec/journals/pvldb/GarciaLSYD0HS20 +
, https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20 +
, https://dblp.org/rec/journals/tse/KarimTSS20 +
, https://dblp.org/rec/conf/cc/ChidaKITS20 +
, https://dblp.org/rec/conf/gpce/LaddadS20 +
, https://dblp.org/rec/conf/icse/ReddyLPS20 +
, https://dblp.org/rec/conf/osdi/ZhengJSWYHWYZSG20 +
, https://dblp.org/rec/conf/qce/DavisSTSSI20 +
, https://dblp.org/rec/conf/scala/LaddadS20 +
, https://dblp.org/rec/conf/sigsoft/BarnabyS0G020 +
, https://dblp.org/rec/conf/uss/HarrisonVPSG20 +
, https://dblp.org/rec/conf/pldi/2020mapl +
, https://dblp.org/rec/journals/corr/abs-2006-06762 +
, https://dblp.org/rec/journals/corr/abs-2006-07357 +
, https://dblp.org/rec/journals/corr/abs-2011-01407 +
, https://dblp.org/rec/journals/pacmpl/LuanYBS019 +
, https://dblp.org/rec/journals/pacmpl/BavishiLFSS19 +
, https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19 +
, https://dblp.org/rec/journals/sigsoft/LePPLVS19 +
, https://dblp.org/rec/conf/acsac/KurogomeOKIHMS19 +
, https://dblp.org/rec/conf/fmcad/DutraBS19 +
, https://dblp.org/rec/conf/icse/PadhyeLSPT19 +
, https://dblp.org/rec/conf/issta/PadhyeLSPT19 +
, https://dblp.org/rec/conf/issta/PadhyeLS19 +
, https://dblp.org/rec/conf/oopsla/PadhyeS19 +
, https://dblp.org/rec/conf/sigsoft/CambroneroLKS019 +
, https://dblp.org/rec/conf/splash/PadhyeSH19 +
, https://dblp.org/rec/journals/corr/abs-1905-03813 +
, https://dblp.org/rec/journals/corr/abs-1912-02727 +
, https://dblp.org/rec/journals/pacmpl/PradelS18 +
, https://dblp.org/rec/conf/hpcasia/SaillardSLI18 +
, https://dblp.org/rec/conf/iccad/LaeuferKKBS18 +
, https://dblp.org/rec/conf/iccad/DutraBS18 +
, https://dblp.org/rec/conf/icse/ChoiSNW18 +
, https://dblp.org/rec/conf/icse/DutraLBS18 +
, https://dblp.org/rec/conf/icst/MehneYPSGK18 +
, https://dblp.org/rec/conf/issta/LemieuxPSS18 +
, https://dblp.org/rec/conf/kbse/LemieuxS18 +
, https://dblp.org/rec/conf/pldi/SachdevLLKS018 +
, https://dblp.org/rec/reference/mc/GodefroidS18 +
, https://dblp.org/rec/journals/corr/abs-1803-07901 +
, https://dblp.org/rec/journals/corr/abs-1805-11683 +
, https://dblp.org/rec/journals/corr/abs-1809-05193 +
, https://dblp.org/rec/journals/corr/abs-1812-00078 +
, https://dblp.org/rec/journals/corr/abs-1812-01158 +
, https://dblp.org/rec/journals/csur/AndreasenGMPSSS17 +
, https://dblp.org/rec/conf/icse/AdamsenMKSTS17 +
, https://dblp.org/rec/conf/icse/PadhyeS17 +
, https://dblp.org/rec/conf/issta/2017 +
, https://dblp.org/rec/journals/corr/GopalakrishnanH17 +
, https://dblp.org/rec/journals/corr/abs-1709-07101 +
, https://dblp.org/rec/journals/cacm/Sen16 +
, https://dblp.org/rec/conf/ecoop/AndreasenGCSTS16 +
, https://dblp.org/rec/conf/ics/QianSHI16 +
, https://dblp.org/rec/conf/icse/MadsenTASM16 +
, https://dblp.org/rec/conf/icse/Rubio-Gonzalez016 +
, https://dblp.org/rec/conf/ppopp/QianSHI16 +
, https://dblp.org/rec/journals/corr/AndreasenGCSTS16 +
, https://dblp.org/rec/conf/ecoop/PradelS15 +
, https://dblp.org/rec/conf/icse/SenTZH15 +
, https://dblp.org/rec/conf/icse/PradelSS15 +
, https://dblp.org/rec/conf/icse/TannoZHS15 +
, https://dblp.org/rec/conf/icst/0001YPGS15 +
, https://dblp.org/rec/conf/indiaSE/Sen15 +
, https://dblp.org/rec/conf/issta/GongPSS15 +
, https://dblp.org/rec/conf/oopsla/Sen15 +
, https://dblp.org/rec/conf/ppopp/ChabbiLJSMI15 +
, https://dblp.org/rec/conf/sas/ChoiCNS15 +
, https://dblp.org/rec/conf/se/PradelSNS15 +
, https://dblp.org/rec/conf/sigsoft/JensenSSC15 +
, https://dblp.org/rec/conf/sigsoft/GongPS15 +
, https://dblp.org/rec/conf/sigsoft/SenNGC15 +
, https://dblp.org/rec/conf/icse/GalensonRBHS14 +
, https://dblp.org/rec/conf/oopsla/PradelSNS14 +
, https://dblp.org/rec/conf/indiaSE/2014 +
, https://dblp.org/rec/journals/dagstuhl-reports/CadarGSS14 +
, https://dblp.org/rec/journals/cacm/CadarS13 +
, https://dblp.org/rec/conf/ics/ParkSI13 +
, https://dblp.org/rec/conf/oopsla/ChoiNS13 +
, https://dblp.org/rec/conf/pldi/ElmasBNS13 +
, https://dblp.org/rec/conf/ppopp/ParkSI13 +
, https://dblp.org/rec/conf/sc/Rubio-GonzalezNNDKSBIH13 +
, https://dblp.org/rec/conf/sigsoft/SenKBG13 +
, https://dblp.org/rec/conf/sigsoft/SenKBG13a +
, https://dblp.org/rec/conf/hotpar/BurnimENS12 +
, https://dblp.org/rec/conf/ppopp/BurnimENS12 +
, https://dblp.org/rec/conf/ppopp/ParkS12 +
, https://dblp.org/rec/conf/rv/CadarS12 +
, https://dblp.org/rec/conf/rv/2011 +
, https://dblp.org/rec/conf/asplos/BurnimNS11 +
, https://dblp.org/rec/conf/hotpar/JalbertPPS11 +
, https://dblp.org/rec/conf/icse/CadarGKPSTV11 +
, https://dblp.org/rec/conf/icst/ChanderDSY11 +
, https://dblp.org/rec/conf/issta/BurnimSS11 +
, https://dblp.org/rec/conf/nsdi/GunawiDJAHAASB10 +
, https://dblp.org/rec/conf/oopsla/JoshiGS11 +
, https://dblp.org/rec/conf/pldi/BurnimENS11 +
, https://dblp.org/rec/conf/sat/Sen11 +
, https://dblp.org/rec/conf/sc/ParkSHI11 +
, https://dblp.org/rec/conf/tacas/BurnimSS11 +
, https://dblp.org/rec/journals/cacm/BurnimS10 +
, https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10 +
, https://dblp.org/rec/conf/icse/BurnimS10 +
, https://dblp.org/rec/conf/sigsoft/JalbertS10 +
, https://dblp.org/rec/conf/sigsoft/JoshiNSG10 +
, https://dblp.org/rec/journals/cacm/AsanovicBDKKKMPSWWY09 +
, https://dblp.org/rec/conf/cav/JoshiNPS09 +
, https://dblp.org/rec/conf/fase/ChatterjeeJS09 +
, https://dblp.org/rec/conf/hvc/Sen09 +
, https://dblp.org/rec/conf/icse/NaikPSG09 +
, https://dblp.org/rec/conf/icse/BurnimJS09 +
, https://dblp.org/rec/conf/kbse/BurnimJSS09 +
, https://dblp.org/rec/conf/pldi/JoshiPSN09 +
, https://dblp.org/rec/conf/sigsoft/BurnimS09 +
, https://dblp.org/rec/conf/fossacs/ChatterjeeSH08 +
, https://dblp.org/rec/conf/issta/KannanS08 +
, https://dblp.org/rec/conf/kbse/JoshiS08 +
, https://dblp.org/rec/conf/kbse/BurnimS08 +
, https://dblp.org/rec/conf/pldi/Sen08 +
, https://dblp.org/rec/conf/sas/RamanathanSGJ08 +
, https://dblp.org/rec/conf/sigsoft/ParkS08 +
, https://dblp.org/rec/journals/concurrency/RosuS07 +
, https://dblp.org/rec/conf/icse/MajumdarS07 +
, https://dblp.org/rec/conf/issta/EmmiMS07 +
, https://dblp.org/rec/conf/kbse/Sen07 +
, https://dblp.org/rec/conf/kbse/Sen07a +
, https://dblp.org/rec/conf/sigsoft/JoshiSS07 +
, https://dblp.org/rec/phd/us/Sen06 +
, https://dblp.org/rec/journals/sttt/SenRA06 +
, https://dblp.org/rec/conf/cav/SenV06 +
, https://dblp.org/rec/conf/cav/SenA06 +
, https://dblp.org/rec/conf/fase/SenA06 +
, https://dblp.org/rec/conf/hvc/SenA06 +
, https://dblp.org/rec/conf/ipps/SenVAR06 +
, https://dblp.org/rec/conf/tacas/SenVA06 +
, https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05 +
, https://dblp.org/rec/conf/cav/SenVA05 +
, https://dblp.org/rec/conf/fmoods/SenRA05 +
, https://dblp.org/rec/conf/pldi/GodefroidKS05 +
, https://dblp.org/rec/conf/qest/SenVA05 +
, https://dblp.org/rec/conf/sigsoft/SenMA05 +
, https://dblp.org/rec/conf/tacas/VardhanSVA05 +
, https://dblp.org/rec/journals/entcs/AghaMS06 +
, https://dblp.org/rec/conf/cav/SenVA04 +
, https://dblp.org/rec/conf/forte/NaldurgST04 +
, https://dblp.org/rec/conf/fsttcs/VardhanSVA04 +
, https://dblp.org/rec/conf/icfem/VardhanSVA04 +
, https://dblp.org/rec/conf/icse/SenVAR04 +
, https://dblp.org/rec/conf/ipps/BarringerGHS04 +
, https://dblp.org/rec/conf/ipps/RosuS04 +
, https://dblp.org/rec/conf/qest/SenVA04 +
, https://dblp.org/rec/conf/tacas/SenRA04 +
, https://dblp.org/rec/conf/vmcai/BarringerGHS04 +
, https://dblp.org/rec/conf/asian/SenRA03 +
, https://dblp.org/rec/conf/fmoods/KumarSMA03 +
, https://dblp.org/rec/conf/sigsoft/SenRA03 +
, https://dblp.org/rec/journals/entcs/SenR03 +
, https://dblp.org/rec/journals/entcs/ThatiSM02 +
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/pldi/2020mapl +
, https://dblp.org/rec/conf/issta/2017 +
, https://dblp.org/rec/conf/indiaSE/2014 +
, https://dblp.org/rec/conf/rv/2011 +
|
https://dblp.org/rdf/schema#homepage
|
http://srl.cs.berkeley.edu/~ksen/ +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
University of California, Berkeley, USA
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Koushik Sen
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://srl.cs.berkeley.edu/~ksen/ +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=Vn3L_ioAAAAJ +
, https://dl.acm.org/profile/81100399070 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Koushik Sen
|