default search action
BibTeX records: Shumo Chu
@article{DBLP:journals/iacr/ChuGINT23,
author = {Shumo Chu and
Brandon H. Gomes and
Francisco Hernandez Iglesias and
Todd Norton and
Duncan Tebbs},
title = {UniPlonk: Plonk with Universal Verifier},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {869},
year = {2023},
url = {https://eprint.iacr.org/2023/869},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChuGINT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/QinJS0ZC22,
author = {Lianke Qin and
Rajesh Jayaram and
Elaine Shi and
Zhao Song and
Danyang Zhuo and
Shumo Chu},
title = {Differentially Oblivious Relational Database Operators},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {4},
pages = {842--855},
year = {2022},
url = {https://www.vldb.org/pvldb/vol16/p842-qin.pdf},
doi = {10.14778/3574245.3574267},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/QinJS0ZC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-05176,
author = {Lianke Qin and
Rajesh Jayaram and
Elaine Shi and
Zhao Song and
Danyang Zhuo and
Shumo Chu},
title = {Adore: Differentially Oblivious Relational Database Operators},
journal = {CoRR},
volume = {abs/2212.05176},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.05176},
doi = {10.48550/ARXIV.2212.05176},
eprinttype = {arXiv},
eprint = {2212.05176},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-05176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/citc/ChuZSC21,
author = {Shumo Chu and
Danyang Zhuo and
Elaine Shi and
T.{-}H. Hubert Chan},
editor = {Stefano Tessaro},
title = {Differentially Oblivious Database Joins: Overcoming the Worst-Case
Curse of Fully Oblivious Algorithms},
booktitle = {2nd Conference on Information-Theoretic Cryptography, {ITC} 2021,
July 23-26, 2021, Virtual Conference},
series = {LIPIcs},
volume = {199},
pages = {19:1--19:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITC.2021.19},
doi = {10.4230/LIPICS.ITC.2021.19},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/citc/ChuZSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/EsginKSSZSC21,
author = {Muhammed F. Esgin and
Veronika Kuchta and
Amin Sakzad and
Ron Steinfeld and
Zhenfei Zhang and
Shifeng Sun and
Shumo Chu},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {Practical Post-quantum Few-Time Verifiable Random Function with Applications
to Algorand},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12675},
pages = {560--578},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64331-0\_29},
doi = {10.1007/978-3-662-64331-0\_29},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/EsginKSSZSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/FengQZDC21,
author = {Boyuan Feng and
Lianke Qin and
Zhenfei Zhang and
Yufei Ding and
Shumo Chu},
title = {{ZEN:} Efficient Zero-Knowledge Proofs for Neural Networks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {87},
year = {2021},
url = {https://eprint.iacr.org/2021/087},
timestamp = {Tue, 13 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/FengQZDC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChuZSC21,
author = {Shumo Chu and
Danyang Zhuo and
Elaine Shi and
T.{-}H. Hubert Chan},
title = {Differentially Oblivious Database Joins: Overcoming the Worst-Case
Curse of Fully Oblivious Algorithms},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {593},
year = {2021},
url = {https://eprint.iacr.org/2021/593},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChuZSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChuXZ21,
author = {Shumo Chu and
Yu Xia and
Zhenfei Zhang},
title = {Manta: a Plug and Play Private DeFi Stack},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {743},
year = {2021},
url = {https://eprint.iacr.org/2021/743},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/ChuXZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/EsginKSSZSC20,
author = {Muhammed F. Esgin and
Veronika Kuchta and
Amin Sakzad and
Ron Steinfeld and
Zhenfei Zhang and
Shifeng Sun and
Shumo Chu},
title = {Practical Post-Quantum Few-Time Verifiable Random Function with Applications
to Algorand},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1222},
year = {2020},
url = {https://eprint.iacr.org/2020/1222},
timestamp = {Wed, 25 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/EsginKSSZSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChuXZ20,
author = {Shumo Chu and
Qiudong Xia and
Zhenfei Zhang},
title = {Manta: Privacy Preserving Decentralized Exchange},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1607},
year = {2020},
url = {https://eprint.iacr.org/2020/1607},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/ChuXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Chu19,
author = {Shumo Chu},
title = {Automated Reasoning of Database Queries},
school = {University of Washington, {USA}},
year = {2019},
url = {https://hdl.handle.net/1773/44777},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Chu19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ChuMRCS18,
author = {Shumo Chu and
Brendan Murphy and
Jared Roesch and
Alvin Cheung and
Dan Suciu},
title = {Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences
of {SQL} Queries},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {11},
pages = {1482--1495},
year = {2018},
url = {http://www.vldb.org/pvldb/vol11/p1482-chu.pdf},
doi = {10.14778/3236187.3236200},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/ChuMRCS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02229,
author = {Shumo Chu and
Alvin Cheung and
Dan Suciu},
title = {Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences
of {SQL} Queries},
journal = {CoRR},
volume = {abs/1802.02229},
year = {2018},
url = {http://arxiv.org/abs/1802.02229},
eprinttype = {arXiv},
eprint = {1802.02229},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02937,
author = {Shumo Chu and
Sophia Wang},
title = {The Curses of Blockchain Decentralization},
journal = {CoRR},
volume = {abs/1810.02937},
year = {2018},
url = {http://arxiv.org/abs/1810.02937},
eprinttype = {arXiv},
eprint = {1810.02937},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/ChuWWC17,
author = {Shumo Chu and
Chenglong Wang and
Konstantin Weitz and
Alvin Cheung},
title = {Cosette: An Automated Prover for {SQL}},
booktitle = {8th Biennial Conference on Innovative Data Systems Research, {CIDR}
2017, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings},
publisher = {www.cidrdb.org},
year = {2017},
url = {http://cidrdb.org/cidr2017/papers/p51-chu-cidr17.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cidr/ChuWWC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChuWCS17,
author = {Shumo Chu and
Konstantin Weitz and
Alvin Cheung and
Dan Suciu},
editor = {Albert Cohen and
Martin T. Vechev},
title = {HoTTSQL: proving query rewrites with univalent {SQL} semantics},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {510--524},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062348},
doi = {10.1145/3062341.3062348},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ChuWCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChuLWCS17,
author = {Shumo Chu and
Daniel Li and
Chenglong Wang and
Alvin Cheung and
Dan Suciu},
editor = {Semih Salihoglu and
Wenchao Zhou and
Rada Chirkova and
Jun Yang and
Dan Suciu},
title = {Demonstration of the Cosette Automated {SQL} Prover},
booktitle = {Proceedings of the 2017 {ACM} International Conference on Management
of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {1591--1594},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3035918.3058728},
doi = {10.1145/3035918.3058728},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/ChuLWCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChuWCS16,
author = {Shumo Chu and
Konstantin Weitz and
Alvin Cheung and
Dan Suciu},
title = {HoTTSQL: Proving Query Rewrites with Univalent {SQL} Semantics},
journal = {CoRR},
volume = {abs/1607.04822},
year = {2016},
url = {http://arxiv.org/abs/1607.04822},
eprinttype = {arXiv},
eprint = {1607.04822},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChuWCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChuBS15,
author = {Shumo Chu and
Magdalena Balazinska and
Dan Suciu},
editor = {Timos K. Sellis and
Susan B. Davidson and
Zachary G. Ives},
title = {From Theory to Practice: Efficient Join Query Evaluation in a Parallel
Database System},
booktitle = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on
Management of Data, Melbourne, Victoria, Australia, May 31 - June
4, 2015},
pages = {63--78},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2723372.2750545},
doi = {10.1145/2723372.2750545},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/ChuBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/HalperinACCKMORWWXBHS14,
author = {Daniel Halperin and
Victor Teixeira de Almeida and
Lee Lee Choo and
Shumo Chu and
Paraschos Koutris and
Dominik Moritz and
Jennifer Ortiz and
Vaspol Ruamviboonsuk and
Jingjing Wang and
Andrew Whitaker and
Shengliang Xu and
Magdalena Balazinska and
Bill Howe and
Dan Suciu},
editor = {Curtis E. Dyreson and
Feifei Li and
M. Tamer {\"{O}}zsu},
title = {Demonstration of the Myria big data management service},
booktitle = {International Conference on Management of Data, {SIGMOD} 2014, Snowbird,
UT, USA, June 22-27, 2014},
pages = {881--884},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588555.2594530},
doi = {10.1145/2588555.2594530},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/HalperinACCKMORWWXBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkdd/ChuC12,
author = {Shumo Chu and
James Cheng},
title = {Triangle listing in massive networks},
journal = {{ACM} Trans. Knowl. Discov. Data},
volume = {6},
number = {4},
pages = {17:1--17:32},
year = {2012},
url = {https://doi.org/10.1145/2382577.2382581},
doi = {10.1145/2382577.2382581},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkdd/ChuC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ChengZKC12,
author = {James Cheng and
Linhong Zhu and
Yiping Ke and
Shumo Chu},
editor = {Qiang Yang and
Deepak Agarwal and
Jian Pei},
title = {Fast algorithms for maximal clique enumeration with limited memory},
booktitle = {The 18th {ACM} {SIGKDD} International Conference on Knowledge Discovery
and Data Mining, {KDD} '12, Beijing, China, August 12-16, 2012},
pages = {1240--1248},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2339530.2339724},
doi = {10.1145/2339530.2339724},
timestamp = {Sat, 01 Mar 2025 10:58:19 +0100},
biburl = {https://dblp.org/rec/conf/kdd/ChengZKC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChengKCC12,
author = {James Cheng and
Yiping Ke and
Shumo Chu and
Carter Cheng},
editor = {K. Sel{\c{c}}uk Candan and
Yi Chen and
Richard T. Snodgrass and
Luis Gravano and
Ariel Fuxman},
title = {Efficient processing of distance queries in large graphs: a vertex
cover approach},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2012, Scottsdale, AZ, USA, May 20-24, 2012},
pages = {457--468},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213836.2213888},
doi = {10.1145/2213836.2213888},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/ChengKCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-2367,
author = {Ada Wai{-}Chee Fu and
Huanhuan Wu and
James Cheng and
Shumo Chu and
Raymond Chi{-}Wing Wong},
title = {{IS-LABEL:} an Independent-Set based Labeling Scheme for Point-to-Point
Distance Querying on Large Graphs},
journal = {CoRR},
volume = {abs/1211.2367},
year = {2012},
url = {http://arxiv.org/abs/1211.2367},
eprinttype = {arXiv},
eprint = {1211.2367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-2367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChengKCO11,
author = {James Cheng and
Yiping Ke and
Shumo Chu and
M. Tamer {\"{O}}zsu},
editor = {Serge Abiteboul and
Klemens B{\"{o}}hm and
Christoph Koch and
Kian{-}Lee Tan},
title = {Efficient core decomposition in massive networks},
booktitle = {Proceedings of the 27th International Conference on Data Engineering,
{ICDE} 2011, April 11-16, 2011, Hannover, Germany},
pages = {51--62},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDE.2011.5767911},
doi = {10.1109/ICDE.2011.5767911},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ChengKCO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ChuC11,
author = {Shumo Chu and
James Cheng},
editor = {Chid Apt{\'{e}} and
Joydeep Ghosh and
Padhraic Smyth},
title = {Triangle listing in massive networks and its applications},
booktitle = {Proceedings of the 17th {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, San Diego, CA, USA, August 21-24,
2011},
pages = {672--680},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2020408.2020513},
doi = {10.1145/2020408.2020513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/ChuC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.