Add ICTAC acceptance.
This commit is contained in:
Justin Hsu
parent
aa0fc82778
commit
8abd8fdfba
|
|
@ -555,6 +555,7 @@
|
|||
@STRING{icalp = {International Colloquium on Automata, Languages and
|
||||
Programming (ICALP)} }
|
||||
@STRING{icse = {International Conference on Software Engineering (ICSE)} }
|
||||
@STRING{ictac = {International Colloquium on Theoretical Aspects of Computing (ICTAC)} }
|
||||
@STRING{ijcai = {International Joint Conference on Artificial Intelligence (IJCAI)} }
|
||||
@STRING{ipco = {Conference on Integer Programming and Combinatorial
|
||||
Optimization (IPCO)} }
|
||||
|
|
@ -741,6 +742,8 @@ STRING{fse08 = fse # ", Atlanta, Georgia" }
|
|||
% ---
|
||||
@STRING{icse14 = icse # ", Hyderabad, India" }
|
||||
% ---
|
||||
@STRING{ictac18 = ictac # ", Stellenbosch, South Africa" }
|
||||
% ---
|
||||
@STRING{ijcai15 = ijcai # ", Buenos Aires, Argentina" }
|
||||
% ---
|
||||
@STRING{ipco06 = ipco # ", Vancouver, British Columbia" }
|
||||
|
|
|
|||
|
|
@ -1,18 +1,4 @@
|
|||
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
@unpublished{vHHOS18,
|
||||
title = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
|
||||
author = {van Heerdt, Gerco and
|
||||
Hsu, Justin and
|
||||
Ouaknine, Jo\"el and
|
||||
Silva, Alexandra},
|
||||
year = {2018},
|
||||
jh = yes,
|
||||
url = {https://arxiv.org/abs/1805.11550},
|
||||
eprint = {1805.11550},
|
||||
archivePrefix = {arXiv},
|
||||
primaryClass = {cs.FL},
|
||||
}
|
||||
|
||||
@unpublished{SKFHKKS18,
|
||||
title = {Probabilistic Program Equivalence for {NetKAT}},
|
||||
author = {Smolka, Steffen and
|
||||
|
|
@ -46,7 +32,6 @@
|
|||
}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
||||
@phdthesis{JHThesis,
|
||||
title = {Probabilistic Couplings for Probabilistic Reasoning},
|
||||
author = {Justin Hsu},
|
||||
|
|
@ -82,7 +67,7 @@
|
|||
jh = yes,
|
||||
reviewed = yes,
|
||||
poster = {https://justinh.su/files/posters/dualquery.pdf},
|
||||
jhnote = "Previously published in " # icml14 # ", 2014."
|
||||
jhnote = "Previously published in " # icml14 # ", 2014."
|
||||
}
|
||||
|
||||
@article{HHRRW14,
|
||||
|
|
@ -106,16 +91,33 @@
|
|||
jh = yes,
|
||||
reviewed = yes,
|
||||
poster = {https://justinh.su/files/posters/matchings.pdf},
|
||||
jhnote = "Previously published in " # stoc14 # ", 2014."
|
||||
jhnote = "Previously published in " # stoc14 # ", 2014."
|
||||
}
|
||||
|
||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
@inproceedings{vHHOS18,
|
||||
title = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
|
||||
author = {van Heerdt, Gerco and
|
||||
Hsu, Justin and
|
||||
Ouaknine, Jo\"el and
|
||||
Silva, Alexandra},
|
||||
year = {2018},
|
||||
jhnote = "To appear.",
|
||||
jh = yes,
|
||||
reviewed = yes,
|
||||
booktitle = ictac18,
|
||||
url = {https://arxiv.org/abs/1805.11550},
|
||||
eprint = {1805.11550},
|
||||
archivePrefix = {arXiv},
|
||||
primaryClass = {cs.FL},
|
||||
}
|
||||
|
||||
@inproceedings{AH18,
|
||||
title = {Constraint-Based Synthesis of Coupling Proofs},
|
||||
author = {Albarghouthi, Aws and
|
||||
Hsu, Justin},
|
||||
year = {2018},
|
||||
jhnote = "To appear.",
|
||||
jhnote = "To appear.",
|
||||
jh = yes,
|
||||
reviewed = yes,
|
||||
booktitle = cav18,
|
||||
|
|
@ -139,7 +141,7 @@
|
|||
eprint = {1802.06283},
|
||||
archivePrefix = {arXiv},
|
||||
primaryClass = {cs.PL},
|
||||
jhnote = "To appear.",
|
||||
jhnote = "To appear.",
|
||||
}
|
||||
|
||||
@inproceedings{BEGGHS16,
|
||||
|
|
@ -173,7 +175,7 @@
|
|||
number = {POPL},
|
||||
articleno = {58},
|
||||
url = {https://arxiv.org/abs/1709.05361},
|
||||
jhnote = "Appeared at " # popl18 # ".",
|
||||
jhnote = "Appeared at " # popl18 # ".",
|
||||
reviewed = yes,
|
||||
doi = {10.1145/3158146},
|
||||
eprint = {1709.05361},
|
||||
|
|
@ -197,7 +199,7 @@
|
|||
articleno = {57},
|
||||
doi = {10.1145/3158145},
|
||||
url = {https://arxiv.org/abs/1708.02537},
|
||||
jhnote = "Appeared at " # popl18 # ".",
|
||||
jhnote = "Appeared at " # popl18 # ".",
|
||||
reviewed = yes,
|
||||
slides = {https://justinh.su/files/slides/eprhl.pdf},
|
||||
eprint = {1708.02537},
|
||||
|
|
@ -340,7 +342,7 @@
|
|||
reviewed = yes,
|
||||
slides = {https://justinh.su/files/slides/advanced.pdf},
|
||||
acceptance = {137/831=0.17},
|
||||
jhnote = {There is an error in the treatment of advanced composition;
|
||||
jhnote = {There is an error in the treatment of advanced composition;
|
||||
please see my thesis for the correction.},
|
||||
}
|
||||
|
||||
|
|
@ -764,7 +766,7 @@ inproceedings{HHRRW14,
|
|||
archivePrefix = {arXiv},
|
||||
primaryClass = {cs.DS},
|
||||
doi = {10.1007/978-3-642-31594-7_39},
|
||||
jhnote = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.},
|
||||
jhnote = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.},
|
||||
jh = yes,
|
||||
reviewed = yes,
|
||||
slides = {https://justinh.su/files/slides/heavy-hh.pdf},
|
||||
|
|
|
|||
|
|
@ -1,3 +1,5 @@
|
|||
+ **07/2018** **Convex Language Semantics for Nondeterministic Probabilistic
|
||||
Automata** will appear at **ICTAC 2018**!
|
||||
+ **07/2018** I am honored to receive the ACM SIGPLAN [**John C. Reynolds Doctoral
|
||||
Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my
|
||||
dissertation **Probabilistic Couplings for Probabilistic Reasoning**!
|
||||
|
|
|
|||
Loading…
Reference in New Issue