justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update bib.

This commit is contained in:
Justin Hsu 2022-03-01 00:03:20 -05:00
parent 6507a8c63e
commit fc8eb93856
2 changed files with 45 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bibs/header.bib
View File

@ -303,6 +303,7 @@
@STRING{pldi18 = pldi # ", Philadelphia, Pennsylvania" } @STRING{pldi18 = pldi # ", Philadelphia, Pennsylvania" }
@STRING{pldi19 = pldi # ", Phoenix, Arizona" } @STRING{pldi19 = pldi # ", Phoenix, Arizona" }
@STRING{pldi21 = pldi } @STRING{pldi21 = pldi }
@STRING{pldi22 = pldi # ", San Diego, California" }
% ---- % ----
@STRING{lfp = "ACM Symposium on Lisp and Functional Programming (LFP)" } @STRING{lfp = "ACM Symposium on Lisp and Functional Programming (LFP)" }
@STRING{lfp80 = lfp # ", Stanford, California" } @STRING{lfp80 = lfp # ", Stanford, California" }
@ -675,6 +676,7 @@
@STRING{aplas05 = aplas # ", Tsukuba, Japan" } @STRING{aplas05 = aplas # ", Tsukuba, Japan" }
@STRING{aplas10 = aplas # ", Shanghai, China" } @STRING{aplas10 = aplas # ", Shanghai, China" }
@STRING{aplas17 = aplas # ", Suzhou, China" } @STRING{aplas17 = aplas # ", Suzhou, China" }
@STRING{aplas21 = aplas # ", Chicago, Illinois" }
%---- %----
@STRING{ascrypt = "International Conference on the Theory and @STRING{ascrypt = "International Conference on the Theory and

46
bibs/myrefs.bib
View File

@ -1,18 +1,31 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{GBHSZ22,
title = {An abstract approach to conditional independence in {DIBI} models},
author = {Gu, Tao and
Bao, Jialu and
Hsu, Justin and
Silva, Alexandra and
Zanasi, Fabio},
year = 2022,
jh = yes,
jhsite = yes,
}
@unpublished{SLHR21, @unpublished{SLHR21,
title = {Symbolic Execution for Randomized Programs}, title = {Symbolic Execution for Randomized Programs},
author = {Susag, Zachary and author = {Susag, Zachary and
Lahiri, Sumit and Lahiri, Sumit and
Hsu, Justin and Hsu, Justin and
Roy, Subhajit}, Roy, Subhajit},
year = 2021, year = 2022,
jh = yes, jh = yes,
jhsite = no, jhsite = yes,
} }
@unpublished{BPHR21, @unpublished{BPHR21,
title = {Data-Driven Invariant Learning for Probabilistic Programs}, title = {Data-Driven Invariant Learning for Probabilistic Programs},
author = {Bao, Jialu and author = {Bao, Jialu and
Trivedi, Nitesh and
Pathak, Drashti and Pathak, Drashti and
Hsu, Justin and Hsu, Justin and
Roy, Subhajit}, Roy, Subhajit},
@ -20,7 +33,7 @@
eprint = {2106.05421}, eprint = {2106.05421},
archivePrefix = {arXiv}, archivePrefix = {arXiv},
primaryClass = {cs.PL}, primaryClass = {cs.PL},
year = 2021, year = 2022,
jh = yes, jh = yes,
jhsite = yes, jhsite = yes,
} }
@ -110,6 +123,17 @@
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{GDH22,
title = {{P4BID}: Information Flow Control in {P4}},
author = {Grewal, Karuna and
D'Antoni, Loris and
Hsu, Justin},
booktitle = pldi22,
year = 2022,
jh = yes,
jhsite = yes,
}
@article{BGHT21, @article{BGHT21,
title = {A Separation Logic for Negative Dependence}, title = {A Separation Logic for Negative Dependence},
author = {Bao, Jialu and author = {Bao, Jialu and
@ -1273,6 +1297,22 @@ inproceedings{HHRRW14,
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@talk{pldg21-talk,
title = {How to Read a {PL} Paper (while also doing other things too)},
organization = {PL Discussion Group Retreat, Cornell University},
year = 2021,
month = dec,
jh = yes,
}
@talk{aplas21-talk,
title = {A Probabilistic Separation Logic},
organization = aplas21,
year = 2021,
month = oct,
jh = yes,
}
@talk{ini21-talk, @talk{ini21-talk,
title = {Data-Driven Invariant Learning for Probabilistic Programs}, title = {Data-Driven Invariant Learning for Probabilistic Programs},
organization = {Verified Software: From Theory to Practice {(VSOW03)}, Isaac organization = {Verified Software: From Theory to Practice {(VSOW03)}, Isaac