http://rand.cs.uchicago.edu/service/ http://rand.cs.uchicago.edu/talk/example-talk/ 2030-06-01T13:00:00+00:00 http://rand.cs.uchicago.edu/event/ 2030-06-01T13:00:00+00:00 http://rand.cs.uchicago.edu/ 2030-06-01T13:00:00+00:00 http://rand.cs.uchicago.edu/publication-type/1/ 2026-01-27T13:22:39-06:00 http://rand.cs.uchicago.edu/publication-type/2/ 2026-01-17T19:13:47+01:00 http://rand.cs.uchicago.edu/publication/cho-2026-efficiently/ 2026-01-27T13:22:39-06:00 http://rand.cs.uchicago.edu/publication_types/ 2026-01-27T13:22:39-06:00 http://rand.cs.uchicago.edu/publication/ 2026-01-27T13:22:39-06:00 http://rand.cs.uchicago.edu/publication/lehmann-2026-vyzx/ 2026-01-17T19:13:47+01:00 http://rand.cs.uchicago.edu/publication/buckley-2025-pbkat/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/compiler-optimizations/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/publication/mints-2025-qunity/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/entanglement-distribution/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/high-level-programming-languages/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/probabilistic-and-possibilistic-semantics/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/quantum-control-flow/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/quantum-programming-languages/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tag/quantum-subroutines/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/tags/ 2026-01-17T19:15:08+01:00 http://rand.cs.uchicago.edu/publication-type/3/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/publication-type/6/ 2024-10-08T15:08:02-05:00 http://rand.cs.uchicago.edu/publication/buckley-2024-algebraic/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/publication/lehmann-2024-egg/ 2024-10-08T15:08:02-05:00 http://rand.cs.uchicago.edu/publication/voichick-2024-cognac/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/entanglement/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/kleene-algebra/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/quantum-networks/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/publication/shah-2024-vicar/ 2024-04-12T14:27:37-05:00 http://rand.cs.uchicago.edu/publication/hietala-2023-verified/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/certified-compilation/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/circuit-optimization/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/formal-verification/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/tag/quantum-computing/ 2024-04-01T15:49:38-05:00 http://rand.cs.uchicago.edu/publication/peng-2023-shor/ 2023-04-18T16:34:22-05:00 http://rand.cs.uchicago.edu/tag/distributed-computing/ 2024-01-24T14:29:16-06:00 http://rand.cs.uchicago.edu/publication/sundaram-2023-hoare/ 2024-03-01T11:21:13-06:00 http://rand.cs.uchicago.edu/publication/evans-2023-mcbeth/ 2024-01-24T14:29:16-06:00 http://rand.cs.uchicago.edu/tag/measurement-based-quantum-computing/ 2024-01-24T14:29:16-06:00 http://rand.cs.uchicago.edu/tag/one-way-quantum-computer/ 2024-01-24T14:29:16-06:00 http://rand.cs.uchicago.edu/tag/programming-languages/ 2024-01-24T14:29:16-06:00 http://rand.cs.uchicago.edu/publication/voichick-2023-qunity/ 2022-04-27T01:03:33-05:00 http://rand.cs.uchicago.edu/publication/buckley-2023-towards/ 2024-01-24T13:54:47-06:00 http://rand.cs.uchicago.edu/publication-type/8/ 2022-11-09T16:39:59-06:00 http://rand.cs.uchicago.edu/publication/singhal-2022-separation/ 2022-11-09T16:39:59-06:00 http://rand.cs.uchicago.edu/publication/hietala-2022-qstar/ 2022-08-02T13:50:14-05:00 http://rand.cs.uchicago.edu/publication/demicheli-2022/ 2022-09-12T18:02:26+02:00 http://rand.cs.uchicago.edu/publication/singhal-2022-qsharp/ 2022-08-02T13:55:11-05:00 http://rand.cs.uchicago.edu/publication/sundaram-2022-rich/ 2022-04-27T01:03:32-05:00 http://rand.cs.uchicago.edu/publication/zweifler-2022-quantumlib/ 2022-08-02T13:50:14-05:00 http://rand.cs.uchicago.edu/publication/lehmann-2022-vyzx/ 2022-04-27T01:03:33-05:00 http://rand.cs.uchicago.edu/publication/hietala-2021-expanding/ 2021-07-26T16:34:22-05:00 http://rand.cs.uchicago.edu/publication/rand-2021-extending/ 2021-07-26T16:34:22-05:00 http://rand.cs.uchicago.edu/publication/singhal-2021-toward/ 2021-07-26T16:34:22-05:00 http://rand.cs.uchicago.edu/publication/marshall-2021-toward/ 2021-06-07T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/hietala-2021-proving/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/publication/hietala-2021-verified/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/tag/academic/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/categories/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/category/demo/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/post/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/post/getting-started/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/%E5%BC%80%E6%BA%90/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/category/%E6%95%99%E7%A8%8B/ 2020-12-13T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/zweifler-2021-formal/ 2020-06-07T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/hietala-2020-verified/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/publication/rand-2020-gottesman/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/publication/hietala-2020-tracking/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/publication/singhal-2020-verified/ 2021-07-26T16:34:21-05:00 http://rand.cs.uchicago.edu/publication/hietala-2019-verified-nisq/ 2021-07-26T16:34:20-05:00 http://rand.cs.uchicago.edu/slides/ 2019-02-05T00:00:00+00:00 http://rand.cs.uchicago.edu/slides/example/ 2019-02-05T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/rand-2019-formal/ 2021-07-26T16:34:20-05:00 http://rand.cs.uchicago.edu/publication/hietala-2019-verified/ 2021-07-26T16:34:20-05:00 http://rand.cs.uchicago.edu/publication-type/7/ 2022-05-19T22:27:45-05:00 http://rand.cs.uchicago.edu/publication/rand-2018-formally/ 2021-07-26T16:34:20-05:00 http://rand.cs.uchicago.edu/publication/rand-2018-phantom/ 2021-07-26T16:34:20-05:00 http://rand.cs.uchicago.edu/publication/rand-2018-reqwire/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/news/ 2017-12-01T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/rand-2017-qwire/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/paykin-2017-qwire/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/paykin-2016-qwire/ 2016-06-01T00:00:00+00:00 http://rand.cs.uchicago.edu/publication-type/4/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/rand-2016-verification/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/tag/deep-learning/ 2016-04-27T00:00:00+00:00 http://rand.cs.uchicago.edu/project/example/ 2016-04-27T00:00:00+00:00 http://rand.cs.uchicago.edu/project/ 2016-04-27T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/coq/ 2021-07-27T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/hoare-logic/ 2021-07-27T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/nondeterminism/ 2021-07-27T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/probabilistic-programming/ 2021-07-27T00:00:00+00:00 http://rand.cs.uchicago.edu/publication/rand-2016-models/ 2021-07-27T00:00:00+00:00 http://rand.cs.uchicago.edu/tag/non-termination/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/rand-2015-verifying/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/rand-2015-vphl/ 2021-07-26T16:34:19-05:00 http://rand.cs.uchicago.edu/publication/adaricheva-2013-ordered/ 2021-07-26T16:34:18-05:00 http://rand.cs.uchicago.edu/publication/rand-2011-ordered/ 2022-05-19T22:27:45-05:00 http://rand.cs.uchicago.edu/publication/boros-2009-terminal/ 2021-07-26T16:34:18-05:00 http://rand.cs.uchicago.edu/admin/ http://rand.cs.uchicago.edu/talks/ 0