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 44  
    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
    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
    Journal article
    Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya 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 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
    Show item 1 to 25 of 44  

    Your query returned 44 matches in the database.