Index of /homes/rompf/papers

NameLast ModifiedSizeDescription

Parent Directory-
abeysinghe-padl24.pdf Dec 4 2023 560K
abeysinghe-popl24.pdf Dec 4 2023 784K
abeysinghe-sigmod22.pdf Mar 17 2022 992K
amin-aplas19.pdf Aug 31 2019 268K
amin-popl17a.pdf Mar 11 2017 312K
amin-popl17b.pdf Mar 10 2017 280K
amin-popl18.pdf Nov 5 2017 1012K
amin-wf16.pdf Sep 23 2016 468K
bao-arxiv23.pdf Oct 1 2023 668K
bao-gpce21.pdf Oct 14 2021 620K
bao-oopsla21.pdf Oct 14 2021 720K
bracevac-oopsla23.pdf Dec 4 2023 948K
chang-swfan17.pdf Apr 13 2017 260K
cong-icfp19.pdf Aug 5 2019 692K
decker-preprint201811.pdf Nov 18 2018 700K
decker-preprint201907.pdf Aug 5 2019 796K
essertel-gpce21.pdf Oct 14 2021 684K
essertel-oopsla19.pdf Sep 15 2019 836K
essertel-osdi18.pdf Sep 29 2018 460K
essertel-vldb19.pdf Jan 24 2020 480K
f-to-dot-2015.pdf Aug 30 2016 308K
ofenbeck-gpce17.pdf Sep 4 2017 1.2M
ofenbeck-scala16.pdf Sep 26 2016 372K
osvald-array17.pdf May 17 2017 388K
osvald-oopsla16.pdf Sep 23 2016 360K
osvald-scala17.pdf Nov 6 2017 400K
rompf-icfp15.pdf Aug 17 2015 224K
rompf-oopsla16.pdf Aug 30 2016 360K
rompf-pepm17.pdf Mar 10 2017 184K
rompf-pldi14.pdf Aug 18 2017 340K
rompf-scala16.pdf Mar 10 2017 280K
rompf-snapl15.pdf Aug 17 2015 884K
rompf-wf16.pdf Sep 23 2016 264K
stojanov-cgo18.pdf May 17 2022 620K
stojanov-gpce19.pdf Sep 15 2019 900K
stucki-icfp15.pdf Nov 22 2019 1.7M
tahboub-sigmod18.pdf Apr 5 2018 1.3M
tahboub-sigmod20.pdf Apr 21 2020 1.2M
tahboub-sigspatial16.pdf Oct 3 2016 292K
tan-pepm22.pdf Mar 17 2022 488K
wang-arxiv18b.pdf Mar 28 2018 1.1M
wang-ecoop17aec.zip May 18 2017 40K
wang-ecoop17.pdf Jul 19 2017 572K
wang-icfp19.pdf Aug 5 2019 1008K
wang-nips18.pdf Oct 26 2018 692K
wei-fse21.pdf Dec 3 2023 504K
wei-icfp18.pdf Jul 8 2018 644K
wei-icse23.pdf Dec 3 2023 860K
wei-oopsla19.pdf Sep 15 2019 700K
wei-oopsla20.pdf Oct 19 2020 1000K
wei-popl24.pdf Dec 4 2023 816K
xhebraj-ecoop22.pdf May 17 2022 904K