Dimitrios Vytiniotis

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 26

Top Topics

Spatio Temporally

Programming Language

Memory Management

Top Venues

Proc. ACM Program. Lang.

Publications

Sami Alabed, Bart Chrzaszcz, Juliana Franco, Dominik Grewe, Dougal Maclaurin, James Molloy, Tom Natan, Tamara Norman, Xiaoyue Pan, Adam Paszke, Norman A. Rink, Michael Schaarschmidt, Timur Sitdikov, Agnieszka Swietlik, Dimitrios Vytiniotis, Joel Wee
PartIR: Composing SPMD Partitioning Strategies for Machine Learning. CoRR (2024)
Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. CoRR (2022)
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. MLSys (2022)
Sami Alabed, Dominik Grewe, Juliana Franco, Bart Chrzaszcz, Tom Natan, Tamara Norman, Norman A. Rink, Dimitrios Vytiniotis, Michael Schaarschmidt
Automatic Discovery of Composite SPMD Partitioning Strategies in PartIR. CoRR (2022)
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin
Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming. Proc. ACM Program. Lang. 5 (POPL) (2021)
Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin
Getting to the Point. Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming. CoRR (2021)
Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. CoRR (2021)
Michael Schaarschmidt, Dominik Grewe, Dimitrios Vytiniotis, Adam Paszke, Georg Stefan Schmid, Tamara Norman, James Molloy, Jonathan Godwin, Norman Alexander Rink, Vinod Nair, Dan Belov
Automap: Towards Ergonomic Automated Parallelism for ML Models. CoRR (2021)
Mateusz Malinowski, Dimitrios Vytiniotis, Grzegorz Swirszcz, Viorica Patraucean, João Carreira
Gradient Forward-Propagation for Large-Scale Temporal Video Modelling. CoRR (2021)
Mateusz Malinowski, Dimitrios Vytiniotis, Grzegorz Swirszcz, Viorica Patraucean, João Carreira
Gradient Forward-Propagation for Large-Scale Temporal Video Modelling. CVPR (2021)
Norman A. Rink, Adam Paszke, Dimitrios Vytiniotis, Georg Stefan Schmid
Memory-efficient array redistribution through portable collective communication. CoRR (2021)
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis
A quick look at impredicativity. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Dimitrios Vytiniotis
Declarative abstractions for tensor program partitioning. PPDP (2020)
Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones
Efficient differentiable programming in a functional array-processing language. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones
Guarded impredicative polymorphism. PLDI (2018)
Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch
Efficient Differentiable Programming in a Functional Array-Processing Language. CoRR (2018)
Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
Destination-passing style for efficient memory management. FHPC@ICFP (2017)
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind
Project snowflake: non-blocking safe manual memory management in .NET. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein
Simple, fast, and safe manual memory management. PLDI (2017)
Alex Gaunt, Matthew Johnson, Maik Riechert, Daniel Tarlow, Ryota Tomioka, Dimitrios Vytiniotis, Sam Webster
AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks. CoRR (2017)
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner
Modular, higher order cardinality analysis in theory and practice. J. Funct. Program. 27 (2017)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
SHErrLoc: A Static Holistic Error Locator. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing noninterference, quickly. J. Funct. Program. 26 (2016)
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
Measuring Neural Net Robustness with Constraints. NIPS (2016)
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
A Reflection on Types. A List of Successes That Can Change the World (2016)
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi
Measuring Neural Net Robustness with Constraints. CoRR (2016)
Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ICFP (2015)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo
Ziria: A DSL for Wireless Systems Programming. ASPLOS (2015)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. MobiCom (2015)
Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones
Diagnosing type errors with class. PLDI (2015)
Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
Broom: Sweeping Out Garbage Collection from Big Data Systems. HotOS (2015)
Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
HLIO: mixing static and dynamic typing for information-flow control in Haskell. ICFP (2015)
Dimitrios Vytiniotis
Ziria: wireless programming for hardware dummies. FHPC@ICFP (2014)
Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Poster: Ziria: language for rapid prototyping of wireless PHY. MobiCom (2014)
James Cheney, Torsten Grust, Dimitrios Vytiniotis
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). Dagstuhl Reports 4 (12) (2014)
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich
Closed type families with overlapping equations. POPL (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson
Ziria: language for rapid prototyping of wireless PHY. SIGCOMM (2014)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing Noninterference, Quickly. CoRR (2014)
Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones
Modular, higher-order cardinality analysis in theory and practice. POPL (2014)
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis
Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. SRIF@SIGCOMM (2014)
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones
Refinement types for Haskell. ICFP (2014)
Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
Consolidation of queries with user-defined functions. PLDI (2014)
Dimitrios Vytiniotis, Simon L. Peyton Jones
Evidence Normalization in System FC (Invited Talk). RTA (2013)
Christos Gkantsidis, Dimitrios Vytiniotis, Orion Hodson, Dushyanth Narayanan, Florin Dinu, Antony I. T. Rowstron
Rhea: Automatic Filtering for Unstructured Cloud Storage. NSDI (2013)
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
Testing noninterference, quickly. ICFP (2013)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén
HALO: haskell to logic through denotational semantics. POPL (2013)
Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt
Stop When You Are Almost-Full - Adventures in Constructive Termination. ITP (2012)
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Giving Haskell a promotion. TLDI (2012)
Andrew J. Kennedy, Dimitrios Vytiniotis
Every bit counts: The binary representation of typed data and programs. J. Funct. Program. 22 (4-5) (2012)
Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães
Equality proofs and deferred type errors: a compiler pearl. ICFP (2012)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21 (4-5) (2011)
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic
Generative type abstraction and type-level computation. POPL (2011)
Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis
Termination combinators forever. Haskell (2011)
Dimitrios Vytiniotis, Andrew J. Kennedy
Functional pearl: every bit counts. ICFP (2010)
Dimitrios Vytiniotis, Stephanie Weirich
Parametricity, type equality, and higher-order polymorphism. J. Funct. Program. 20 (2) (2010)
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers
Let should not be generalized. TLDI (2010)
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
Complete and decidable type inference for GADTs. ICFP (2009)
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
FPH: first-class polymorphism for Haskell. ICFP (2008)
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
Practical type inference for arbitrary-rank types. J. Funct. Program. 17 (1) (2007)
Dimitrios Vytiniotis, Stephanie Weirich
Free Theorems and Runtime Type Representations. MFPS (2007)
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
Boxy types: inference for higher-rank types and impredicativity. ICFP (2006)
J. Nathan Foster, Dimitrios Vytiniotis
A Theory of Featherweight Java in Isabelle/HOL. Arch. Formal Proofs 2006 (2006)
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
Simple unification-based type inference for GADTs. ICFP (2006)
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs (2005)
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich
An open and shut typecase. TLDI (2005)