Dan Suciu Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 Voice: +1-206-685-1934 Fax: +1-206-543-2969 [email protected]

Dan Suciu is a Microsoft Endowed Professor in the Paul G. Allen School of Computer Science and Engineering at the University of Washington. Suciu is conducting research in data management, on topics such as query optimization, probabilistic data, data pricing, parallel data processing, data security.

Shumo Chu, Daniel Li, Remy Wang, Chenglong Wang, Alvin Cheung, Dan Suciu, Demonstration of the Cosette Automated SQL Prover In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017, pp. 1591--1594, 2017

Jim Brinkley, Shobhit Mathur, Chris Re, Dan Suciu, A Framework for XML-based Integration of Data, Visualization and Analysis in a Biomedical Domain In XSYM, September, 2005

Managing XML and: Semistructured Data: Lecture 11: Schema - DTD s

Slides for MSR Russian Summer School on Concurrency August 2012. This page is provided for convenience to download slides used by presenters. For information on the summer school, see the main summer-school page. Concurrent Programming is Easy, Bertrand Meyer all Model-Based Design and Analysis of Concurrent and Adaptive Software, Jeff Kramer part1 part2

Repopulating Street Scenes Yifan Wang1 Andrew Liu2 Richard Tucker2 Jiajun Wu3 Brian L. Curless1,2 Steven M. Seitz1,2 Noah Snavely2 1University of Washington 2Google Research 3Stanford University Abstract We present a framework for automatically reconfiguring images of street scenes by populating, depopulating, or re-

Dec 4, 2024 · [C21] YizhongWang, Kai Liu, Jing Liu, Wei He, Yajuan Lyu, Hua Wu, Sujian Li, and Haifeng Wang. “Multi-Passage Machine Reading Comprehension with Cross-Passage Answer Verification”. In: Proceedings of ACL. 2018. [C22]Shuming Ma, Xu Sun, YizhongWang, and Junyang Lin. “Bag-of-Words as Target for Neural Ma- chine Translation”.

Joseph Devietti ƒ, Benjamin P. Wood , Karin Strauss , Luis Ceze ƒ, Dan Grossman , Shaz Qadeer ƒUniversity of Washington, Microsoft Research fdevietti,bpw,luisceze,[email protected], fkstrauss,[email protected] Abstract Data-race freedom is a valuable safety property for mul-tithreaded programs that …

Demian Raven Dan Suciu Abstract We describe a toolkit for highly scalable XML data processing, consisting of two components. The rst is a collection of stand-alone XML tools, s.a. sort-ing, aggregation, nesting, and unnesting, that can be chained to express more complex restructurings. The second is a highly scalable XPath processor for XML