Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Dimitrios
    Last name: Vytiniotis
    DBLP: 00/6362
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 46 of 46  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones, Joachim Breitner.
    Modular, higher order cardinality analysis in theory and practice.
    J. Funct. Program. 2017, Volume 27 (0) 2017
    Conference paper
    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, Volume 0 (0) 2017
    Conference paper
    Piyus Kedia, Manuel Costa, Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein.
    Simple, fast, and safe manual memory management.
    Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017 2017 (0) 2017
    Conference paper
    Simon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis.
    A Reflection on Types.
    A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday 2016 (0) 2016
    Conference paper
    Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi.
    Measuring Neural Net Robustness with Constraints.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    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. 2016, Volume 26 (0) 2016
    Conference paper
    Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V. Nori, Antonio Criminisi.
    Measuring Neural Net Robustness with Constraints.
    Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain 2016 (0) 2016
    Conference paper
    Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, G. Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard.
    Broom: Sweeping Out Garbage Collection from Big Data Systems.
    15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 2015 (0) 5 / 2015
    Conference paper
    Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Cristina Luengo Agullo.
    Ziria: A DSL for Wireless Systems Programming.
    Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015 2015 (0) 2015
    Conference paper
    Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones.
    Diagnosing type errors with class.
    Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 2015 (0) 2015
    Conference paper
    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.
    Proceedings of the 21st Annual International Conference on Mobile Computing and Networking, MobiCom 2015, Paris, France, September 7-11, 2015 2015 (0) 2015
    Conference paper
    Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones.
    GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
    Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 2015 (0) 2015
    Conference paper
    Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo.
    HLIO: mixing static and dynamic typing for information-flow control in Haskell.
    Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 2015 (0) 2015
    Conference paper
    Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich.
    Closed type families with overlapping equations.
    The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 2014 (0) 2014
    Conference paper
    Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones.
    Modular, higher-order cardinality analysis in theory and practice.
    The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 2014 (0) 2014
    Conference paper
    Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis.
    Consolidation of queries with user-defined functions.
    ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014 2014 (0) 2014
    Conference paper
    Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson.
    Ziria: language for rapid prototyping of wireless PHY.
    ACM SIGCOMM 2014 Conference, SIGCOMM'14, Chicago, IL, USA, August 17-22, 2014 2014 (0) 2014
    Conference paper
    Mahanth Gowda, Gordon Stewart, Geoffrey Mainland, Bozidar Radunovic, Dimitrios Vytiniotis, Doug Patterson.
    Poster: Ziria: language for rapid prototyping of wireless PHY.
    The 20th Annual International Conference on Mobile Computing and Networking, MobiCom'14, Maui, HI, USA, September 7-11, 2014 2014 (0) 2014
    Journal article
    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, Volume 0 (0) 2014
    Conference paper
    Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones.
    Refinement types for Haskell.
    Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 2014 (0) 2014
    Conference paper
    James Cheney, Torsten Grust, Dimitrios Vytiniotis.
    Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511).
    Dagstuhl Reports 2014, Volume 4 (0) 2014
    Conference paper
    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.
    Proceedings of the 2014 ACM workshop on Software radio implementation forum, SRIF '14, Chicago, Illinois, USA, August 18, 2014 2014 (0) 2014
    Conference paper
    Dimitrios Vytiniotis.
    Ziria: wireless programming for hardware dummies.
    Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014 2014 (0) 2014
    Conference paper
    Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén.
    HALO: haskell to logic through denotational semantics.
    The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 2013 (0) 2013
    Conference paper
    Dimitrios Vytiniotis, Simon L. Peyton Jones.
    Evidence Normalization in System FC (Invited Talk).
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Conference paper
    Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos.
    Testing noninterference, quickly.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013 2013 (0) 2013
    Conference paper
    Christos Gkantsidis, Dimitrios Vytiniotis, Orion Hodson, Dushyanth Narayanan, Florin Dinu, Antony I. T. Rowstron.
    Rhea: Automatic Filtering for Unstructured Cloud Storage.
    Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013 2013 (0) 2013
    Conference paper
    Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães.
    Giving Haskell a promotion.
    Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, Philadelphia, PA, USA, Saturday, January 28, 2012 2012 (0) 2012
    Conference paper
    Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt.
    Stop When You Are Almost-Full - Adventures in Constructive Termination.
    Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães.
    Equality proofs and deferred type errors: a compiler pearl.
    ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012 2012 (0) 2012
    Conference paper
    Andrew J. Kennedy, Dimitrios Vytiniotis.
    Every bit counts: The binary representation of typed data and programs.
    J. Funct. Program. 2012, Volume 22 (0) 2012
    Conference paper
    Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic.
    Generative type abstraction and type-level computation.
    Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 2011 (0) 2011
    Conference paper
    Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann.
    OutsideIn(X) Modular type inference with local assumptions.
    J. Funct. Program. 2011, Volume 21 (0) 2011
    Conference paper
    Max Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis.
    Termination combinators forever.
    Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011 2011 (0) 2011
    Conference paper
    Dimitrios Vytiniotis, Andrew Kennedy.
    Functional pearl: every bit counts.
    Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 2010 (0) 2010
    Conference paper
    Dimitrios Vytiniotis, Stephanie Weirich.
    Parametricity, type equality, and higher-order polymorphism.
    J. Funct. Program. 2010, Volume 20 (0) 2010
    Conference paper
    Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers.
    Let should not be generalized.
    Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 2010 (0) 2010
    Conference paper
    Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis.
    Complete and decidable type inference for GADTs.
    Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009 2009 (0) 2009
    Conference paper
    Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones.
    FPH: first-class polymorphism for Haskell.
    Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008 2008 (0) 2008
    Conference paper
    Dimitrios Vytiniotis, Stephanie Weirich.
    Free Theorems and Runtime Type Representations.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 173 (0) 2007
    Conference paper
    Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields.
    Practical type inference for arbitrary-rank types.
    J. Funct. Program. 2007, Volume 17 (0) 2007
    Conference paper
    Nate Foster, Dimitrios Vytiniotis.
    A Theory of Featherweight Java in Isabelle/HOL.
    The Archive of Formal Proofs 2006, Volume 2006 (0) 2006
    Conference paper
    Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn.
    Simple unification-based type inference for GADTs.
    Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 2006 (0) 2006
    Conference paper
    Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones.
    Boxy types: inference for higher-rank types and impredicativity.
    Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 2006 (0) 2006
    Conference paper
    Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich.
    An open and shut typecase.
    Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005 2005 (0) 2005
    Conference paper
    Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, Nate Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic.
    Mechanized Metatheory for the Masses: The PoplMark Challenge.
    Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings 2005 (0) 2005
    Show item 1 to 46 of 46  

    Your query returned 46 matches in the database.