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
Alex’s Vision in Functional Quantum Matter
D. Pavuna
Condensed Matter. 2024-06-01. Vol. 9, num. 2, p. 23. DOI : 10.3390/condmat9020023. Electrodeposition of polyaniline on reduced graphene oxide/cotton yarn with tunable electrochemical performance for flexible textile supercapacitors
L. Li; D. Du; C. He; K. Han; W. Xu et al.
Polymer. 2024-06-21. Vol. 306, p. 127200. DOI : 10.1016/j.polymer.2024.127200. Direct high-temperature growth of GaN on Si using trimethylaluminum preflow enabling vertically-conducting heterostructures
A. Floriduz; U. Choi; E. Matioli
Japanese Journal Of Applied Physics. 2024-06-03. Vol. 63, num. 6, p. 060904. DOI : 10.35848/1347-4065/ad5480. Anisotropic Adaptive Finite Elements for a p-Laplacian Problem
P. Passelli; M. Picasso
Computational Methods In Applied Mathematics. 2024-06-26. DOI : 10.1515/cmam-2022-0205. Nanocluster Aerosols from Ozone-Human Chemistry Are Dominated by Squalene-Ozone Reactions
S. Yang; D. Licina
Environmental Science & Technology Letters. 2024-06-21. DOI : 10.1021/acs.estlett.4c00289. Simulations of primary and secondary ice production during an Arctic mixed-phase cloud case from the Ny-Ålesund Aerosol Cloud Experiment (NASCENT) campaign
B. Schafer; R. O. David; P. Georgakaki; J. T. Pasquier; G. Sotiropoulou et al.
Atmospheric Chemistry And Physics. 2024-06-24. Vol. 24, num. 12, p. 7179-7202. DOI : 10.5194/acp-24-7179-2024.