Dimitrios Vytiniotis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
12
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | 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, Michael Schaarschmidt, Timur Sitdikov, Agnieszka Swietlik, Dimitrios Vytiniotis, Joel Wee |
| 2021 | CVPR | Gradient Forward-Propagation for Large-Scale Temporal Video Modelling. | Mateusz Malinowski, Dimitrios Vytiniotis, Grzegorz Swirszcz, Viorica Patraucean, Joo Carreira |
| 2020 | PPDP | Declarative abstractions for tensor program partitioning. | Dimitrios Vytiniotis |
| 2018 | PLDI | Guarded impredicative polymorphism. | Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
| 2017 | ICFP | Destination-passing style for efficient memory management. | Amir Shaikhha, Andrew W. Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis |
| 2017 | PLDI | Simple, fast, and safe manual memory management. | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2015 | ASPLOS | Ziria: A DSL for Wireless Systems Programming. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo |
| 2015 | HotOS | 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 |
| 2015 | ICFP | HLIO: mixing static and dynamic typing for information-flow control in Haskell. | Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
| 2015 | ICFP | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | MOBICOM | 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 |
| 2015 | PLDI | Diagnosing type errors with class. | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | ICFP | Refinement types for Haskell. | Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | ICFP | Ziria: wireless programming for hardware dummies. | Dimitrios Vytiniotis |
| 2014 | MOBICOM | Poster: Ziria: language for rapid prototyping of wireless PHY. | Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2014 | PLDI | Consolidation of queries with user-defined functions. | Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis |
| 2014 | POPL | Closed type families with overlapping equations. | Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | POPL | Modular, higher-order cardinality analysis in theory and practice. | Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | SIGCOMM | 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 |
| 2014 | SIGCOMM | Ziria: language for rapid prototyping of wireless PHY. | Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
| 2013 | NSDI | Rhea: Automatic Filtering for Unstructured Cloud Storage. | Christos Gkantsidis, Dimitrios Vytiniotis, Orion Hodson, Dushyanth Narayanan, Florin Dinu, Antony I. T. Rowstron |
| 2013 | POPL | HALO: haskell to logic through denotational semantics. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn |
| 2012 | ICFP | Equality proofs and deferred type errors: a compiler pearl. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Jos Pedro Magalhes |
| 2012 | ITP | Stop When You Are Almost-Full - Adventures in Constructive Termination. | Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt |
| 2011 | HASKELL | Termination combinators forever. | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
| 2011 | POPL | Generative type abstraction and type-level computation. | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
| 2010 | ICFP | Functional pearl: every bit counts. | Dimitrios Vytiniotis, Andrew J. Kennedy |
| 2009 | ICFP | Complete and decidable type inference for GADTs. | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2008 | ICFP | FPH: first-class polymorphism for Haskell. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2006 | ICFP | Simple unification-based type inference for GADTs. | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | ICFP | Boxy types: inference for higher-rank types and impredicativity. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |