dblp keys for Avraham Shinnar

Avraham Shinnar
Avi Shinnar

Keys

# of data records = 51

homepages/12/5096 conf/automl/FefferHHKRS23 journals/corr/abs-2304-10500 journals/corr/abs-2308-10249 journals/ese/TsayBHSM22 journals/pacmpl/BenzakenCHKMSS22 conf/dsn/ShinnarT22 conf/itp/VajjhaTSP22 conf/kdd/HirzelKRST22 journals/corr/abs-2202-00751 journals/corr/abs-2202-05959 journals/corr/abs-2203-08941 journals/corr/abs-2210-05594 conf/cpp/VajjhaSTPF21 conf/issta/HabibSHP21 conf/nips/BaudartHKRST21 conf/pldi/BaudartBHMS21 conf/msr/TsayBHSM20 journals/corr/abs-2007-01977 journals/corr/abs-2009-11403 journals/toplas/GroveHHIKMSSTT19 conf/pldi/BaudartHKMS19 journals/corr/abs-1906-03957 journals/corr/abs-1911-12651 conf/oopsla/BaudartHMSS18 conf/oopsla/BaudartDDHS18 conf/pldi/DolbySAR18 journals/corr/abs-1805-04058 journals/corr/abs-1810-00873 journals/corr/abs-1812-04125 journals/pacmpl/AuerbachHMSS17 conf/oopsla/VaziriMSSH17 conf/sigmod/AuerbachHMSS17 conf/sigmod/AuerbachHMSS17a conf/snapl/HirzelMSSV17 journals/ibmrd/ArnoldGHHHIMSSS16 journals/topc/TardieuHCGKSSTV16 conf/birthday/ShinnarS16 journals/darts/ShinnarSH15 conf/ecoop/ShinnarSH15 conf/ecoop/CrafaCSST14 conf/ppopp/TardieuHCGKSSTV14 journals/corr/CrafaCSST13 journals/pvldb/ShinnarCHS12 journals/corr/abs-1208-4168 conf/popl/MalechaMSW10 conf/icfp/ChlipalaMMSW09 conf/pldi/ShinnarPB09 conf/icfp/NanevskiMSGB08 conf/uss/BraunSS08 conf/pldi/HarrisPST06

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.