Jérôme Siméon

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 12

Top Topics

Event Processing

Nested Relational

Database Language

Top Venues

SIGMOD Conference

Proc. ACM Program. Lang.

A List of Successes That Can Change the World

Publications

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Niall Roche, Walter Hernández, Eason Chen, Jérôme Siméon, Dan Selman
Ergo - a programming language for Smart Legal Contracts. CoRR (2021)
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Reactive chatbot programming. REBLS@SPLASH (2018)
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
I Can Parse You: Grammars for Dialogs. SNAPL (2017)
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. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Generating chat bots from web API specifications. Onward! (2017)
Avraham Shinnar, Jérôme Siméon
A Branding Strategy for Business Types. A List of Successes That Can Change the World (2016)
Fernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire
Virtual lightweight snapshots for consistent analytics in NoSQL stores. ICDE (2016)
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
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60 (2-3) (2016)
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP (2015)
Miki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel
Event Processing over a Distributed JSON Store: Design and Performance. WISE (2) (2014)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages. POPL (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages CoRR (2013)
Marcus Paradies, Susan Malaika, Jérôme Siméon, Shahan Khatchadourian, Kai-Uwe Sattler
Entity matching for semistructured data in the Cloud. SAC (2012)
Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon
ChuQL: processing XML with XQuery using Hadoop. CASCON (2011)
Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon
Having a ChuQL at XML on the Cloud. AMW (2011)
Shahan Khatchadourian, Mariano P. Consens, Jérôme Siméon
Web data processing on the cloud. CASCON (2010)
J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard
An Algebraic Approach to View Maintenance for XQuery. PLAN-X (2008)
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
XML query optimization in the presence of side effects. SIGMOD Conference (2008)
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
Commutativity analysis for XML updates. ACM Trans. Database Syst. 33 (4) (2008)
Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen
How to Recognise Different Kinds of Tree Patterns From Quite a Long Way Away. PLAN-X (2007)
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
DXQ: a distributed XQuery scripting language. XIME-P (2007)
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
A Better Semantics for XQuery with Side-Effects. DBPL (2007)
Mary F. Fernández, Philippe Michiels, Jérôme Siméon, Michael Stark
XQuery Streaming à la Carte. ICDE (2007)
Mary F. Fernández, Trevor Jim, Kristi Morton, Nicola Onose, Jérôme Siméon
Highly distributed XQuery with DXQ. SIGMOD Conference (2007)
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
Commutativity Analysis in XML Update Languages. ICDT (2007)
Philippe Michiels, George A. Mihaila, Jérôme Siméon
Put a Tree Pattern in Your Algebra. ICDE (2007)
Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen
06472 Abstracts Collection -- XQuery Implementation Paradigms. XQuery Implementation Paradigms (2006)
Giorgio Ghelli, Christopher Ré, Jérôme Siméon
XQuery!: An XML Query Language with Side Effects. EDBT Workshops (2006)
Christopher Ré, Jérôme Siméon, Mary F. Fernández
A Complete and Efficient Algebraic Compiler for XQuery. ICDE (2006)
Peter A. Boncz, Torsten Grust, Jérôme Siméon, Maurice van Keulen
06472 Executive Summary -- XQuery Implementation Paradigms. XQuery Implementation Paradigms (2006)
Mary F. Fernández, Jan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen
Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions. DEXA (2005)
Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard
Compiling XSLT 2.0 into XQuery 1.0. WWW (2005)
Mary F. Fernández, Jérôme Siméon
Building an Extensible XQuery Engine: Experiences with Galax (Extended Abstract). XSym (2004)
Avinash Vyas, Mary F. Fernández, Jérôme Siméon
The Simplest XML Storage Manager Ever. XIME-P (2004)
Nicola Onose, Jérôme Siméon
XQuery at your web service. WWW (2004)
Mary F. Fernández, Nicola Onose, Jérôme Siméon
Yoo-Hoo! Building a Presence Service with XQuery and WSDL. SIGMOD Conference (2004)
Wenfei Fan, Jérôme Siméon
Integrity constraints for XML. J. Comput. Syst. Sci. 66 (1) (2003)
Amélie Marian, Jérôme Siméon
Projecting XML Documents. VLDB (2003)
Peter F. Patel-Schneider, Jérôme Siméon
The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. 15 (4) (2003)
Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon
Bridging the XML Relational Divide with LegoDB. ICDE (2003)
Mary F. Fernández, Jérôme Siméon
Growing XQuery. ECOOP (2003)
Jérôme Siméon, Philip Wadler
The essence of XML. POPL (2003)
Mary F. Fernández, Jérôme Siméon, Byron Choi, Amélie Marian, Gargi Sur
Implementing Xquery 1.0: The Galax Experience. VLDB (2003)
Peter F. Patel-Schneider, Jérôme Siméon
The Yin/Yang web: XML syntax and RDF semantics. WWW (2002)
Jérôme Siméon, Philip Wadler
The Essence of XML (Preliminary Version). FLOPS (2002)
Philip Bohannon, Juliana Freire, Prasan Roy, Jérôme Siméon
From XML Schema to Relations: A Cost-Based Approach to XML Storage. ICDE (2002)
Peter F. Patel-Schneider, Jérôme Siméon
Building the Semantic Web on XML. ISWC (2002)
Philip Bohannon, Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon
LegoDB: Customizing Relational Storage for XML Documents. VLDB (2002)
Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon
A unified constraint model for XML. Comput. Networks 39 (5) (2002)
Juliana Freire, Jayant R. Haritsa, Maya Ramanath, Prasan Roy, Jérôme Siméon
StatiX: making XML count. SIGMOD Conference (2002)
Juliana Freire, Jérôme Siméon
Adaptive XML Shredding: Architecture, Implementation, and Challenges. EEXTT (2002)
Gabriel M. Kuper, Jérôme Siméon
Subsumption for XML types. ICDT (2001)
Vassilis Christophides, Richard Hull, Akhil Kumar, Jérôme Siméon
Workflow Mediation using VorteXML. IEEE Data Eng. Bull. 24 (1) (2001)
Peter Buneman, Wenfei Fan, Jérôme Siméon, Scott Weinstein
Constraints for Semi-structured Data and XML. SIGMOD Rec. 30 (1) (2001)
Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon
A unified constraint model for XML. WWW (2001)
Mary F. Fernández, Jérôme Siméon, Philip Wadler
A Semi-monad for Semi-structured Data. ICDT (2001)
Richard Hull, Akhil Kumar, Jérôme Siméon
Smart supply web: an application of web-based data and workflow mediation. TES (2000)
Mary F. Fernández, Jérôme Siméon, Philip Wadler
An Algebra for XML Query. FSTTCS (2000)
Wenfei Fan, Jérôme Siméon
Integrity Constraints for XML. PODS (2000)
Vassilis Christophides, Sophie Cluet, Jérôme Siméon
On Wrapping Query Languages and Efficient XML Integration. SIGMOD Conference (2000)
Serge Abiteboul, Sophie Cluet, Tova Milo, Pini Mogilevsky, Jérôme Siméon, Sagit Zohar
Tools for Data Translation and Integration. IEEE Data Eng. Bull. 22 (1) (1999)
Jérôme Siméon, Sophie Cluet
Using YAT to Build a Web Server. WebDB (1998)
Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon
Optimizing Generalized Path Expressions Using Full Text Indexes. Netw. Inf. Syst. J. 1 (2-3) (1998)
Sophie Cluet, Claude Delobel, Jérôme Siméon, Katarzyna Smaga
Your Mediators Need Data Conversion! SIGMOD Conference (1998)
Vassilis Christophides, Sophie Cluet, Guido Moerkotte, Jérôme Siméon
Optimizing Generalized Path Expressions Using Full Text Indexes. BDA (1997)
Serge Abiteboul, Sophie Cluet, Vassilis Christophides, Tova Milo, Guido Moerkotte, Jérôme Siméon
Querying Documents in Object Databases. Int. J. Digit. Libr. 1 (1) (1997)