Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Jérôme
    Last name: Siméon
    DBLP: 15/4061
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 67  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon.
    Q*cert: A Platform for Implementing and Verifying Query Compilers.
    Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017 2017 (0) 2017
    Conference paper
    Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon.
    Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.
    Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017 2017 (0) 2017
    Conference paper
    Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri.
    I Can Parse You: Grammars for Dialogs.
    2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA 2017 (0) 2017
    Journal article
    Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon.
    Prototyping a query compiler using Coq (experience report).
    PACMPL 2017, Volume 1 (0) 2017
    Conference paper
    Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel.
    Generating chat bots from web API specifications.
    Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017 2017 (0) 2017
    Conference paper
    Avraham Shinnar, Jérôme Siméon.
    A Branding Strategy for Business 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
    Fernando Seabra Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire.
    Virtual lightweight snapshots for consistent analytics in NoSQL stores.
    32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016 2016 (0) 2016
    Conference paper
    Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang 0022.
    META: Middleware for Events, Transactions, and Analytics.
    IBM Journal of Research and Development 2016, Volume 60 (0) 2016
    Conference paper
    Avraham Shinnar, Jérôme Siméon, Martin Hirzel.
    A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
    29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic 2015 (0) 2015
    Journal article
    Avraham Shinnar, Jérôme Siméon, Martin Hirzel.
    A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).
    DARTS 2015, Volume 1 (0) 2015
    Show item 1 to 10 of 67  

    Your query returned 67 matches in the database.