Dimitrios Vytiniotis

68 papers A* 13A 11B 2C 2Misc 1Journal 26Unranked 12

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