Jérôme Siméon

74 papers A* 16A 5C 1Misc 3Journal 16Unranked 30

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