An open and shut typecase. - Dimitrios Vytiniotis; Geoffrey Washburn; Stephanie Weirich (TLDI, 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 (TPHOLs, 2005)

Simple unification-based type inference for GADTs. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Geoffrey Washburn (ICFP, 2006)

Boxy types: inference for higher-rank types and impredicativity. - Dimitrios Vytiniotis; Stephanie Weirich; Simon L. Peyton Jones (ICFP, 2006)

A Theory of Featherweight Java in Isabelle/HOL. - J. Nathan Foster; Dimitrios Vytiniotis (Arch. Formal Proofs, 2006)

Free Theorems and Runtime Type Representations. - Dimitrios Vytiniotis; Stephanie Weirich (MFPS, 2007)

Practical type inference for arbitrary-rank types. - Simon L. Peyton Jones; Dimitrios Vytiniotis; Stephanie Weirich; Mark Shields (J. Funct. Program., 2007)

FPH: first-class polymorphism for Haskell. - Dimitrios Vytiniotis; Stephanie Weirich; Simon L. Peyton Jones (ICFP, 2008)

Complete and decidable type inference for GADTs. - Tom Schrijvers; Simon L. Peyton Jones; Martin Sulzmann; Dimitrios Vytiniotis (ICFP, 2009)

Functional pearl: every bit counts. - Dimitrios Vytiniotis; Andrew J. Kennedy (ICFP, 2010)

Let should not be generalized. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Tom Schrijvers (TLDI, 2010)

Parametricity, type equality, and higher-order polymorphism. - Dimitrios Vytiniotis; Stephanie Weirich (J. Funct. Program., 2010)

Termination combinators forever. - Maximilian C. Bolingbroke; Simon L. Peyton Jones; Dimitrios Vytiniotis (Haskell, 2011)

Generative type abstraction and type-level computation. - Stephanie Weirich; Dimitrios Vytiniotis; Simon L. Peyton Jones; Steve Zdancewic (POPL, 2011)

OutsideIn(X) Modular type inference with local assumptions. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Tom Schrijvers; Martin Sulzmann (J. Funct. Program., 2011)

Equality proofs and deferred type errors: a compiler pearl. - Dimitrios Vytiniotis; Simon L. Peyton Jones; José Pedro Magalhães (ICFP, 2012)

Stop When You Are Almost-Full - Adventures in Constructive Termination. - Dimitrios Vytiniotis; Thierry Coquand; David Wahlstedt (ITP, 2012)

Giving Haskell a promotion. - Brent A. Yorgey; Stephanie Weirich; Julien Cretin; Simon L. Peyton Jones; Dimitrios Vytiniotis; José Pedro Magalhães (TLDI, 2012)

Every bit counts: The binary representation of typed data and programs. - Andrew J. Kennedy; Dimitrios Vytiniotis (J. Funct. Program., 2012)

Testing noninterference, quickly. - Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Antal Spector-Zabusky; Dimitrios Vytiniotis; Arthur Azevedo de Amorim; Leonidas Lampropoulos (ICFP, 2013)

Rhea: Automatic Filtering for Unstructured Cloud Storage. - Christos Gkantsidis; Dimitrios Vytiniotis; Orion Hodson; Dushyanth Narayanan; Florin Dinu; Antony I. T. Rowstron (NSDI, 2013)

HALO: haskell to logic through denotational semantics. - Dimitrios Vytiniotis; Simon L. Peyton Jones; Koen Claessen; Dan Rosén (POPL, 2013)

Evidence Normalization in System FC (Invited Talk). - Dimitrios Vytiniotis; Simon L. Peyton Jones (RTA, 2013)

Refinement types for Haskell. - Niki Vazou; Eric L. Seidel; Ranjit Jhala; Dimitrios Vytiniotis; Simon L. Peyton Jones (ICFP, 2014)

Ziria: wireless programming for hardware dummies. - Dimitrios Vytiniotis (FHPC@ICFP, 2014)

Poster: Ziria: language for rapid prototyping of wireless PHY. - Mahanth Gowda; Gordon Stewart 001; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Doug Patterson (MobiCom, 2014)

Consolidation of queries with user-defined functions. - Marcelo Sousa; Isil Dillig; Dimitrios Vytiniotis; Thomas Dillig; Christos Gkantsidis (PLDI, 2014)

Closed type families with overlapping equations. - Richard A. Eisenberg; Dimitrios Vytiniotis; Simon L. Peyton Jones; Stephanie Weirich (POPL, 2014)

Modular, higher-order cardinality analysis in theory and practice. - Ilya Sergey; Dimitrios Vytiniotis; Simon L. Peyton Jones (POPL, 2014)

Demo: 802.11 a/g PHY implementation in ziria, domain-specific language for wireless programming. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis (SRIF@SIGCOMM, 2014)

Ziria: language for rapid prototyping of wireless PHY. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Doug Patterson (SIGCOMM, 2014)

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). - James Cheney; Torsten Grust; Dimitrios Vytiniotis (Dagstuhl Reports, 2014)

Ziria: A DSL for Wireless Systems Programming. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis; Cristina Luengo Agullo (ASPLOS, 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 001; Michael Isard (HotOS, 2015)

HLIO: mixing static and dynamic typing for information-flow control in Haskell. - Pablo Buiras; Dimitrios Vytiniotis; Alejandro Russo (ICFP, 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 (ICFP, 2015)

Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY. - Gordon Stewart 001; Mahanth Gowda; Geoffrey Mainland; Bozidar Radunovic; Dimitrios Vytiniotis (MobiCom, 2015)

Diagnosing type errors with class. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (PLDI, 2015)

A Reflection on Types. - Simon Peyton Jones; Stephanie Weirich; Richard A. Eisenberg; Dimitrios Vytiniotis (A List of Successes That Can Change the World, 2016)

Measuring Neural Net Robustness with Constraints. - Osbert Bastani; Yani Ioannou; Leonidas Lampropoulos; Dimitrios Vytiniotis; Aditya V. Nori; Antonio Criminisi (NIPS, 2016)

Testing noninterference, quickly. - Catalin Hritcu; Leonidas Lampropoulos; Antal Spector-Zabusky; Arthur Azevedo de Amorim; Maxime Dénès; John Hughes 001; Benjamin C. Pierce; Dimitrios Vytiniotis (J. Funct. Program., 2016)

Destination-passing style for efficient memory management. - Amir Shaikhha; Andrew W. Fitzgibbon; Simon Peyton Jones; Dimitrios Vytiniotis (FHPC@ICFP, 2017)

Simple, fast, and safe manual memory management. - Piyus Kedia; Manuel Costa; Matthew J. Parkinson; Kapil Vaswani; Dimitrios Vytiniotis; Aaron Blankstein (PLDI, 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)

Modular, higher order cardinality analysis in theory and practice. - Ilya Sergey; Dimitrios Vytiniotis; Simon L. Peyton Jones; Joachim Breitner (J. Funct. Program., 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)

SHErrLoc: A Static Holistic Error Locator. - Danfeng Zhang; Andrew C. Myers; Dimitrios Vytiniotis; Simon L. Peyton Jones (ACM Trans. Program. Lang. Syst., 2017)

Guarded impredicative polymorphism. - Alejandro Serrano 001; Jurriaan Hage; Dimitrios Vytiniotis; Simon Peyton Jones (PLDI, 2018)

Efficient Differentiable Programming in a Functional Array-Processing Language. - Amir Shaikhha; Andrew W. Fitzgibbon; Dimitrios Vytiniotis; Simon Peyton Jones; Christoph Koch 001 (CoRR, 2018)

Efficient differentiable programming in a functional array-processing language. - Amir Shaikhha; Andrew W. Fitzgibbon; Dimitrios Vytiniotis; Simon Peyton Jones (Proc. ACM Program. Lang., 2019)

Declarative abstractions for tensor program partitioning. - Dimitrios Vytiniotis (PPDP, 2020)

A quick look at impredicativity. - Alejandro Serrano 001; Jurriaan Hage; Simon Peyton Jones; Dimitrios Vytiniotis (Proc. ACM Program. Lang., 2020)

Gradient Forward-Propagation for Large-Scale Temporal Video Modelling. - Mateusz Malinowski; Dimitrios Vytiniotis; Grzegorz Swirszcz; Viorica Patraucean; João Carreira 001 (CVPR, 2021)

Memory-efficient array redistribution through portable collective communication. - Norman A. Rink; Adam Paszke; Dimitrios Vytiniotis; Georg Stefan Schmid (CoRR, 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)

Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming. - Adam Paszke; Daniel D. Johnson 001; David Duvenaud; Dimitrios Vytiniotis; Alexey Radul; Matthew J. Johnson 002; Jonathan Ragan-Kelley; Dougal Maclaurin (Proc. ACM Program. Lang., 2021)

Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. - Ningning Xie; Tamara Norman; Dominik Grewe; Dimitrios Vytiniotis (MLSys, 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)

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)

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; et al. (CoRR, 2024)

PartIR: Composing SPMD Partitioning Strategies for Machine Learning. - 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; et al. (ASPLOS (1), 2025)

Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities. - Gheorghe Comanici; Eric Bieber; Mike Schaekermann; Ice Pasupat; Noveen Sachdeva; Inderjit S. Dhillon; Marcel Blistein; Ori Ram; Dan Zhang; Evan Rosen; Luke Marris; Sam Petulla; et al. (CoRR, 2025)

TOAST: Fast and scalable auto-partitioning based on principled static analysis. - Sami Alabed; Dominik Grewe; Norman Alexander Rink; Masha Samsikova; Timur Sitdikov; Agnieszka Swietlik; Dimitrios Vytiniotis; Daniel Belov (CoRR, 2025)