https://dblp.org/rdf/schema#affiliation
|
Brown University, Computer Science Department, Providence, RI, USA
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/pacmpl/CrichtonK24 +
, https://dblp.org/rec/journals/programming/GreenmanJKS24 +
, https://dblp.org/rec/conf/sigcse/RiveraFK24 +
, https://dblp.org/rec/journals/corr/abs-2401-00021 +
, https://dblp.org/rec/journals/corr/abs-2401-01257 +
, https://dblp.org/rec/journals/corr/abs-2403-02409 +
, https://dblp.org/rec/journals/pacmpl/LuKFT23 +
, https://dblp.org/rec/journals/pacmpl/CrichtonGK23 +
, https://dblp.org/rec/journals/programming/LuGMVPK23 +
, https://dblp.org/rec/journals/programming/GreenmanSNK23 +
, https://dblp.org/rec/journals/programming/PrasadGNK23 +
, https://dblp.org/rec/conf/comped/PrasadGNK23 +
, https://dblp.org/rec/journals/corr/abs-2304-04265 +
, https://dblp.org/rec/journals/corr/abs-2309-04134 +
, https://dblp.org/rec/journals/corr/abs-2310-04368 +
, https://dblp.org/rec/journals/jfp/GibbonsK22 +
, https://dblp.org/rec/journals/pacmpl/RiveraK22 +
, https://dblp.org/rec/journals/pacmpl/DyerNFK22 +
, https://dblp.org/rec/journals/programming/LuGK22 +
, https://dblp.org/rec/journals/programming/NelsonRSVWK22 +
, https://dblp.org/rec/conf/icer/RiveraKG22 +
, https://dblp.org/rec/conf/icer/ClementsK22 +
, https://dblp.org/rec/conf/kolicalling/KrishnamurthiBL22 +
, https://dblp.org/rec/conf/kolicalling/PrasadGNWK22 +
, https://dblp.org/rec/conf/sigcse/SchanzerPDDPLFK21 +
, https://dblp.org/rec/journals/corr/abs-2206-13831 +
, https://dblp.org/rec/journals/corr/abs-2211-01677 +
, https://dblp.org/rec/journals/dagstuhl-reports/BrownGKM22 +
, https://dblp.org/rec/journals/jfp/Krishnamurthi21 +
, https://dblp.org/rec/journals/programming/WrennNK21 +
, https://dblp.org/rec/conf/birthday/SiegelSDNK21 +
, https://dblp.org/rec/conf/eurousec/MartinezK21 +
, https://dblp.org/rec/conf/icer/YoungK21 +
, https://dblp.org/rec/conf/icer/KrishnamurthiF21 +
, https://dblp.org/rec/conf/kolicalling/WrennK21 +
, https://dblp.org/rec/conf/sigcse/FislerSWFRKPLPK21 +
, https://dblp.org/rec/journals/corr/abs-2108-02660 +
, https://dblp.org/rec/journals/corr/abs-2111-10412 +
, https://dblp.org/rec/journals/corr/abs-2111-10414 +
, https://dblp.org/rec/journals/cacm/KrishnamurthiF20 +
, https://dblp.org/rec/conf/hotnets/DackowWNKB20 +
, https://dblp.org/rec/conf/icer/GuHLRFK20 +
, https://dblp.org/rec/conf/kolicalling/SchanzerBK20 +
, https://dblp.org/rec/conf/kolicalling/WrennK20 +
, https://dblp.org/rec/journals/corr/abs-2005-01794 +
, https://dblp.org/rec/journals/corr/abs-2010-16305 +
, https://dblp.org/rec/journals/cacm/SchanzerKF19 +
, https://dblp.org/rec/journals/programming/PolitzLPK19 +
, https://dblp.org/rec/conf/fm/KrishnamurthiN19 +
, https://dblp.org/rec/conf/icer/RenKF19 +
, https://dblp.org/rec/conf/icer/WrennK19 +
, https://dblp.org/rec/conf/kbse/NelsonDGK19 +
, https://dblp.org/rec/conf/sigcse/SaarinenKFW19 +
, https://dblp.org/rec/conf/sigcse/SchanzerBK20 +
, https://dblp.org/rec/conf/snapl/CulpepperFFK19 +
, https://dblp.org/rec/conf/snapl/KrishnamurthiLE19 +
, https://dblp.org/rec/journals/corr/abs-1902-00735 +
, https://dblp.org/rec/journals/dagstuhl-reports/GuzdialKSV19 +
, https://dblp.org/rec/journals/cacm/FelleisenFFKBMT18 +
, https://dblp.org/rec/conf/dls/WilsonGPK18 +
, https://dblp.org/rec/conf/fm/Porncharoenwase18 +
, https://dblp.org/rec/conf/icer/WrennKF18 +
, https://dblp.org/rec/conf/pldi/BaxterNPKG18 +
, https://dblp.org/rec/conf/pldi/PombrioK18 +
, https://dblp.org/rec/conf/sigcse/SchanzerFK18 +
, https://dblp.org/rec/conf/sigcse/SchanzerKF18 +
, https://dblp.org/rec/conf/sigcse/WilsonFK18 +
, https://dblp.org/rec/conf/sigcse/PolitzFKL17 +
, https://dblp.org/rec/journals/corr/abs-1802-02974 +
, https://dblp.org/rec/journals/pacmpl/PombrioKW17 +
, https://dblp.org/rec/conf/kolicalling/CastroKF17 +
, https://dblp.org/rec/conf/oopsla/WilsonPK17 +
, https://dblp.org/rec/conf/oopsla/WrennK17 +
, https://dblp.org/rec/conf/sefm/DanasNHKD17 +
, https://dblp.org/rec/conf/sigcse/FislerKW17 +
, https://dblp.org/rec/conf/sigsoft/NelsonDDK17 +
, https://dblp.org/rec/conf/snapl/PombrioKF17 +
, https://dblp.org/rec/conf/ccs/ValleeSK16 +
, https://dblp.org/rec/conf/hotnets/NelsonDHFK16 +
, https://dblp.org/rec/conf/sigcse/FislerKS16 +
, https://dblp.org/rec/conf/sigcse/PolitzCGFK16 +
, https://dblp.org/rec/journals/corr/NelsonDHFK16 +
, https://dblp.org/rec/journals/dagstuhl-reports/DemetrescuEHK16 +
, https://dblp.org/rec/journals/cacm/KrishnamurthiV15 +
, https://dblp.org/rec/conf/ecoop/Krishnamurthi15 +
, https://dblp.org/rec/conf/fm/NelsonFK15 +
, https://dblp.org/rec/conf/icfp/PombrioK15 +
, https://dblp.org/rec/conf/issre/RasleyGOBKC15 +
, https://dblp.org/rec/conf/oopsla/LiPPK15 +
, https://dblp.org/rec/conf/pepm/Krishnamurthi15 +
, https://dblp.org/rec/conf/sigcse/SchanzerFKF15 +
, https://dblp.org/rec/conf/snapl/FelleisenFFKBMT15 +
, https://dblp.org/rec/conf/sosr/NelsonFYFK15 +
, https://dblp.org/rec/conf/sosr/NelsonYLFK15 +
, https://dblp.org/rec/conf/popl/Krishnamurthi15 +
, https://dblp.org/rec/journals/corr/PolitzEGK15 +
, https://dblp.org/rec/journals/corr/GuhaSK15 +
, https://dblp.org/rec/journals/dagstuhl-reports/KoKMS15 +
, https://dblp.org/rec/journals/dagstuhl-reports/ChildersFKZ15 +
, https://dblp.org/rec/journals/jcs/PolitzGK14 +
, https://dblp.org/rec/conf/icer/PolitzKF14 +
, https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14 +
, https://dblp.org/rec/conf/iticse/PolitzPKF14 +
, https://dblp.org/rec/conf/iticse/PolitzKF14 +
, https://dblp.org/rec/conf/nsdi/NelsonFSK14 +
, https://dblp.org/rec/conf/pldi/PombrioK14 +
, https://dblp.org/rec/journals/dagstuhl-reports/HengleinJKT14 +
, https://dblp.org/rec/journals/sigplan/Krishnamurthi13 +
, https://dblp.org/rec/journals/sigsoft/Krishnamurthi13 +
, https://dblp.org/rec/conf/dls/LernerPGK13 +
, https://dblp.org/rec/conf/dls/YooK13 +
, https://dblp.org/rec/conf/ecoop/LernerELK13 +
, https://dblp.org/rec/conf/esorics/LernerEPK13 +
, https://dblp.org/rec/conf/icse/NelsonSDFK13 +
, https://dblp.org/rec/conf/oopsla/ValleeWZFK13 +
, https://dblp.org/rec/conf/oopsla/KrishnamurthiNV13 +
, https://dblp.org/rec/conf/oopsla/PolitzMMWPLCK13 +
, https://dblp.org/rec/conf/popl/Krishnamurthi13 +
, https://dblp.org/rec/conf/sigcomm/NelsonGDFK13 +
, https://dblp.org/rec/conf/sigcomm/FergusonGLFK13 +
, https://dblp.org/rec/conf/sigcse/CooperGKMF13 +
, https://dblp.org/rec/conf/aosd/SaghafiFK12 +
, https://dblp.org/rec/conf/asm/NelsonDFK12 +
, https://dblp.org/rec/conf/dls/PolitzCLPK12 +
, https://dblp.org/rec/conf/nsdi/FergusonGPFK12 +
, https://dblp.org/rec/conf/oopsla/PolitzVK12 +
, https://dblp.org/rec/conf/sas/Krishnamurthi12 +
, https://dblp.org/rec/conf/sigcomm/FergusonGLFK12 +
, https://dblp.org/rec/conf/webapps/LernerCKVK12 +
, https://dblp.org/rec/journals/dagstuhl-reports/HirschfeldKV12 +
, https://dblp.org/rec/conf/chi/EgelmanOK11 +
, https://dblp.org/rec/conf/esop/GuhaSK11 +
, https://dblp.org/rec/conf/icer/MarceauFK11 +
, https://dblp.org/rec/conf/iticse/YooSKF11 +
, https://dblp.org/rec/conf/oopsla/MarceauFK11 +
, https://dblp.org/rec/conf/sigcse/MarceauFK11 +
, https://dblp.org/rec/conf/uss/PolitzEGK11 +
, https://dblp.org/rec/conf/ecoop/GuhaSK10 +
, https://dblp.org/rec/conf/lisa/NelsonBDFK10 +
, https://dblp.org/rec/conf/sacmat/FislerK10 +
, https://dblp.org/rec/conf/sigsoft/FislerKD10 +
, https://dblp.org/rec/conf/sigsoft/GuhaK10 +
, https://dblp.org/rec/conf/weis/EgelmanMCAHK10 +
, https://dblp.org/rec/journals/cacm/FelleisenK09 +
, https://dblp.org/rec/conf/fm/GiannakopoulosDFK09 +
, https://dblp.org/rec/conf/icfp/FelleisenFFK09 +
, https://dblp.org/rec/conf/ifip1-7/McCarthyK09 +
, https://dblp.org/rec/conf/oopsla/MeyerovichGBCGBK09 +
, https://dblp.org/rec/conf/recsys/BaskinK09 +
, https://dblp.org/rec/conf/soups/FislerK09 +
, https://dblp.org/rec/conf/www/GuhaKJ09 +
, https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08 +
, https://dblp.org/rec/journals/sigplan/Krishnamurthi08 +
, https://dblp.org/rec/conf/ccs/McCarthyK08 +
, https://dblp.org/rec/conf/esorics/McCarthyK08 +
, https://dblp.org/rec/conf/sigsoft/KrishnamurthiFDY08 +
, https://dblp.org/rec/journals/ase/MarceauCSKR07 +
, https://dblp.org/rec/journals/lisp/KrishnamurthiHMGPF07 +
, https://dblp.org/rec/journals/tosem/KrishnamurthiF07 +
, https://dblp.org/rec/conf/dls/GuhaMFK07 +
, https://dblp.org/rec/conf/esorics/DoughertyFK07 +
, https://dblp.org/rec/conf/pepm/BurchettCK07 +
, https://dblp.org/rec/conf/www/McCarthyKGR07 +
, https://dblp.org/rec/journals/jfp/Krishnamurthi06 +
, https://dblp.org/rec/journals/scp/DutchynTK06 +
, https://dblp.org/rec/conf/cade/DoughertyFK06 +
, https://dblp.org/rec/conf/esop/CooperK06 +
, https://dblp.org/rec/conf/flops/IgnatoffCK06 +
, https://dblp.org/rec/conf/sacmat/TschantzK06 +
, https://dblp.org/rec/conf/si3d/McGuireSPK06 +
, https://dblp.org/rec/journals/ase/LiKF05 +
, https://dblp.org/rec/journals/sigsoft/KrishnamurthiB05 +
, https://dblp.org/rec/conf/icfp/PettyjohnCMKF05 +
, https://dblp.org/rec/conf/icse/FislerKMT05 +
, https://dblp.org/rec/conf/vstte/FislerK05 +
, https://dblp.org/rec/conf/wwv/Krishnamurthi05 +
, https://dblp.org/rec/journals/entcs/Krishnamurthi06 +
, https://dblp.org/rec/journals/ase/MatthewsFGKF04 +
, https://dblp.org/rec/journals/csedu/FelleisenFFK04 +
, https://dblp.org/rec/journals/jfp/FelleisenFFK04 +
, https://dblp.org/rec/conf/icse/AntoniuSKNF04 +
, https://dblp.org/rec/conf/kbse/LicataK04 +
, https://dblp.org/rec/conf/kbse/MarceauCKR04 +
, https://dblp.org/rec/conf/kbse/BlundellFKH04 +
, https://dblp.org/rec/conf/sigsoft/KrishnamurthiFG04 +
, https://dblp.org/rec/books/daglib/0017450 +
, https://dblp.org/rec/conf/aosd/TuckerK03 +
, https://dblp.org/rec/conf/esop/GraunkeFKF03 +
, https://dblp.org/rec/conf/icse/ReissKWK03 +
, https://dblp.org/rec/conf/kbse/AhmadAGK03 +
, https://dblp.org/rec/conf/kbse/LicataHK03 +
, https://dblp.org/rec/conf/padl/Krishnamurthi03 +
, https://dblp.org/rec/conf/padl/KiselyovK03 +
, https://dblp.org/rec/journals/corr/cs-SE-0310040 +
, https://dblp.org/rec/journals/jfp/FindlerCFFKSF02 +
, https://dblp.org/rec/conf/esop/McGuireKH02 +
, https://dblp.org/rec/conf/icse/GraunkeK02 +
, https://dblp.org/rec/conf/kbse/LiKF02 +
, https://dblp.org/rec/conf/sigsoft/LiKF02 +
, https://dblp.org/rec/conf/spin/LiFK02 +
, https://dblp.org/rec/conf/esop/GraunkeKHF01 +
, https://dblp.org/rec/conf/kbse/GraunkeFKF01 +
, https://dblp.org/rec/conf/sigsoft/FislerK01 +
, https://dblp.org/rec/conf/padl/KrishnamurthiGG00 +
, https://dblp.org/rec/conf/esop/KrishnamurthiEF99 +
, https://dblp.org/rec/conf/gcse/KrishnamurthiFD99 +
, https://dblp.org/rec/conf/icfp/FlattFKF99 +
, https://dblp.org/rec/conf/java/FlattKF99 +
, https://dblp.org/rec/journals/sigplan/FelleisenFFK98 +
, https://dblp.org/rec/conf/ecoop/KrishnamurthiFF98 +
, https://dblp.org/rec/conf/popl/FlattKF98 +
, https://dblp.org/rec/conf/sigsoft/KrishnamurthiF98 +
, https://dblp.org/rec/conf/plilp/FindlerFFKF97 +
, https://dblp.org/rec/conf/pldi/FlanaganFKWF96 +
, https://dblp.org/rec/journals/crossroads/Krishnamurthi94 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/49/3744 +
, https://dblp.org/pid/99/770 +
, https://dblp.org/pid/83/5539 +
, https://dblp.org/pid/99/2209 +
, https://dblp.org/pid/332/9742 +
, https://dblp.org/pid/15/224 +
, https://dblp.org/pid/b/MarkWBailey +
, https://dblp.org/pid/b/ThomasBall +
, https://dblp.org/pid/145/1790 +
, https://dblp.org/pid/35/1487 +
, https://dblp.org/pid/61/7459 +
, https://dblp.org/pid/215/3849 +
, https://dblp.org/pid/49/7538 +
, https://dblp.org/pid/b/APBlack +
, https://dblp.org/pid/29/2288 +
, https://dblp.org/pid/20/1858 +
, https://dblp.org/pid/81/7473 +
, https://dblp.org/pid/75/3713 +
, https://dblp.org/pid/b/KimBBruce +
, https://dblp.org/pid/b/BerndBrugge +
, https://dblp.org/pid/51/1518 +
, https://dblp.org/pid/07/3368 +
, https://dblp.org/pid/69/6551 +
, https://dblp.org/pid/27/5136 +
, https://dblp.org/pid/120/5113 +
, https://dblp.org/pid/152/4900 +
, https://dblp.org/pid/00/91 +
, https://dblp.org/pid/136/0987 +
, https://dblp.org/pid/c/NicolasChristin +
, https://dblp.org/pid/29/7042-1 +
, https://dblp.org/pid/18/6838 +
, https://dblp.org/pid/40/5848 +
, https://dblp.org/pid/175/6495 +
, https://dblp.org/pid/97/6681 +
, https://dblp.org/pid/220/4220 +
, https://dblp.org/pid/66/1454 +
, https://dblp.org/pid/277/5685 +
, https://dblp.org/pid/204/3764 +
, https://dblp.org/pid/183/6367 +
, https://dblp.org/pid/d/CamilDemetrescu +
, https://dblp.org/pid/314/7818 +
, https://dblp.org/pid/264/5324 +
, https://dblp.org/pid/11/1963 +
, https://dblp.org/pid/06/1994 +
, https://dblp.org/pid/49/2926 +
, https://dblp.org/pid/174/6514 +
, https://dblp.org/pid/07/1108 +
, https://dblp.org/pid/131/4717 +
, https://dblp.org/pid/15/11088 +
, https://dblp.org/pid/69/9170 +
, https://dblp.org/pid/48/1128 +
, https://dblp.org/pid/f/MFelleisen +
, https://dblp.org/pid/61/11188 +
, https://dblp.org/pid/289/0977 +
, https://dblp.org/pid/f/RBFindler +
, https://dblp.org/pid/83/5986 +
, https://dblp.org/pid/04/4803 +
, https://dblp.org/pid/f/CormacFlanagan +
, https://dblp.org/pid/f/MatthewFlatt +
, https://dblp.org/pid/f/RFonseca +
, https://dblp.org/pid/93/2065 +
, https://dblp.org/pid/f/DPFriedman +
, https://dblp.org/pid/61/2980 +
, https://dblp.org/pid/03/9075 +
, https://dblp.org/pid/12/7508 +
, https://dblp.org/pid/53/1090 +
, https://dblp.org/pid/75/895 +
, https://dblp.org/pid/75/5799 +
, https://dblp.org/pid/03/5775 +
, https://dblp.org/pid/210/2422 +
, https://dblp.org/pid/43/6410 +
, https://dblp.org/pid/06/4387 +
, https://dblp.org/pid/145/1014 +
, https://dblp.org/pid/11/10794 +
, https://dblp.org/pid/15/2016 +
, https://dblp.org/pid/91/7024 +
, https://dblp.org/pid/g/MarkGuzdial +
, https://dblp.org/pid/73/10322 +
, https://dblp.org/pid/h/RobertHarper +
, https://dblp.org/pid/85/335 +
, https://dblp.org/pid/62/4858 +
, https://dblp.org/pid/h/MatthiasHauswirth +
, https://dblp.org/pid/272/3164 +
, https://dblp.org/pid/h/FritzHenglein +
, https://dblp.org/pid/h/PVHentenryck +
, https://dblp.org/pid/45/1437 +
, https://dblp.org/pid/h/RobertHirschfeld +
, https://dblp.org/pid/44/5218 +
, https://dblp.org/pid/183/6547 +
, https://dblp.org/pid/39/5467 +
, https://dblp.org/pid/h/JohnFHughes +
, https://dblp.org/pid/28/447 +
, https://dblp.org/pid/89/740 +
, https://dblp.org/pid/47/4244 +
, https://dblp.org/pid/21/2627 +
, https://dblp.org/pid/22/5393 +
, https://dblp.org/pid/145/7476 +
, https://dblp.org/pid/78/3192 +
, https://dblp.org/pid/181/2345 +
, https://dblp.org/pid/289/1373 +
, https://dblp.org/pid/87/1311 +
, https://dblp.org/pid/l/JamesRLarus +
, https://dblp.org/pid/l/DougLea +
, https://dblp.org/pid/66/2755 +
, https://dblp.org/pid/61/1146 +
, https://dblp.org/pid/25/1717 +
, https://dblp.org/pid/07/3117 +
, https://dblp.org/pid/03/178 +
, https://dblp.org/pid/28/4874 +
, https://dblp.org/pid/272/3623 +
, https://dblp.org/pid/181/2877 +
, https://dblp.org/pid/35/3221 +
, https://dblp.org/pid/47/1513 +
, https://dblp.org/pid/307/3026 +
, https://dblp.org/pid/88/4492 +
, https://dblp.org/pid/14/2607 +
, https://dblp.org/pid/136/1140 +
, https://dblp.org/pid/299/1891 +
, https://dblp.org/pid/99/3956 +
, https://dblp.org/pid/60/1832 +
, https://dblp.org/pid/75/4325 +
, https://dblp.org/pid/323/4673 +
, https://dblp.org/pid/92/7000 +
, https://dblp.org/pid/321/0647 +
, https://dblp.org/pid/97/2954 +
, https://dblp.org/pid/27/10408 +
, https://dblp.org/pid/m/JGMorrisett +
, https://dblp.org/pid/95/712 +
, https://dblp.org/pid/94/4577 +
, https://dblp.org/pid/45/1643 +
, https://dblp.org/pid/200/5362 +
, https://dblp.org/pid/n/JamesNoble +
, https://dblp.org/pid/27/9543 +
, https://dblp.org/pid/o/MartinOdersky +
, https://dblp.org/pid/145/4100 +
, https://dblp.org/pid/344/4440 +
, https://dblp.org/pid/323/5551 +
, https://dblp.org/pid/66/6237-1 +
, https://dblp.org/pid/20/1180 +
, https://dblp.org/pid/314/7970 +
, https://dblp.org/pid/p/HanspeterPfister +
, https://dblp.org/pid/143/5683 +
, https://dblp.org/pid/24/11088 +
, https://dblp.org/pid/p/LLPollock +
, https://dblp.org/pid/120/5116 +
, https://dblp.org/pid/289/1210 +
, https://dblp.org/pid/133/2032 +
, https://dblp.org/pid/222/9175 +
, https://dblp.org/pid/274/6834 +
, https://dblp.org/pid/32/4348 +
, https://dblp.org/pid/r/CRRamakrishnan +
, https://dblp.org/pid/59/177 +
, https://dblp.org/pid/90/8732 +
, https://dblp.org/pid/r/StuartReges +
, https://dblp.org/pid/r/StevenPReiss +
, https://dblp.org/pid/223/5335 +
, https://dblp.org/pid/00/1334 +
, https://dblp.org/pid/54/10601 +
, https://dblp.org/pid/r/MartinCRinard +
, https://dblp.org/pid/307/2872 +
, https://dblp.org/pid/29/8409 +
, https://dblp.org/pid/162/5045 +
, https://dblp.org/pid/39/8244 +
, https://dblp.org/pid/14/11135 +
, https://dblp.org/pid/306/5891 +
, https://dblp.org/pid/04/9842 +
, https://dblp.org/pid/151/6803 +
, https://dblp.org/pid/197/0129 +
, https://dblp.org/pid/371/8380 +
, https://dblp.org/pid/74/2146 +
, https://dblp.org/pid/306/6317 +
, https://dblp.org/pid/88/7055 +
, https://dblp.org/pid/55/2167 +
, https://dblp.org/pid/26/4827 +
, https://dblp.org/pid/307/2931 +
, https://dblp.org/pid/93/2207 +
, https://dblp.org/pid/48/4274 +
, https://dblp.org/pid/15/510 +
, https://dblp.org/pid/44/4757 +
, https://dblp.org/pid/t/PeterThiemann +
, https://dblp.org/pid/62/4843 +
, https://dblp.org/pid/56/3287 +
, https://dblp.org/pid/45/1247 +
, https://dblp.org/pid/244/4905 +
, https://dblp.org/pid/38/1572 +
, https://dblp.org/pid/61/3413 +
, https://dblp.org/pid/v/JanVahrenhold +
, https://dblp.org/pid/131/1674 +
, https://dblp.org/pid/267/2722 +
, https://dblp.org/pid/307/3228 +
, https://dblp.org/pid/323/5423 +
, https://dblp.org/pid/v/JanVitek +
, https://dblp.org/pid/05/4874 +
, https://dblp.org/pid/136/1130 +
, https://dblp.org/pid/w/MitchellWand +
, https://dblp.org/pid/136/0972 +
, https://dblp.org/pid/53/250 +
, https://dblp.org/pid/w/StephanieWeirich +
, https://dblp.org/pid/143/8892 +
, https://dblp.org/pid/34/6022 +
, https://dblp.org/pid/305/9244 +
, https://dblp.org/pid/208/8785 +
, https://dblp.org/pid/78/4351 +
, https://dblp.org/pid/21/663 +
, https://dblp.org/pid/22/4191 +
, https://dblp.org/pid/07/2946 +
, https://dblp.org/pid/34/9090 +
, https://dblp.org/pid/48/8545 +
, https://dblp.org/pid/z/AndreasZeller +
, https://dblp.org/pid/136/1139 +
|
https://dblp.org/rdf/schema#creatorName
|
Shriram Krishnamurthi
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/snapl/2019 +
, https://dblp.org/rec/conf/snapl/2017 +
, https://dblp.org/rec/conf/ecoop/2016 +
, https://dblp.org/rec/conf/snapl/2015 +
, https://dblp.org/rec/conf/oopsla/2014onward +
, https://dblp.org/rec/conf/paste/2008 +
, https://dblp.org/rec/conf/cc/2007 +
, https://dblp.org/rec/conf/padl/2002 +
|
https://dblp.org/rdf/schema#homepage
|
http://www.cs.brown.edu/~sk/ +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0001-5184-1975 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
Brown University, Computer Science Department, Providence, RI, USA
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Shriram Krishnamurthi
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://www.cs.brown.edu/~sk/ +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=Cxwj5hEAAAAJ +
, https://dl.acm.org/profile/81100512233 +
, https://zbmath.org/authors/?q=ai:krishnamurthi.shriram +
, https://mathscinet.ams.org/mathscinet/MRAuthorID/812299 +
, https://mathgenealogy.org/id.php?id=113751 +
|
https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q7504182 +
|
https://dblp.org/rdf/schema#wikipedia
|
https://en.wikipedia.org/wiki/Shriram_Krishnamurthi +
|
owl:sameAs |
https://orcid.org/0000-0001-5184-1975 +
, http://www.wikidata.org/entity/Q7504182 +
, http://isni.org/isni/0000000037933286 +
, https://viaf.org/viaf/27978118 +
, https://id.loc.gov/authorities/names/nb2002017560 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Shriram Krishnamurthi
|