Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Ye, Qianchuan"'
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 203 (June 2024), 25 pages
Functional programs typically interact with stateful libraries that hide state behind typed abstractions. One particularly important class of applications are data structure implementations that rely on such libraries to provide a level of efficiency
Externí odkaz:
http://arxiv.org/abs/2404.01484
Autor:
Ye, Qianchuan, Delaware, Benjamin
Publikováno v:
Proc. ACM Program. Lang. 8, OOPSLA1, Article 144 (April 2024), 30 pages
Secure multiparty computation (MPC) techniques enable multiple parties to compute joint functions over their private data without sharing that data with other parties, typically by employing powerful cryptographic protocols to protect individual's da
Externí odkaz:
http://arxiv.org/abs/2311.09393
Autor:
Bao, Yuyan, Sundararajah, Kirshanthan, Malik, Raghav, Ye, Qianchuan, Wagner, Christopher, Jaber, Nouraldin, Wang, Fei, Ameri, Mohammad Hassan, Lu, Donghang, Seto, Alexander, Delaware, Benjamin, Samanta, Roopsha, Kate, Aniket, Garman, Christina, Blocki, Jeremiah, Letourneau, Pierre-David, Meister, Benoit, Springer, Jonathan, Rompf, Tiark, Kulkarni, Milind
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographic techniques is known as Secure M
Externí odkaz:
http://arxiv.org/abs/2009.01489
Hoare-style program logics are a popular and effective technique for software verification. Relational program logics are an instance of this approach that enables reasoning about relationships between the execution of two or more programs. Existing
Externí odkaz:
http://arxiv.org/abs/2002.02904
Autor:
Delaware, Benjamin, Suriyakarn, Sorawit, Pit--Claudel, Clément, Ye, Qianchuan, Chlipala, Adam
It is a neat result from functional programming that libraries of parser combinators can support rapid construction of decoders for quite a range of formats. With a little more work, the same combinator program can denote both a decoder and an encode
Externí odkaz:
http://arxiv.org/abs/1803.04870