Dimitrios Vytiniotis
发表
Cole Schlesinger,
Hitesh Ballani,
Thomas Karagiannis,
2015
.
Dimitrios Vytiniotis,
Gordon Stewart,
Mahanth Gowda,
2014,
SRIF@SIGCOMM.
Christos Gkantsidis,
Orion Hodson,
Dimitrios Vytiniotis,
2012
.
Simon L. Peyton Jones,
Tom Schrijvers,
Martin Sulzmann,
2011,
J. Funct. Program..
Michael Isard,
Steven Hand,
Derek Gordon Murray,
2015,
HotOS.
Simon Peyton Jones,
Dimitrios Vytiniotis,
2016
.
Simon Peyton Jones,
Ilya Sergey,
Dimitrios Vytiniotis,
2014
.
Simon L. Peyton Jones,
Ranjit Jhala,
Dimitrios Vytiniotis,
2014,
ICFP.
Simon L. Peyton Jones,
José Pedro Magalhães,
Dimitrios Vytiniotis,
2012,
ICFP '12.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2013,
Journal of Functional Programming.
Dimitrios Vytiniotis,
Vasileios Koutavas,
2009
.
Benjamin C. Pierce,
Leonidas Lampropoulos,
Antal Spector-Zabusky,
2016,
Journal of Functional Programming.
Simon L. Peyton Jones,
Danfeng Zhang,
Andrew C. Myers,
2015,
PLDI.
Dimitrios Vytiniotis,
Kapil Vaswani,
Gowtham Kaki,
2016
.
Antony I. T. Rowstron,
Christos Gkantsidis,
Orion Hodson,
2013,
NSDI.
Simon Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2005
.
Dimitrios Vytiniotis,
Dimitrios Vytiniotis,
2012
.
Simon L. Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2007,
Journal of Functional Programming.
Simon L. Peyton Jones,
Ilya Sergey,
Dimitrios Vytiniotis,
2017,
J. Funct. Program..
Simon Peyton Jones,
Dimitrios Vytiniotis,
Maximilian Bolingbroke,
2012
.
Simon Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2008,
ICFP 2008.
Stephanie Weirich,
Dimitrios Vytiniotis,
Geoffrey Washburn,
2005,
TLDI '05.
Simon L. Peyton Jones,
Stephanie Weirich,
Richard A. Eisenberg,
2014,
POPL.
Simon L. Peyton Jones,
Amir Shaikhha,
Christoph Koch,
2018,
Proc. ACM Program. Lang..
Simon L. Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2006,
ICFP '06.
Simon L. Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2006,
ICFP '06.
Ryota Tomioka,
Alexander L. Gaunt,
Maik Riechert,
2017,
ArXiv.
Dimitrios Vytiniotis,
Gordon Stewart,
Mahanth Gowda,
2014,
MobiCom.
Simon L. Peyton Jones,
Dimitrios Vytiniotis,
2013,
RTA.
Simon L. Peyton Jones,
Ilya Sergey,
Dimitrios Vytiniotis,
2014,
POPL 2014.
Simon Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2008,
ICFP 2008.
Simon L. Peyton Jones,
Dimitrios Vytiniotis,
Max Bolingbroke,
2012,
Haskell '11.
José Pedro Magalhães,
Dimitrios Vytiniotis,
Simon Jones,
2012
.
Simon L. Peyton Jones,
Jurriaan Hage,
Alejandro Serrano,
2020,
Proc. ACM Program. Lang..
Stephanie Weirich,
Dimitrios Vytiniotis,
Stephanie Weirich,
2022
.
Nate Foster,
Dimitrios Vytiniotis,
2006,
Arch. Formal Proofs.
Dimitrios Vytiniotis,
Andrew J. Kennedy,
Dimitrios Vytiniotis,
2010,
ICFP '10.
Simon Peyton Jones,
Stephanie Weirich,
Richard A. Eisenberg,
2016
.
Simon Peyton Jones,
Ilya Sergey,
Dimitrios Vytiniotis,
2017
.
Matthew J. Parkinson,
Dimitrios Vytiniotis,
Kapil Vaswani,
2017,
PLDI.
Simon L. Peyton Jones,
Tom Schrijvers,
Dimitrios Vytiniotis,
2015,
ICFP.
Thierry Coquand,
Dimitrios Vytiniotis,
David Wahlstedt,
2012,
ITP.
Simon L. Peyton Jones,
Tom Schrijvers,
Dimitrios Vytiniotis,
2010,
TLDI '10.
Simon L. Peyton Jones,
Jurriaan Hage,
Alejandro Serrano,
2018,
PLDI.
Matthew J. Parkinson,
Dimitrios Vytiniotis,
Kapil Vaswani,
2017,
Proc. ACM Program. Lang..
Dimitrios Vytiniotis,
Gordon Stewart,
Mahanth Gowda,
2014,
SIGCOMM.
Dimitrios Vytiniotis,
Dimitrios Vytiniotis,
2020,
PPDP.
Simon L. Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2008,
ICFP.
Simon L. Peyton Jones,
Tom Schrijvers,
Martin Sulzmann,
2009,
ICFP.
Torsten Grust,
James Cheney,
Dimitrios Vytiniotis,
2014,
Dagstuhl Reports.
Simon L. Peyton Jones,
Stephanie Weirich,
José Pedro Magalhães,
2012,
TLDI '12.
Antonio Criminisi,
Leonidas Lampropoulos,
Dimitrios Vytiniotis,
2016,
NIPS.
Dimitrios Vytiniotis,
Gordon Stewart,
Mahanth Gowda,
2015,
SIGCOMM.
Simon L. Peyton Jones,
Stephanie Weirich,
Richard A. Eisenberg,
2016,
A List of Successes That Can Change the World.
Simon L. Peyton Jones,
Koen Claessen,
Dimitrios Vytiniotis,
2013,
POPL.
Simon L. Peyton Jones,
Stephanie Weirich,
Steve Zdancewic,
2011,
POPL '11.
Stephanie Weirich,
Dimitrios Vytiniotis,
Stephanie Weirich,
2007,
MFPS.
Alejandro Russo,
Pablo Buiras,
Dimitrios Vytiniotis,
2015,
ICFP.
Stephanie Weirich,
Dimitrios Vytiniotis,
Geoffrey Washburn,
2004
.
Simon L. Peyton Jones,
Danfeng Zhang,
Andrew C. Myers,
2017,
ACM Trans. Program. Lang. Syst..
Simon L. Peyton Jones,
Amir Shaikhha,
Dimitrios Vytiniotis,
2017,
FHPC@ICFP.
Simon Peyton Jones,
Amir Shaikhha,
Dimitrios Vytiniotis,
2016
.
Isil Dillig,
Christos Gkantsidis,
Thomas Dillig,
2014,
PLDI.
Dimitrios Vytiniotis,
Simon Peyton-Jones,
Dimitrios Vytiniotis,
2014
.
Benjamin C. Pierce,
Stephanie Weirich,
Nate Foster,
2005,
TPHOLs.
Stephanie Weirich,
Dimitrios Vytiniotis,
2008
.
Dimitrios Vytiniotis,
Dimitrios Vytiniotis,
2014,
FHPC '14.
Dimitrios Vytiniotis,
Andrew J. Kennedy,
Dimitrios Vytiniotis,
2022
.
Simon Peyton Jones,
Stephanie Weirich,
Dimitrios Vytiniotis,
2006
.
Dimitrios Vytiniotis,
Gordon Stewart,
Mahanth Gowda,
2015,
ASPLOS.
Norman A. Rink,
Michael Schaarschmidt,
Dimitrios Vytiniotis,
2021,
ArXiv.
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning
pdf
Dimitrios Vytiniotis,
Dominik Grewe,
Ningning Xie,
2021,
MLSys.
David Duvenaud,
Dimitrios Vytiniotis,
Jonathan Ragan-Kelley,
2021,
Proc. ACM Program. Lang..
Viorica Patraucean,
Dimitrios Vytiniotis,
Grzegorz Swirszcz,
2021,
2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Norman A. Rink,
Dimitrios Vytiniotis,
Adam Paszke,
2021,
ArXiv.
Danfeng Zhang,
Andrew C. Myers,
Dimitrios Vytiniotis,
2015
.
Simon Peyton Jones,
Stephanie Weirich,
Steve Zdancewic,
2010
.
Christos Gkantsidis,
Antony Rowstron,
Orion Hodson,
2012
.
Claudio V. Russo,
Dimitrios Vytiniotis,
2009
.
Stephanie Weirich,
Dimitrios Vytiniotis,
Simon Peyton,
2006
.
Martín Abadi,
Gordon D. Plotkin,
Dimitrios Vytiniotis,
2019
.
Stephanie Weirich,
Dimitrios Vytiniotis,
2007
.
Stephanie Weirich,
Richard A. Eisenberg,
Dimitrios Vytiniotis,
2013
.
Benjamin C. Pierce,
John Hughes,
Leonidas Lampropoulos,
2013
.