Tiark Rompf
发表
Nada Amin,
William E. Byrd,
Tiark Rompf,
2019,
APLAS.
Tiark Rompf,
Markus Püschel,
Georg Ofenbeck,
2016,
SCALA@SPLASH.
Martin Odersky,
Nada Amin,
Tiark Rompf,
2014,
OOPSLA.
Tiark Rompf,
Guannan Wei,
James M. Decker,
2018,
Proc. ACM Program. Lang..
Kunle Olukotun,
Nada Amin,
Tiark Rompf,
2015,
SNAPL.
Nada Amin,
Tiark Rompf,
K. Rustan M. Leino,
2014,
TAP@STAF.
Martin Odersky,
Nada Amin,
Tiark Rompf,
2022
.
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero
pdf
Fei Wang,
Tiark Rompf,
Fei Wang,
2018,
ArXiv.
Kunle Olukotun,
Martin Odersky,
Vojin Jovanovic,
2013,
ECOOP.
Tiark Rompf,
Ruby Y. Tahboub,
2020,
SIGMOD Conference.
Tiark Rompf,
Stefan Ackermann,
Vojin Jovanovic,
2012
.
Fei Wang,
Tiark Rompf,
Ziliang Chen,
2019
.
Martin Odersky,
Tiark Rompf,
Philipp Haller,
2011
.
Martin Odersky,
Tiark Rompf,
Philipp Haller,
2012,
PEPM '12.
Fei Wang,
D. Sculley,
Tiark Rompf,
2018,
SysML.
Tiark Rompf,
Phil Bagwell,
Tiark Rompf,
2011
.
Tiark Rompf,
Hassan Chafi,
Christoph Koch,
2014,
Proc. VLDB Endow..
Nada Amin,
Tiark Rompf,
Manohar Jonnalagedda,
2013,
SCALA@ECOOP.
Tiark Rompf,
Ruby Y. Tahboub,
2016,
SIGSPATIAL/GIS.
Martin Odersky,
Tiark Rompf,
Alen Stojanov,
2014
.
Andreas Jakoby,
Tiark Rompf,
Peer Stechert,
2009,
NSS.
Nada Amin,
Tiark Rompf,
2015,
ICFP.
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2011,
IEEE Micro.
Tiark Rompf,
Geoffrey Mainland,
2015,
FHPC@ICFP.
Tiark Rompf,
Ruby Y. Tahboub,
Grégory M. Essertel,
2018,
SIGMOD Conference.
Martin Odersky,
Nada Amin,
Tiark Rompf,
2016,
A List of Successes That Can Change the World.
Tiark Rompf,
Vlad Ureche,
Nicolas Stucki,
2015,
ICFP.
Tiark Rompf,
Leo Osvald,
2017,
SCALA@SPLASH.
Tiark Rompf,
Markus Püschel,
Georg Ofenbeck,
2017,
GPCE.
Tiark Rompf,
Fei Wang,
James M. Decker,
2018,
NeurIPS.
Martin Odersky,
Tiark Rompf,
Hassan Chafi,
2011,
PACT.
Nada Amin,
Tiark Rompf,
Nada Amin,
2017,
POPL.
Kunle Olukotun,
Martin Odersky,
Vojin Jovanovic,
2013,
POPL.
Tiark Rompf,
Alexander Alexandrov,
2017,
DBPL.
Martin Odersky,
Tiark Rompf,
Martin Odersky,
2014
.
Nada Amin,
Tiark Rompf,
Nada Amin,
2016,
OOPSLA.
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2014,
ACM Trans. Embed. Comput. Syst..
Tiark Rompf,
Guannan Wei,
Yuxuan Chen,
2019,
Proc. ACM Program. Lang..
Kunle Olukotun,
Tiark Rompf,
Hassan Chafi,
2014,
PLDI.
Tiark Rompf,
Tiark Rompf,
2016,
SCALA@SPLASH.
Martin Odersky,
Tiark Rompf,
Ingo Maier,
2009,
ICFP.
Tiark Rompf,
Alen Stojanov,
Markus Püschel,
2014,
ARRAY@PLDI.
Fei Wang,
Tiark Rompf,
2018
.
Martin Odersky,
Tiark Rompf,
Martin Odersky,
2010,
GPCE '10.
Kunle Olukotun,
Tiark Rompf,
James M. Decker,
2017,
ArXiv.
Tiark Rompf,
Guannan Wei,
Grégory M. Essertel,
2019,
Proc. ACM Program. Lang..
Tiark Rompf,
Alen Stojanov,
Markus Püschel,
2019,
GPCE.
Benoît Meister,
Fei Wang,
Tiark Rompf,
2020,
ArXiv.
Tiark Rompf,
Guoyang Chen,
Weifeng Zhang,
2019,
2019 IEEE International Conference on Big Data (Big Data).
Tiark Rompf,
Grégory M. Essertel,
Leo Osvald,
2016,
OOPSLA.
Martin Odersky,
Tiark Rompf,
Alen Stojanov,
2014,
GPCE '13.
Tiark Rompf,
2012
.
Tiark Rompf,
Sanjay G. Rao,
Gustavo Petri,
2017,
2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).
Nada Amin,
Tiark Rompf,
Nada Amin,
2017,
Proc. ACM Program. Lang..
Kunle Olukotun,
Tiark Rompf,
James M. Decker,
2018,
OSDI.
Kunle Olukotun,
Martin Odersky,
David Novo,
2014,
2014 24th International Conference on Field Programmable Logic and Applications (FPL).
Martin Odersky,
Tiark Rompf,
Aleksandar Prokopec,
2011,
Euro-Par.
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2011,
ICML.
Andreas Jakoby,
Tiark Rompf,
Peer Stechert,
2009,
2009 Third International Conference on Network and System Security.
Tiark Rompf,
Leo Osvald,
Tiark Rompf,
2017,
ARRAY@PLDI.
Tiark Rompf,
Manohar Jonnalagedda,
2009
.
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2014
.
Tiark Rompf,
Ruby Y. Tahboub,
Grégory M. Essertel,
2019,
DBPL.
D. Sculley,
Fei Wang,
Tiark Rompf,
2018,
MLSys.
Fei Wang,
Tiark Rompf,
2017,
ECOOP.
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2013,
GPCE '13.
Nada Amin,
Tiark Rompf,
2017,
POPL.
Tiark Rompf,
Martin Erwig,
Tiark Rompf,
2016,
PEPM.
Kunle Olukotun,
Martin Odersky,
Pat Hanrahan,
2010,
OOPSLA.
Tiark Rompf,
Tiark Rompf,
2016,
A List of Successes That Can Change the World.
Fei Wang,
Tiark Rompf,
2017,
Dagstuhl Artifacts Ser..
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2013
.
Martin Odersky,
Tiark Rompf,
Ingo Maier,
2010
.
Kunle Olukotun,
Tiark Rompf,
Kevin J. Brown,
2014,
2014 47th Annual IEEE/ACM International Symposium on Microarchitecture.
Tiark Rompf,
2016,
GPCE.
Fei Wang,
Tiark Rompf,
Fei Wang,
2018,
ICLR.
Kunle Olukotun,
Christopher De Sa,
Tiark Rompf,
2016,
2016 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2011,
2011 International Conference on Parallel Architectures and Compilation Techniques.
Tiark Rompf,
Fei Wang,
James M. Decker,
2019,
Proc. VLDB Endow..
Nada Amin,
Tiark Rompf,
2015,
ArXiv.
Martin Odersky,
David Novo,
Paolo Ienne,
2013,
2013 International Conference on Field-Programmable Technology (FPT).
Martin Odersky,
Tiark Rompf,
Hassan Chafi,
2012,
PEPM '12.
Tiark Rompf,
Alen Stojanov,
Markus Püschel,
2018,
CGO.
Martin Odersky,
Nada Amin,
Tiark Rompf,
2012,
ECOOP.
Martin Odersky,
Tiark Rompf,
Martin Odersky,
2014,
Commun. ACM.
Fei Wang,
Tiark Rompf,
James M. Decker,
2018,
Proc. ACM Program. Lang..
Fei Wang,
Tiark Rompf,
Ziliang Chen,
2019,
ArXiv.
Tiark Rompf,
Tiark Rompf,
2012
.
Thierry Coppey,
Martin Odersky,
Tiark Rompf,
2014,
OOPSLA.
Parinaz Naghizadeh Ardabili,
Shreyas Sundaram,
Shaoshuai Mou,
2019,
ArXiv.
Tiark Rompf,
Youyou Cong,
Grégory M. Essertel,
2019,
Proc. ACM Program. Lang..
Kunle Olukotun,
Martin Odersky,
Tiark Rompf,
2011,
DSL.
Tiark Rompf,
Kevin J. Brown,
Tiark Rompf,
2017,
PEPM.
Tiark Rompf,
Prasita Mukherjee,
Tiark Rompf,
2021,
ArXiv.
Tiark Rompf,
Guannan Wei,
Oliver Bracevac,
2021,
Proc. ACM Program. Lang..
Tiark Rompf,
Guannan Wei,
Oliver Bracevac,
2021,
ESEC/SIGSOFT FSE.
Tiark Rompf,
Aniket Kate,
Mohammad Hassan Ameri,
2021,
GPCE.
Tiark Rompf,
Fei Wang,
Dan Moldovan,
2018
.
Tiark Rompf,
Christoph Koch,
Mohammad Dashti,
2014
.