Jérôme Siméon

According to our database, Jérôme Siméon authored at least 66 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Translating canonical SQL to imperative code in Coq.

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2022

2021

Ergo - a programming language for Smart Legal Contracts.

Niall Roche, Walter Hernández, Eason Chen, Jérôme Siméon, Dan Selman

CoRR, 2021

2018

Reactive chatbot programming.

Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

2017

Prototyping a query compiler using Coq (experience report).

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2017

I Can Parse You: Grammars for Dialogs.

Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

META: Middleware for Events, Transactions, and Analytics.

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

IBM J. Res. Dev., 2016

Virtual lightweight snapshots for consistent analytics in NoSQL stores.

Fernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire

Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

A Branding Strategy for Business Types.

Avraham Shinnar, Jérôme Siméon

Proceedings of the A List of Successes That Can Change the World, 2016

2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).

Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Dagstuhl Artifacts Ser., 2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.

Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Event Processing over a Distributed JSON Store: Design and Performance.

Miki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel

Proceedings of the Web Information Systems Engineering - WISE 2014, 2014

2013

Static and dynamic semantics of NoSQL languages.

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Entity matching for semistructured data in the Cloud.

Marcus Paradies, Susan Malaika, Jérôme Siméon, Shahan Khatchadourian, Kai-Uwe Sattler

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

ChuQL: processing XML with XQuery using Hadoop.

Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

Having a ChuQL at XML on the Cloud.

Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010

Web data processing on the cloud.

Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2008

Commutativity analysis for XML updates.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

An Algebraic Approach to View Maintenance for XQuery.

J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard

Proceedings of the PLAN-X 2008, 2008

2007

DXQ: a distributed XQuery scripting language.

Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon

Proceedings of the 4th International Workshop on XQuery Implementation, 2007

Highly distributed XQuery with DXQ.

Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away.

Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen

Proceedings of the PLAN-X 2007, 2007

Commutativity Analysis in XML Update Languages.

Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Theory, 2007

Put a Tree Pattern in Your Algebra.

Philippe Michiels, George A. Mihaila, Jérôme Siméon

Proceedings of the 23rd International Conference on Data Engineering, 2007

XQuery Streaming à la Carte.

Mary F. Fernández, Philippe Michiels, Jérôme Siméon, Michael Stark

Proceedings of the 23rd International Conference on Data Engineering, 2007

A Better Semantics for XQuery with Side-Effects.

Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

A Complete and Efficient Algebraic Compiler for XQuery.

Christopher Ré, Jérôme Siméon, Mary F. Fernández

Proceedings of the 22nd International Conference on Data Engineering, 2006

XQuery!: An XML Query Language with Side Effects.

Giorgio Ghelli, Christopher Ré, Jérôme Siméon

Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

06472 Abstracts Collection -- XQuery Implementation Paradigms.

Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen

Proceedings of the XQuery Implementation Paradigms, 19.11. - 22.11.2006, 2006

06472 Executive Summary -- XQuery Implementation Paradigms.

Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen

Proceedings of the XQuery Implementation Paradigms, 19.11. - 22.11.2006, 2006

2005

Compiling XSLT 2.0 into XQuery 1.0.

Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard

Proceedings of the 14th international conference on World Wide Web, 2005

Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions.

Mary F. Fernández, Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen

Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

2004

Building an Extensible XQuery Engine: Experiences with Galax (Extended Abstract).

Mary F. Fernández, Jérôme Siméon

Proceedings of the Database and XML Technologies, 2004

The Simplest XML Storage Manager Ever.

Avinash Vyas, Mary F. Fernández, Jérôme Siméon

Proceedings of the First International Workshop on XQuery Implementation, 2004

XQuery at your web service.

Nicola Onose, Jérôme Siméon

Proceedings of the 13th international conference on World Wide Web, 2004

Yoo-Hoo! Building a Presence Service with XQuery and WSDL.

Mary F. Fernández, Nicola Onose, Jérôme Siméon

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

2003

The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics.

Peter F. Patel-Schneider, Jérôme Siméon

IEEE Trans. Knowl. Data Eng., 2003

Integrity constraints for XML.

Wenfei Fan, Jérôme Siméon

J. Comput. Syst. Sci., 2003

Projecting XML Documents.

Amélie Marian, Jérôme Siméon

Proceedings of 29th International Conference on Very Large Data Bases, 2003

Implementing Xquery 1.0: The Galax Experience.

Mary F. Fernández, Jérôme Siméon, Byron Choi, Amélie Marian, Gargi Sur

Proceedings of 29th International Conference on Very Large Data Bases, 2003

The essence of XML.

Jérôme Siméon, Philip Wadler

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Bridging the XML Relational Divide with LegoDB.

Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon

Proceedings of the 19th International Conference on Data Engineering, 2003

Growing XQuery.

Mary F. Fernández, Jérôme Siméon

Proceedings of the ECOOP 2003, 2003

2002

A unified constraint model for XML.

Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon

Comput. Networks, 2002

The Yin/Yang web: XML syntax and RDF semantics.

Peter F. Patel-Schneider, Jérôme Siméon

Proceedings of the Eleventh International World Wide Web Conference, 2002

LegoDB: Customizing Relational Storage for XML Documents.

Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon

Proceedings of 28th International Conference on Very Large Data Bases, 2002

StatiX: making XML count.

Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon

Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, 2002

Building the Semantic Web on XML.

Peter F. Patel-Schneider, Jérôme Siméon

Proceedings of the Semantic Web, 2002

From XML Schema to Relations: A Cost-Based Approach to XML Storage.

Philip Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon

Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002

The Essence of XML (Preliminary Version).

Jérôme Siméon, Philip Wadler

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

Adaptive XML Shredding: Architecture, Implementation, and Challenges.

Juliana Freire, Jérôme Siméon

Proceedings of the Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web, 2002

2001

Constraints for Semi-structured Data and XML.

Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein

SIGMOD Rec., 2001

Workflow Mediation using VorteXML.

Vassilis Christophides, Richard Hull, Akhil Kumar, Jérôme Siméon

IEEE Data Eng. Bull., 2001

Subsumption for XML types.

Gabriel M. Kuper, Jérôme Siméon

Proceedings of the Database Theory, 2001

A Semi-monad for Semi-structured Data.

Mary F. Fernández, Jérôme Siméon, Philip Wadler

Proceedings of the Database Theory, 2001

2000

Smart supply web: an application of web-based data and workflow mediation.

Richard Hull, Akhil Kumar, Jérôme Siméon

Proceedings of the Workshop on Technologies for E-Services, 2000

On Wrapping Query Languages and Efficient XML Integration.

Vassilis Christophides, Sophie Cluet, Jérôme Siméon

Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

An Algebra for XML Query.

Mary F. Fernández, Jérôme Siméon, Philip Wadler

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Tools for Data Translation and Integration.

Serge Abiteboul, Sophie Cluet, Tova Milo, Pini Mogilevsky, Jérôme Siméon, Sagit Zohar

IEEE Data Eng. Bull., 1999

1998

Optimizing Generalized Path Expressions Using Full Text Indexes.

Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon

Netw. Inf. Syst. J., 1998

Using YAT to Build a Web Server.

Jérôme Siméon, Sophie Cluet

Proceedings of the World Wide Web and Databases, 1998

Your Mediators Need Data Conversion!

Sophie Cluet, Claude Delobel, Jérôme Siméon, Katarzyna Smaga

Proceedings of the SIGMOD 1998, 1998

1997

Querying Documents in Object Databases.

Serge Abiteboul, Sophie Cluet, Vassilis Christophides, Tova Milo, Guido Moerkotte, Jérôme Siméon

Int. J. Digit. Libr., 1997