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 10 of 43  
    Select a publication
    Show Title Venue Rating Date
    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
    Show item 1 to 10 of 43  

    Your query returned 43 matches in the database.