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 25 of 48  
    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
    Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones.
    SHErrLoc: A Static Holistic Error Locator.
    ACM Trans. Program. Lang. Syst. 2017, Volume 39 (0) 2017
    Conference paper
    Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind.
    Project snowflake: non-blocking safe manual memory management in .NET.
    PACMPL 2017, Volume 1 (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
    Show item 1 to 25 of 48  

    Your query returned 48 matches in the database.