Skip to content

Commit dbbff42

Browse files
k4rtikk4rtik
committed
1 parent 58795e2 commit dbbff42

427 files changed

Lines changed: 23316 additions & 812 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎404.html‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -130,16 +130,16 @@ <h1>Page not found</h1>
130130
<p>Perhaps you were looking for one of these?</p>
131131
<h2>Latest</h2>
132132
<ul>
133-
<li><a href=/bib/publication/Singhal2023/>Q# as a Quantum Algorithmic Language</a></li>
134133
<li><a href=/bib/publication/>Publications</a></li>
135-
<li><a href=/bib/publication/Xu2023/>Synthesizing Quantum-Circuit Optimizers</a></li>
136-
<li><a href=/bib/publication/Chen2023/>An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits</a></li>
137-
<li><a href=/bib/publication/Kang2023/>Modular Component-Based Quantum Circuit Synthesis</a></li>
138-
<li><a href=/bib/event/>Recent & Upcoming Events</a></li>
139-
<li><a href=/bib/event/popl23/>Quantum at POPL 2023</a></li>
140-
<li><a href=/bib/publication/Voichick2023/>Qunity: A Unified Language for Quantum and Classical Computing</a></li>
141-
<li><a href=/bib/publication/Fu2023/>Proto-Quipper with Dynamic Lifting</a></li>
142-
<li><a href=/bib/publication/Zhou2023/>CoqQ: Foundational Verification of Quantum Programs</a></li>
134+
<li><a href=/bib/publication/Li2025/>A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware</a></li>
135+
<li><a href=/bib/publication/Tornow2025/>QVM: Quantum Gate Virtualization Machine</a></li>
136+
<li><a href=/bib/publication/Zhang2025/>Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs</a></li>
137+
<li><a href=/bib/publication/Sharma2025/>Optimizing Ancilla-Based Quantum Circuits with SPARE</a></li>
138+
<li><a href=/bib/publication/Cao2025/>MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation</a></li>
139+
<li><a href=/bib/publication/Huang2025/>Efficient Formal Verification of Quantum Error Correcting Programs</a></li>
140+
<li><a href=/bib/publication/Peduri2025/>QbC: Quantum Correctness by Construction</a></li>
141+
<li><a href=/bib/publication/Molavi2025/>Dependency-Aware Compilation for Surface Code Quantum Architectures</a></li>
142+
<li><a href=/bib/publication/Abdulla2025/>Verifying Quantum Circuits with Level-Synchronized Tree Automata</a></li>
143143
</ul>
144144
</div>
145145
</div>

‎author/Abtin-Molavi/index.html‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
<meta property="og:title" content="Abtin Molavi | Quantum PL & Verification Bibliography">
2727
<meta property="og:description" content="Quantum Programming Languages & Verification Bibliography"><meta property="og:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png">
2828
<meta property="twitter:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png"><meta property="og:locale" content="en-us">
29-
<meta property="og:updated_time" content="2023-06-01T00:00:00+00:00">
29+
<meta property="og:updated_time" content="2025-04-01T00:00:00+00:00">
3030
<title>Abtin Molavi | Quantum PL & Verification Bibliography</title>
3131
</head>
3232
<body id=top data-spy=scroll data-offset=70 data-target=#TableOfContents class=page-wrapper>
@@ -133,6 +133,9 @@ <h1>Abtin Molavi</h1>
133133
<h3>Latest</h3>
134134
<ul>
135135
<li>
136+
<a href=/bib/publication/Molavi2025/>Dependency-Aware Compilation for Surface Code Quantum Architectures</a>
137+
</li>
138+
<li>
136139
<a href=/bib/publication/Xu2023/>Synthesizing Quantum-Circuit Optimizers</a>
137140
</li>
138141
</ul>

‎author/Abtin-Molavi/index.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Abtin Molavi | Quantum PL &amp; Verification Bibliography</title><link>https://quantumpl.github.io/bib/author/Abtin-Molavi/</link><atom:link href="https://quantumpl.github.io/bib/author/Abtin-Molavi/index.xml" rel="self" type="application/rss+xml"/><description>Abtin Molavi</description><generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Thu, 01 Jun 2023 00:00:00 +0000</lastBuildDate><image><url>https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png</url><title>Abtin Molavi</title><link>https://quantumpl.github.io/bib/author/Abtin-Molavi/</link></image><item><title>Synthesizing Quantum-Circuit Optimizers</title><link>https://quantumpl.github.io/bib/publication/Xu2023/</link><pubDate>Thu, 01 Jun 2023 00:00:00 +0000</pubDate><guid>https://quantumpl.github.io/bib/publication/Xu2023/</guid><description/></item></channel></rss>
1+
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Abtin Molavi | Quantum PL &amp; Verification Bibliography</title><link>https://quantumpl.github.io/bib/author/Abtin-Molavi/</link><atom:link href="https://quantumpl.github.io/bib/author/Abtin-Molavi/index.xml" rel="self" type="application/rss+xml"/><description>Abtin Molavi</description><generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Tue, 01 Apr 2025 00:00:00 +0000</lastBuildDate><image><url>https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png</url><title>Abtin Molavi</title><link>https://quantumpl.github.io/bib/author/Abtin-Molavi/</link></image><item><title>Dependency-Aware Compilation for Surface Code Quantum Architectures</title><link>https://quantumpl.github.io/bib/publication/Molavi2025/</link><pubDate>Tue, 01 Apr 2025 00:00:00 +0000</pubDate><guid>https://quantumpl.github.io/bib/publication/Molavi2025/</guid><description>&lt;p>OOPSLA &amp;lsquo;25&lt;/p></description></item><item><title>Synthesizing Quantum-Circuit Optimizers</title><link>https://quantumpl.github.io/bib/publication/Xu2023/</link><pubDate>Thu, 01 Jun 2023 00:00:00 +0000</pubDate><guid>https://quantumpl.github.io/bib/publication/Xu2023/</guid><description/></item></channel></rss>

‎author/Agnes-Villanyi/index.html‎

Lines changed: 197 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,197 @@
1+
<!doctype html><html lang=en-us>
2+
<head>
3+
<meta charset=utf-8>
4+
<meta name=viewport content="width=device-width,initial-scale=1">
5+
<meta http-equiv=x-ua-compatible content="IE=edge">
6+
<meta name=generator content="Wowchemy 5.2.0 for Hugo">
7+
<meta name=author content="Kartik">
8+
<meta name=description content="Quantum Programming Languages & Verification Bibliography">
9+
<link rel=alternate hreflang=en-us href=https://quantumpl.github.io/bib/author/Agnes-Villanyi/>
10+
<meta name=theme-color content="#1565c0">
11+
<script src=/bib/js/mathjax-config.js></script>
12+
<link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/academicons/1.9.0/css/academicons.min.css integrity="sha512-W4yqoT1+8NLkinBLBZko+dFB2ZbHsYLDdr50VElllRcNt2Q4/GSs6u71UHKxB7S6JEMCp5Ve4xjh3eGQl/HRvg==" crossorigin=anonymous>
13+
<link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.14.0/css/all.min.css integrity="sha256-FMvZuGapsJLjouA6k7Eo2lusoAX9i0ShlWFG6qt7SLc=" crossorigin=anonymous>
14+
<link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.min.css integrity="sha512-1xoFisiGdy9nvho8EgXuXvnpR5GAMSjFwp40gSRE3NwdUdIMIKuPa7bqoUhLD0O/5tPNhteAsE5XyyMi5reQVA==" crossorigin=anonymous media=print onload="this.media='all'">
15+
<script src=https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml.js integrity crossorigin=anonymous async></script>
16+
<link rel=stylesheet href=/bib/css/wowchemy.28f0baf80c0ff84350a807acc45ceca7.css>
17+
<link rel=alternate href=/bib/author/Agnes-Villanyi/index.xml type=application/rss+xml title="Quantum PL & Verification Bibliography">
18+
<link rel=icon type=image/png href=/bib/media/icon_hu18592104feffac20f675f2d84225d529_16137_32x32_fill_lanczos_center_3.png>
19+
<link rel=apple-touch-icon type=image/png href=/bib/media/icon_hu18592104feffac20f675f2d84225d529_16137_180x180_fill_lanczos_center_3.png>
20+
<link rel=canonical href=https://quantumpl.github.io/bib/author/Agnes-Villanyi/>
21+
<meta property="twitter:card" content="summary">
22+
<meta property="twitter:site" content="@Quantum Programming Languages & Verification Bibliography">
23+
<meta property="twitter:creator" content="@Quantum Programming Languages & Verification Bibliography">
24+
<meta property="og:site_name" content="Quantum PL & Verification Bibliography">
25+
<meta property="og:url" content="https://quantumpl.github.io/bib/author/Agnes-Villanyi/">
26+
<meta property="og:title" content="Agnes Villanyi | Quantum PL & Verification Bibliography">
27+
<meta property="og:description" content="Quantum Programming Languages & Verification Bibliography"><meta property="og:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png">
28+
<meta property="twitter:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png"><meta property="og:locale" content="en-us">
29+
<meta property="og:updated_time" content="2024-04-01T00:00:00+00:00">
30+
<title>Agnes Villanyi | Quantum PL & Verification Bibliography</title>
31+
</head>
32+
<body id=top data-spy=scroll data-offset=70 data-target=#TableOfContents class=page-wrapper>
33+
<script src=/bib/js/wowchemy-init.min.b8153d4570dcbb34350a2a846dba8c03.js></script>
34+
<aside class=search-modal id=search>
35+
<div class=container>
36+
<section class=search-header>
37+
<div class="row no-gutters justify-content-between mb-3">
38+
<div class=col-6>
39+
<h1>Search</h1>
40+
</div>
41+
<div class="col-6 col-search-close">
42+
<a class=js-search href=# aria-label=Close><i class="fas fa-times-circle text-muted" aria-hidden=true></i></a>
43+
</div>
44+
</div>
45+
<div id=search-box>
46+
<input name=q id=search-query placeholder=Search... autocapitalize=off autocomplete=off autocorrect=off spellcheck=false type=search class=form-control aria-label=Search...>
47+
</div>
48+
</section>
49+
<section class=section-search-results>
50+
<div id=search-hits>
51+
</div>
52+
</section>
53+
</div>
54+
</aside>
55+
<div class=page-header>
56+
<nav class="navbar navbar-expand-lg navbar-light compensate-for-scrollbar" id=navbar-main>
57+
<div class=container-xl>
58+
<div class="d-none d-lg-inline-flex">
59+
<a class=navbar-brand href=/bib/>Quantum PL & Verification Bibliography</a>
60+
</div>
61+
<button type=button class=navbar-toggler data-toggle=collapse data-target=#navbar-content aria-controls=navbar-content aria-expanded=false aria-label="Toggle navigation">
62+
<span><i class="fas fa-bars"></i></span>
63+
</button>
64+
<div class="navbar-brand-mobile-wrapper d-inline-flex d-lg-none">
65+
<a class=navbar-brand href=/bib/><img src=/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_0x70_resize_lanczos_3.png alt="Quantum PL & Verification Bibliography"></a>
66+
</div>
67+
<div class="navbar-collapse main-menu-item collapse justify-content-end" id=navbar-content>
68+
<ul class="navbar-nav d-md-inline-flex">
69+
<li class=nav-item>
70+
<a class=nav-link href=/bib/about><span>About</span></a>
71+
</li>
72+
<li class=nav-item>
73+
<a class=nav-link href=/bib/publication><span>Papers</span></a>
74+
</li>
75+
<li class=nav-item>
76+
<a class=nav-link href=/bib/authors><span>People</span></a>
77+
</li>
78+
<li class=nav-item>
79+
<a class=nav-link href=/bib/event><span>Venues</span></a>
80+
</li>
81+
<li class=nav-item>
82+
<a class=nav-link href=/bib/tags><span>Tags</span></a>
83+
</li>
84+
<li class=nav-item>
85+
<a class=nav-link href=/bib/post><span>Posts</span></a>
86+
</li>
87+
<li class="nav-item dropdown">
88+
<a href=# class="nav-link dropdown-toggle" data-toggle=dropdown aria-haspopup=true><span>Variants</span><span class=caret></span>
89+
</a>
90+
<div class=dropdown-menu>
91+
<a class=dropdown-item href=https://raw.githubusercontent.com/QuantumPL/bib/main/biblatex.bib><span>BibLaTeX</span></a>
92+
<a class=dropdown-item href=https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib><span>BibTeX</span></a>
93+
<a class=dropdown-item href=/bib/retro/bbt.html><span>bibtex2html</span></a>
94+
<a class=dropdown-item href=/bib/base><span>BibBase</span></a>
95+
</div>
96+
</li>
97+
<li class=nav-item>
98+
<a class=nav-link href=https://lists.uchicago.edu/web/info/qplv target=_blank rel=noopener><span>Mailing List</span></a>
99+
</li>
100+
</ul>
101+
</div>
102+
<ul class="nav-icons navbar-nav flex-row ml-auto d-flex pl-md-2">
103+
<li class=nav-item>
104+
<a class="nav-link js-search" href=# aria-label=Search><i class="fas fa-search" aria-hidden=true></i></a>
105+
</li>
106+
<li class="nav-item dropdown theme-dropdown">
107+
<a href=# class=nav-link data-toggle=dropdown aria-haspopup=true aria-label="Display preferences">
108+
<i class="fas fa-moon" aria-hidden=true></i>
109+
</a>
110+
<div class=dropdown-menu>
111+
<a href=# class="dropdown-item js-set-theme-light">
112+
<span>Light</span>
113+
</a>
114+
<a href=# class="dropdown-item js-set-theme-dark">
115+
<span>Dark</span>
116+
</a>
117+
<a href=# class="dropdown-item js-set-theme-auto">
118+
<span>Automatic</span>
119+
</a>
120+
</div>
121+
</li>
122+
</ul>
123+
</div>
124+
</nav>
125+
</div>
126+
<div class=page-body>
127+
<div class="universal-wrapper pt-3">
128+
<h1>Agnes Villanyi</h1>
129+
</div>
130+
<section id=profile-page class=pt-5>
131+
<div class=container>
132+
<div class="article-widget content-widget-hr">
133+
<h3>Latest</h3>
134+
<ul>
135+
<li>
136+
<a href=/bib/publication/Yuan2025/>Quantum Control Machine: The Limits of Control Flow in Quantum Programming</a>
137+
</li>
138+
</ul>
139+
</div>
140+
</div>
141+
</section>
142+
</div>
143+
<div class=page-footer>
144+
<div class=container>
145+
<footer class=site-footer>
146+
<p class=powered-by>
147+
Published with <a href="https://wowchemy.com/?utm_campaign=poweredby" target=_blank rel=noopener>Wowchemy</a>.
148+
</p>
149+
</footer>
150+
</div>
151+
</div>
152+
<div id=modal class="modal fade" role=dialog>
153+
<div class=modal-dialog>
154+
<div class=modal-content>
155+
<div class=modal-header>
156+
<h5 class=modal-title>Cite</h5>
157+
<button type=button class=close data-dismiss=modal aria-label=Close>
158+
<span aria-hidden=true>&#215;</span>
159+
</button>
160+
</div>
161+
<div class=modal-body>
162+
<pre><code class="tex hljs"></code></pre>
163+
</div>
164+
<div class=modal-footer>
165+
<a class="btn btn-outline-primary my-1 js-copy-cite" href=# target=_blank>
166+
<i class="fas fa-copy"></i> Copy
167+
</a>
168+
<a class="btn btn-outline-primary my-1 js-download-cite" href=# target=_blank>
169+
<i class="fas fa-download"></i> Download
170+
</a>
171+
<div id=modal-error></div>
172+
</div>
173+
</div>
174+
</div>
175+
</div>
176+
<script src=https://cdnjs.cloudflare.com/ajax/libs/jquery/3.5.1/jquery.min.js integrity="sha256-9/aliU8dGd2tb6OSsuzixeV4y/faTqgFtohetphbbj0=" crossorigin=anonymous></script>
177+
<script src=https://cdnjs.cloudflare.com/ajax/libs/instant.page/5.1.0/instantpage.min.js integrity="sha512-1+qUtKoh9XZW7j+6LhRMAyOrgSQKenQ4mluTR+cvxXjP1Z54RxZuzstR/H9kgPXQsVB8IW7DMDFUJpzLjvhGSQ==" crossorigin=anonymous></script>
178+
<script src=https://cdnjs.cloudflare.com/ajax/libs/jquery.imagesloaded/4.1.4/imagesloaded.pkgd.min.js integrity="sha256-lqvxZrPLtfffUl2G/e7szqSvPBILGbwmsGE1MKlOi0Q=" crossorigin=anonymous></script>
179+
<script src=https://cdnjs.cloudflare.com/ajax/libs/jquery.isotope/3.0.6/isotope.pkgd.min.js integrity="sha256-CBrpuqrMhXwcLLUd5tvQ4euBHCdh7wGlDfNz8vbu/iI=" crossorigin=anonymous></script>
180+
<script src=https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.7.1/leaflet.min.js integrity="sha512-SeiQaaDh73yrb56sTW/RgVdi/mMqNeM2oBwubFHagc5BkixSpP1fvqF47mKzPGWYSSy4RwbBunrJBQ4Co8fRWA==" crossorigin=anonymous></script>
181+
<script id=search-hit-fuse-template type=text/x-template>
182+
<div class="search-hit" id="summary-{{key}}">
183+
<div class="search-hit-content">
184+
<div class="search-hit-name">
185+
<a href="{{relpermalink}}">{{title}}</a>
186+
<div class="article-metadata search-hit-type">{{type}}</div>
187+
<p class="search-hit-description">{{snippet}}</p>
188+
</div>
189+
</div>
190+
</div>
191+
</script>
192+
<script src=https://cdnjs.cloudflare.com/ajax/libs/fuse.js/3.2.1/fuse.min.js integrity="sha256-VzgmKYmhsGNNN4Ph1kMW+BjoYJM2jV5i4IlFoeZA9XI=" crossorigin=anonymous></script>
193+
<script src=https://cdnjs.cloudflare.com/ajax/libs/mark.js/8.11.1/jquery.mark.min.js integrity="sha256-4HLtjeVgH0eIB3aZ9mLYF6E8oU5chNdjU6p6rrXpl9U=" crossorigin=anonymous></script>
194+
<script src=/bib/js/bootstrap.bundle.min.6aed84840afc03ab4d5750157f69c120.js></script>
195+
<script src=/bib/en/js/wowchemy.min.0fb9fe37c8c268ab28b1ef9f081739af.js></script>
196+
</body>
197+
</html>

‎author/Agnes-Villanyi/index.xml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Agnes Villanyi | Quantum PL &amp; Verification Bibliography</title><link>https://quantumpl.github.io/bib/author/Agnes-Villanyi/</link><atom:link href="https://quantumpl.github.io/bib/author/Agnes-Villanyi/index.xml" rel="self" type="application/rss+xml"/><description>Agnes Villanyi</description><generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Mon, 01 Apr 2024 00:00:00 +0000</lastBuildDate><image><url>https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png</url><title>Agnes Villanyi</title><link>https://quantumpl.github.io/bib/author/Agnes-Villanyi/</link></image><item><title>Quantum Control Machine: The Limits of Control Flow in Quantum Programming</title><link>https://quantumpl.github.io/bib/publication/Yuan2025/</link><pubDate>Mon, 01 Apr 2024 00:00:00 +0000</pubDate><guid>https://quantumpl.github.io/bib/publication/Yuan2025/</guid><description>&lt;p>OOPSLA &amp;lsquo;24&lt;/p></description></item></channel></rss>

‎author/Amanda-Xu/index.html‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
<meta property="og:title" content="Amanda Xu | Quantum PL & Verification Bibliography">
2727
<meta property="og:description" content="Quantum Programming Languages & Verification Bibliography"><meta property="og:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png">
2828
<meta property="twitter:image" content="https://quantumpl.github.io/bib/media/logo_hu18592104feffac20f675f2d84225d529_16137_300x300_fit_lanczos_3.png"><meta property="og:locale" content="en-us">
29-
<meta property="og:updated_time" content="2023-06-01T00:00:00+00:00">
29+
<meta property="og:updated_time" content="2025-04-01T00:00:00+00:00">
3030
<title>Amanda Xu | Quantum PL & Verification Bibliography</title>
3131
</head>
3232
<body id=top data-spy=scroll data-offset=70 data-target=#TableOfContents class=page-wrapper>
@@ -133,6 +133,9 @@ <h1>Amanda Xu</h1>
133133
<h3>Latest</h3>
134134
<ul>
135135
<li>
136+
<a href=/bib/publication/Molavi2025/>Dependency-Aware Compilation for Surface Code Quantum Architectures</a>
137+
</li>
138+
<li>
136139
<a href=/bib/publication/Xu2023/>Synthesizing Quantum-Circuit Optimizers</a>
137140
</li>
138141
</ul>

0 commit comments

Comments
 (0)