dblp keys for Tiark Rompf

Tiark Rompf

Keys

# of data records = 56

homepages/19/7373 journals/darts/WangR17 conf/ecoop/WangR17 conf/pepm/RompfB17 conf/popl/AminR17 conf/popl/AminR17a conf/dbpl/2017 journals/corr/EssertelTDBOR17 conf/birthday/AminGORS16 conf/birthday/Rompf16 conf/cgo/BrownLRSSAO16 conf/gis/TahboubR16 conf/gpce/Rompf16 conf/oopsla/OsvaldEWAR16 conf/oopsla/RompfA16 conf/scala/OfenbeckRP16 conf/scala/Rompf16 conf/pepm/2016 conf/icfp/RompfA15 conf/icfp/StuckiRUB15 conf/snapl/RompfBLSJAOSKDK15 conf/icfp/2015fhpc journals/corr/RompfA15 journals/cacm/OderskyR14 journals/pvldb/KlonatosKRC14 journals/pvldb/KlonatosKRC14a journals/tecs/SujeethBLRCOO14 conf/fpl/GeorgeLNRBSOOI14 conf/micro/LeeBSRO14 conf/oopsla/AminRO14 conf/oopsla/JonnalageddaCSRO14 conf/pldi/StojanovORP14 conf/pldi/RompfSBLCO14 conf/tap/AminLR14 conf/icfp/2014wgp conf/ecoop/StuckiAJR13 conf/ecoop/SujeethRBLCPWPJOO13 conf/fpt/GeorgeNROI13 conf/gpce/OfenbeckRSOP13 conf/gpce/SujeethGBLROO13 conf/popl/RompfSABJLJOO13 journals/cacm/RompfO12 journals/lisp/RompfAMHO12 conf/ecoop/KossakowskiARO12 conf/pepm/UrecheRSCO12 conf/pepm/MoorsRHO12 journals/concurrency/HinkelmannJMRS11 journals/micro/LeeBSCROO11 conf/IEEEpact/BrownSLRCOO11 conf/europar/ProkopecBRO11 conf/icml/SujeethLBRCWAOO11 journals/corr/abs-1109-0778 conf/gpce/RompfO10 conf/oopsla/ChafiDMRSHOO10 conf/icfp/RompfMO09 conf/nss/HinkelmannJMRS09