Dimitrios Vytiniotis

According to our database, Dimitrios Vytiniotis authored at least 60 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

PartIR: Composing SPMD Partitioning Strategies for Machine Learning.

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

CoRR, 2024

2022

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language.

Amir Shaikhha, Mathieu Huot, Shabnam Ghasemirad, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis

CoRR, 2022

Automatic Discovery of Composite SPMD Partitioning Strategies in PartIR.

Sami Alabed, Dominik Grewe, Juliana Franco, Bart Chrzaszcz, Tom Natan, Tamara Norman, Norman A. Rink, Dimitrios Vytiniotis, Michael Schaarschmidt

CoRR, 2022

Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning.

Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis

Proceedings of the Fifth Conference on Machine Learning and Systems, 2022

2021

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming.

Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin

Proc. ACM Program. Lang., 2021

Automap: Towards Ergonomic Automated Parallelism for ML Models.

Michael Schaarschmidt, Dominik Grewe, Dimitrios Vytiniotis, Adam Paszke, Georg Stefan Schmid, Tamara Norman, James Molloy, Jonathan Godwin, Norman Alexander Rink, Vinod Nair, Dan Belov

CoRR, 2021

Memory-efficient array redistribution through portable collective communication.

Norman A. Rink, Adam Paszke, Dimitrios Vytiniotis, Georg Stefan Schmid

CoRR, 2021

Gradient Forward-Propagation for Large-Scale Temporal Video Modelling.

Mateusz Malinowski, Dimitrios Vytiniotis, Grzegorz Swirszcz, Viorica Patraucean, João Carreira

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

2020

A quick look at impredicativity.

Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis

Proc. ACM Program. Lang., 2020

Declarative abstractions for tensor program partitioning.

Dimitrios Vytiniotis

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019

Efficient differentiable programming in a functional array-processing language.

Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones

Proc. ACM Program. Lang., 2019

2018

Efficient Differentiable Programming in a Functional Array-Processing Language.

Amir Shaikhha, Andrew W. Fitzgibbon, Dimitrios Vytiniotis, Simon Peyton Jones, Christoph Koch

CoRR, 2018

Guarded impredicative polymorphism.

Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

SHErrLoc: A Static Holistic Error Locator.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

ACM Trans. Program. Lang. Syst., 2017

Project snowflake: non-blocking safe manual memory management in .NET.

Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind

Proc. ACM Program. Lang., 2017

Modular, higher order cardinality analysis in theory and practice.

Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner

J. Funct. Program., 2017

AMPNet: Asynchronous Model-Parallel Training for Dynamic Neural Networks.

Alex Gaunt, Matthew Johnson, Maik Riechert, Daniel Tarlow, Ryota Tomioka, Dimitrios Vytiniotis, Sam Webster

CoRR, 2017

Simple, fast, and safe manual memory management.

Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Destination-passing style for efficient memory management.

Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017

2016

Testing noninterference, quickly.

Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

J. Funct. Program., 2016

Measuring Neural Net Robustness with Constraints.

Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

A Reflection on Types.

Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Diagnosing type errors with class.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis

Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, 2015

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.

Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

HLIO: mixing static and dynamic typing for information-flow control in Haskell.

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Broom: Sweeping Out Garbage Collection from Big Data Systems.

Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Ziria: A DSL for Wireless Systems Programming.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511).

James Cheney, Torsten Grust, Dimitrios Vytiniotis

Dagstuhl Reports, 2014

Ziria: language for rapid prototyping of wireless PHY.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming.

Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis

Proceedings of the 2014 ACM workshop on Software radio implementation forum, 2014

Modular, higher-order cardinality analysis in theory and practice.

Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Closed type families with overlapping equations.

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Consolidation of queries with user-defined functions.

Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Poster: Ziria: language for rapid prototyping of wireless PHY.

Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

Ziria: wireless programming for hardware dummies.

Dimitrios Vytiniotis

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Refinement types for Haskell.

Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Evidence Normalization in System FC (Invited Talk).

Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

HALO: haskell to logic through denotational semantics.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Rhea: Automatic Filtering for Unstructured Cloud Storage.

Christos Gkantsidis, Dimitrios Vytiniotis, Orion Hodson, Dushyanth Narayanan, Florin Dinu, Antony I. T. Rowstron

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Testing noninterference, quickly.

Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Every bit counts: The binary representation of typed data and programs.

Andrew J. Kennedy, Dimitrios Vytiniotis

J. Funct. Program., 2012

Giving Haskell a promotion.

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Stop When You Are Almost-Full - Adventures in Constructive Termination.

Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Equality proofs and deferred type errors: a compiler pearl.

Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

OutsideIn(X) Modular type inference with local assumptions.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann

J. Funct. Program., 2011

Generative type abstraction and type-level computation.

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Termination combinators forever.

Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Parametricity, type equality, and higher-order polymorphism.

Dimitrios Vytiniotis, Stephanie Weirich

J. Funct. Program., 2010

Let should not be generalized.

Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Functional pearl: every bit counts.

Dimitrios Vytiniotis, Andrew J. Kennedy

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Complete and decidable type inference for GADTs.

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

FPH: first-class polymorphism for Haskell.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Practical type inference for arbitrary-rank types.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields

J. Funct. Program., 2007

Free Theorems and Runtime Type Representations.

Dimitrios Vytiniotis, Stephanie Weirich

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2006

A Theory of Featherweight Java in Isabelle/HOL.

J. Nathan Foster, Dimitrios Vytiniotis

Arch. Formal Proofs, 2006

Boxy types: inference for higher-rank types and impredicativity.

Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Simple unification-based type inference for GADTs.

Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

An open and shut typecase.

Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005