We create declarative, easy-to-use languages for specifying and solving coordination problems as they increasingly occur in social Web applications. We integrate these languages with database languages such as SQL to support the generalization of database transactions to selectively give up isolation to allow for coordination among database applications and users.
This is a joint project with Cornell University.
More information can be found at http://www.cs.cornell.edu/bigreddata/youtopia/.
Publications
Comment une situation d’investigation policière fait évoluer les conceptions d’élèves de troisième sur l’ADN
R. Saavedra; P. Marzin-janvier; I. Girault
RDST. 2013. num. 7, p. 77-106. DOI : 10.4000/rdst.698. TSLAM: a tag-based object-centered monocular navigation system for augmented manual woodworking.
S. Andrea; H-B. Yang; G. Julien; W. Yves
Construction Robotics. 2024-04-16. Vol. 8, num. 4. DOI : 10.1007/s41693-024-00118-w. Water weakening and the compressive brittle strength of carbonates: Influence of fracture toughness and static friction
C. Noël; B. Fryer; P. Baud; M. Violay
International Journal of Rock Mechanics and Mining Sciences. 2024. Vol. 177, p. 105736. DOI : 10.1016/j.ijrmms.2024.105736. Integration of the Pilatus3 detector for soft X-ray diagnostics on TCV
S. Masillo
25th Topical Conference on High Temperature Plasma Diagnostics HTPD 2024, Asheville, North Carolina, 21 – 25 April 2024. An extension of the stochastic sewing lemma and applications to fractional stochastic calculus
T. Matsuda; N. Perkowski
Forum Of Mathematics Sigma. 2024-04-11. Vol. 12, p. e52. DOI : 10.1017/fms.2024.32. Capsizing due to friction-induced twist in the failure of stopper knots
P. Johanns; P. M. Reis
Extreme Mechanics Letters. 2024-02-19. Vol. 68, p. 102134. DOI : 10.1016/j.eml.2024.102134. A CTCF-dependent mechanism underlies the Hox timer relation to a segmented body plan
H. Rekaik; D. Duboule
Current Opinion In Genetics & Development. 2024-04-01. Vol. 85, p. 102160. DOI : 10.1016/j.gde.2024.102160. SOMOphilic alkyne vs radical-polar crossover approaches: The full story of the azido-alkynylation of alkenes
J. A. Borrel; J. Waser
Beilstein Journal Of Organic Chemistry. 2024-04-03. Vol. 20, p. 701-713. DOI : 10.3762/bjoc.20.64.