Skip to content

Commit 7185958

Browse files
k4rtikk4rtik
committed
biblatex style thesis entries
1 parent 5c583c4 commit 7185958

File tree

5 files changed

+94
-44
lines changed

5 files changed

+94
-44
lines changed

‎.cspell.json

+2-1
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,8 @@
66
".vscode",
77
"megalinter",
88
"package-lock.json",
9-
"report"
9+
"report",
10+
".gitignore"
1011
],
1112
"language": "en",
1213
"noConfigSearch": true,

‎Makefile

+14-21
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,20 @@
1-
bbt:
2-
bibtex2html -unicode -both -s owens_web -css https://latex.now.sh/style.css -a -t "Quantum PL & Verification Bibliography" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. An alternate interface is available at <a href="https://quantumpl.github.io/bib">quantumpl.github.io</a>.</p>" --footer "<a href="./bbt.html">Go home</a>." bbt.bib
3-
mv bbt*.html ../site/static/retro
4-
5-
selinger:
6-
bib2bib -oc selinger-citations -ob selinger.bib -c 'author : "Selinger"' bbt.bib
7-
bibtex2html -both -s owens_web -css https://latex.now.sh/style.css -d -t "Papers by Peter Selinger in qpl-bib" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. The entries are sorted chronologically.</p>" --footer "<a href="./bbt.html">Go home</a>." selinger.bib
1+
all: validate clean
82

9-
rand:
10-
bib2bib -oc rand-citations -ob rand.bib -c 'author : "Rand"' bbt.bib
11-
bibtex2html -both -s owens_web -css https://latex.now.sh/style.css -d -t "Papers by Robert Rand in qpl-bib" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. The entries are sorted chronologically.</p>" --footer "<a href="./bbt.html">Go home</a>." rand.bib
3+
validate: biblatex.bib
4+
# Validate and normalize biblatex source
5+
biber --tool --output-safechars --fixinits --isbn-normalise --output_indent=2 --output_fieldcase=lower --output_encoding=ascii --configfile=biber-tool.conf --output_file=biber.bib biblatex.bib
126

13-
valiron:
14-
bib2bib -oc valiron-citations -ob valiron.bib -c 'author : "Valiron"' bbt.bib
15-
bibtex2html -both -s owens_web -css https://latex.now.sh/style.css -d -t "Papers by Benoit Valiron in qpl-bib" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. The entries are sorted chronologically.</p>" --footer "<a href="./bbt.html">Go home</a>." valiron.bib
7+
# Export a version that is almost compatible with bibtex
8+
biber --tool --output-safechars --fixinits --isbn-normalise --output_indent=2 --output_fieldcase=lower --output_encoding=ascii --output-resolve --configfile=biber-tool.conf --output_file=biber-expanded.bib biber.bib
169

17-
mingsheng:
18-
bib2bib -oc mingsheng-citations -ob mingsheng.bib -c 'author : "Mingsheng"' bbt.bib
19-
bibtex2html -both -s owens_web -css https://latex.now.sh/style.css -d -t "Papers by Mingsheng Ying in qpl-bib" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. The entries are sorted chronologically.</p>" --footer "<a href="./bbt.html">Go home</a>." mingsheng.bib
10+
# fix the broken bibtex
11+
python3.9 bibtex-compatibility.py biber
2012

21-
qpv:
22-
bibtex2html -both -s owens_web -css https://latex.now.sh/style.css -t "Quantum Programming and Verification" --header "<p>Reading list for University of Chicago's <strong>CMSC 32700 Quantum Programming and Verification</strong> (Spring 2021) offered by <a href="https://people.cs.uchicago.edu/~rand/">Robert Rand</a>. Ordered by class schedule.</p><p>Also see the <a href="index.html">Quantum PL & Verification Bibliography</a>, another outcome of this class.</p>" qpv.bib
23-
24-
all: bbt qpv
13+
bbt:
14+
bibtex2html -unicode -both -s owens_web -css https://latex.now.sh/style.css -a -t "Quantum PL & Verification Bibliography" --header "<p>Welcome to Quantum PL & Verification Bibliography maintained by <a href="http://ks.cs.uchicago.edu/">Kartik Singhal</a>. Browse <a href="./bbt.html">without</a> and <a href="./bbt_abstracts.html">with abstracts</a>, <a href="./bbt_bib.html">bib entries</a>. Please <a href="https://github.com/QuantumPL/bib">file issues/send PRs</a> if you find any mistakes or missing entries. An alternate interface is available at <a href="https://quantumpl.github.io/bib">quantumpl.github.io</a>.</p>" --footer "<a href="./bbt.html">Go home</a>." bbt.bib
15+
mv bbt*.html ../site/static/retro
2516

2617
clean:
27-
rm -f bbt*.html qpv*.html
18+
rm *.blg
19+
rm biber*.bib
20+
rm -rf auto

‎bbt.bib

-1
Original file line numberDiff line numberDiff line change
@@ -951,7 +951,6 @@ @misc{Hietala2019
951951
author = {Hietala, Kesha and Rand, Robert and Hung, Shih-Han and Wu, Xiaodi and Hicks, Michael},
952952
year = {2019},
953953
month = apr,
954-
crossref = {Hietala2021},
955954
archiveprefix = {arXiv},
956955
eprint = {1904.06319},
957956
abstract = {We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing 'quantum assembly' languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire's use as a tool for general verification by proving several quantum programs correct.},

‎biblatex.bib

+29-21
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
% Encoding: UTF-8
22
33
% Field sort order
4-
% title,shorttitle,edition,author,year,month,day,date,journal,journaltitle,booktitle,editor,on,publisher,school,institution,address,location,series,volume,number,eid,pages,numpages,crossref,doi,archiveprefix,eprinttype,eprint,howpublished,url,urldate,abstract,keywords,copyright,category,note,metadata,timestamp,webnote,bibsource
4+
% title,shorttitle,edition,author,year,month,day,date,journal,journaltitle,booktitle,editor,on,publisher,type,school,institution,address,location,series,volume,number,eid,pages,numpages,crossref,doi,archiveprefix,eprinttype,eprint,howpublished,url,urldate,abstract,keywords,copyright,category,note,metadata,timestamp,webnote,bibsource
55
66
% NOTE: keywords should be added in lowercase
77
@@ -143,10 +143,11 @@ @inproceedings{Amy2019
143143
bibsource = qplbib
144144
}
145145

146-
@phdthesis{Amy2019a,
146+
@thesis{Amy2019a,
147147
title = {Formal Methods in Quantum Circuit Design},
148148
author = {Amy, Matthew},
149149
date = {2019-02},
150+
type = {phdthesis},
150151
institution = {University of Waterloo},
151152
location = {Waterloo, Ontario, Canada},
152153
url = {http://hdl.handle.net/10012/14480},
@@ -756,10 +757,11 @@ @inproceedings{Grattage2011
756757
bibsource = qplbib
757758
}
758759

759-
@phdthesis{Green2010,
760+
@thesis{Green2010,
760761
title = {Towards a Formally Verified Functional Quantum Programming Language},
761762
author = {Green, Alexander S.},
762763
date = {2010-07},
764+
type = {phdthesis},
763765
institution = {University of Nottingham},
764766
url = {http://eprints.nottingham.ac.uk/11457/},
765767
abstract = {This thesis looks at the development of a framework for a functional quantum programming language. The framework is first developed in Haskell, looking at how a monadic structure can be used to explicitly deal with the side-effects inherent in the measurement of quantum systems, and goes on to look at how a dependently-typed reimplementation in Agda gives us the basis for a formally verified quantum programming language. The two implementations are not in themselves fully developed quantum programming languages, as they are embedded in their respective parent languages, but are a major step towards the development of a full formally verified, functional quantum programming language. Dubbed the ``Quantum IO Monad'', this framework is designed following a structural approach as given by a categorical model of quantum computation.},
@@ -822,10 +824,11 @@ @article{Hasuo2017
822824
bibsource = qplbib
823825
}
824826

825-
@phdthesis{Heim2020,
827+
@thesis{Heim2020,
826828
title = {Development of Quantum Applications},
827829
author = {Heim, Bettina},
828830
date = {2020-12},
831+
type = {phdthesis},
829832
institution = {ETH Zurich},
830833
location = {Zurich},
831834
doi = {10.3929/ethz-b-000468201},
@@ -884,7 +887,6 @@ @misc{Hietala2019
884887
title = {Verified {{Optimization}} in a {{Quantum Intermediate Representation}}},
885888
author = {Hietala, Kesha and Rand, Robert and Hung, Shih-Han and Wu, Xiaodi and Hicks, Michael},
886889
date = {2019-04},
887-
crossref = {Hietala2021},
888890
eprinttype = {arXiv},
889891
eprint = {1904.06319},
890892
abstract = {We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing 'quantum assembly' languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire's use as a tool for general verification by proving several quantum programs correct.},
@@ -1320,10 +1322,11 @@ @book{Nielsen2010
13201322
bibsource = qplbib
13211323
}
13221324

1323-
@phdthesis{Oemer2003,
1325+
@thesis{Oemer2003,
13241326
title = {Structured {{Quantum Programming}}},
13251327
author = {{\"O}mer, Bernhard},
13261328
date = {2003-05},
1329+
type = {phdthesis},
13271330
institution = {Vienna University of Technology},
13281331
url = {http://www.itp.tuwien.ac.at/~oemer/doc/structquprog.pdf},
13291332
webnote = {Describes QCL},
@@ -1428,10 +1431,11 @@ @inproceedings{Paykin2017
14281431
bibsource = qplbib
14291432
}
14301433

1431-
@phdthesis{Paykin2018,
1434+
@thesis{Paykin2018,
14321435
title = {{Linear/Non-Linear Types for Embedded Domain-Specific Languages}},
14331436
author = {Paykin, Jennifer},
14341437
date = {2018-08},
1438+
type = {phdthesis},
14351439
institution = {University of Pennsylvania},
14361440
location = {{Philadelphia, PA, USA}},
14371441
url = {https://repository.upenn.edu/edissertations/2752/},
@@ -1531,16 +1535,16 @@ @article{QuingoTeam2021
15311535
}
15321536

15331537
@misc{Rand2016,
1534-
title = {Verification {{Logics}} for {{Quantum Programs}}},
1535-
author = {Rand, Robert},
1536-
date = {2016-03},
1537-
eprinttype = {arXiv},
1538-
eprint = {1904.04304},
1539-
abstract = {We survey the landscape of Hoare logics for quantum programs. We review three papers: ``Reasoning about imperative quantum programs'' by Chadha, Mateus and Sernadas; ``A logic for formal verification of quantum programs'' by Yoshihiko Kakutani; and ``Floyd-hoare logic for quantum programs'' by Mingsheng Ying. We compare the mathematical foundations of the logics, their underlying languages, and the expressivity of their assertions. We also use the languages to verify the Deutsch--Jozsa Algorithm, and discuss their relative usability in practice.},
1540-
keywords = {hoare logic},
1541-
note = {Submitted as a qualifying examination (WPE-II) for the PhD program at the University of Pennsylvania},
1542-
webnote = {Submitted as a qualifying examination (WPE-II) for the PhD program at the University of Pennsylvania.},
1543-
bibsource = qplbib
1538+
title = {Verification {{Logics}} for {{Quantum Programs}}},
1539+
author = {Rand, Robert},
1540+
date = {2016-03},
1541+
eprinttype = {arXiv},
1542+
eprint = {1904.04304},
1543+
abstract = {We survey the landscape of Hoare logics for quantum programs. We review three papers: ``Reasoning about imperative quantum programs'' by Chadha, Mateus and Sernadas; ``A logic for formal verification of quantum programs'' by Yoshihiko Kakutani; and ``Floyd-hoare logic for quantum programs'' by Mingsheng Ying. We compare the mathematical foundations of the logics, their underlying languages, and the expressivity of their assertions. We also use the languages to verify the Deutsch--Jozsa Algorithm, and discuss their relative usability in practice.},
1544+
keywords = {hoare logic},
1545+
note = {Submitted as a qualifying examination (WPE-II) for the PhD program at the University of Pennsylvania},
1546+
webnote = {Submitted as a qualifying examination (WPE-II) for the PhD program at the University of Pennsylvania.},
1547+
bibsource = qplbib
15441548
}
15451549

15461550
@inproceedings{Rand2018,
@@ -1559,10 +1563,11 @@ @inproceedings{Rand2018
15591563
bibsource = qplbib
15601564
}
15611565

1562-
@phdthesis{Rand2018a,
1566+
@thesis{Rand2018a,
15631567
title = {Formally {{Verified Quantum Programming}}},
15641568
author = {Rand, Robert},
15651569
date = {2018-11},
1570+
type = {phdthesis},
15661571
institution = {University of Pennsylvania},
15671572
location = {{Philadelphia, PA, USA}},
15681573
url = {https://repository.upenn.edu/edissertations/3175},
@@ -1691,10 +1696,11 @@ @inproceedings{Rios2018
16911696
bibsource = qplbib
16921697
}
16931698

1694-
@phdthesis{Rios2021,
1699+
@thesis{Rios2021,
16951700
title = {On a Categorically Sound Quantum Programming Language for Circuit Description},
16961701
author = {Rios, Francisco},
16971702
date = {2021-08},
1703+
type = {phdthesis},
16981704
institution = {Dalhousie University},
16991705
location = {{Halifax, Nova Scotia, Canada}},
17001706
url = {https://dalspace.library.dal.ca/handle/10222/80771},
@@ -1707,10 +1713,11 @@ @phdthesis{Rios2021
17071713
bibsource = qplbib
17081714
}
17091715

1710-
@phdthesis{Ross2015,
1716+
@thesis{Ross2015,
17111717
title = {Algebraic and {{Logical Methods}} in {{Quantum Computation}}},
17121718
author = {Ross, Neil J.},
17131719
date = {2015-08},
1720+
type = {phdthesis},
17141721
institution = {Dalhousie University},
17151722
location = {{Halifax, Nova Scotia, Canada}},
17161723
eprinttype = {arXiv},
@@ -1825,10 +1832,11 @@ @inproceedings{Singhal2020
18251832
bibsource = qplbib
18261833
}
18271834

1828-
@mastersthesis{Singhal2020a,
1835+
@thesis{Singhal2020a,
18291836
title = {Quantum Hoare Type Theory},
18301837
author = {Singhal, Kartik},
18311838
date = {2020-12},
1839+
type = {mathesis},
18321840
institution = {University of Chicago},
18331841
location = {Chicago, IL},
18341842
eprinttype = {arXiv},

‎bibtex-compatibility.py

+49
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
# Original author: Jon Sterling
2+
# Original source: https://github.com/jonsterling/bibtex-references
3+
# Modified for using in qpl-bib
4+
5+
import re
6+
import sys
7+
8+
month_names = {
9+
1: "jan",
10+
2: "feb",
11+
3: "mar",
12+
4: "apr",
13+
5: "may",
14+
6: "jun",
15+
7: "jul",
16+
8: "aug",
17+
9: "sep",
18+
10: "oct",
19+
11: "nov",
20+
12: "dec"
21+
}
22+
23+
db_name = sys.argv[1]
24+
25+
old_db = open(db_name + "-expanded.bib","r")
26+
new_db = open("bibtex.bib","w")
27+
28+
for line in old_db.readlines():
29+
date_pattern = re.search("date.*{(\d+)-?(\d+)?.*}",line)
30+
if date_pattern:
31+
new_db.write(" year = {{{0:s}}},\n".format(date_pattern.group(1)))
32+
# print " year = {{{0:s}}},\n".format(date_pattern.group(1)),
33+
if date_pattern.group(2) != None:
34+
month = month_names[int(date_pattern.group(2))];
35+
new_db.write(" month = {},\n".format(month))
36+
elif re.search("journaltitle",line):
37+
new_db.write(line.replace("journaltitle","journal"))
38+
elif re.search("location",line):
39+
new_db.write(line.replace("location","address"))
40+
elif re.search("eprinttype",line):
41+
new_db.write(line.replace("eprinttype","archiveprefix"))
42+
elif re.search("@online",line):
43+
new_db.write(line.replace("@online","@unpublished"))
44+
elif re.search("@report",line):
45+
new_db.write(line.replace("@report","@techreport"))
46+
else:
47+
new_db.write(line)
48+
old_db.close()
49+
new_db.close()

0 commit comments

Comments
 (0)