Update bib.
This commit is contained in:
parent
9d85625357
commit
ee0cd79f1a
|
@ -103,6 +103,7 @@
|
||||||
eprint = {1907.10708},
|
eprint = {1907.10708},
|
||||||
archivePrefix = {arXiv},
|
archivePrefix = {arXiv},
|
||||||
primaryClass = {cs.PL},
|
primaryClass = {cs.PL},
|
||||||
|
doi = {10.1145/3371123},
|
||||||
month = jan,
|
month = jan,
|
||||||
journal = pacmpl,
|
journal = pacmpl,
|
||||||
volume = {4},
|
volume = {4},
|
||||||
|
@ -110,6 +111,7 @@
|
||||||
jhnote = "To appear at " # popl20 # ".",
|
jhnote = "To appear at " # popl20 # ".",
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
|
acceptance = {68/257=0.28},
|
||||||
}
|
}
|
||||||
|
|
||||||
@article{SFHKKS19,
|
@article{SFHKKS19,
|
||||||
|
@ -129,9 +131,11 @@
|
||||||
journal = pacmpl,
|
journal = pacmpl,
|
||||||
volume = {4},
|
volume = {4},
|
||||||
number = {POPL},
|
number = {POPL},
|
||||||
jhnote = "To appear at " # popl20 # ".",
|
jhnote = "To appear at " # popl20 # ", Distinguished Paper Award.",
|
||||||
|
note = "Distinguished Paper Award.",
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
|
acceptance = {68/257=0.28},
|
||||||
}
|
}
|
||||||
|
|
||||||
@article{BHYYZ19,
|
@article{BHYYZ19,
|
||||||
|
@ -146,6 +150,7 @@
|
||||||
eprint = {1901.05184},
|
eprint = {1901.05184},
|
||||||
archivePrefix = {arXiv},
|
archivePrefix = {arXiv},
|
||||||
primaryClass = {cs.LO},
|
primaryClass = {cs.LO},
|
||||||
|
doi = {10.1145/3371089},
|
||||||
month = jan,
|
month = jan,
|
||||||
journal = pacmpl,
|
journal = pacmpl,
|
||||||
volume = {4},
|
volume = {4},
|
||||||
|
@ -153,6 +158,7 @@
|
||||||
jhnote = "To appear at " # popl20 # ".",
|
jhnote = "To appear at " # popl20 # ".",
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
|
acceptance = {68/257=0.28},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{MZH19,
|
@inproceedings{MZH19,
|
||||||
|
@ -168,7 +174,6 @@
|
||||||
primaryClass = {cs.LG},
|
primaryClass = {cs.LG},
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
note = "To appear.",
|
|
||||||
acceptance = {850/4572=0.18},
|
acceptance = {850/4572=0.18},
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -186,6 +191,7 @@
|
||||||
primaryClass = {cs.PL},
|
primaryClass = {cs.PL},
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
|
acceptance = {60/154=0.38},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{SBGHK17,
|
@inproceedings{SBGHK17,
|
||||||
|
@ -203,6 +209,7 @@
|
||||||
primaryClass = {cs.PL},
|
primaryClass = {cs.PL},
|
||||||
reviewed = yes,
|
reviewed = yes,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
|
acceptance = {60/154=0.38},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{SKFHKKS18,
|
@inproceedings{SKFHKKS18,
|
||||||
|
@ -223,10 +230,11 @@
|
||||||
archivePrefix = {arXiv},
|
archivePrefix = {arXiv},
|
||||||
primaryClass = {cs.PL},
|
primaryClass = {cs.PL},
|
||||||
doi = {10.1145/3314221.3314639},
|
doi = {10.1145/3314221.3314639},
|
||||||
|
acceptance = {76/281=0.27},
|
||||||
}
|
}
|
||||||
|
|
||||||
@inproceedings{ZGBH19,
|
@inproceedings{ZGBH19,
|
||||||
title = {Fake News Detection via {NLP} is Vulnerable to Adversarial Attacks},
|
title = {Fake News Detection via {NLP} Is Vulnerable to Adversarial Attacks},
|
||||||
author = {Zhou, Zhixuan and
|
author = {Zhou, Zhixuan and
|
||||||
Guan, Huankang and
|
Guan, Huankang and
|
||||||
Bhat, Meghana Moorthy and
|
Bhat, Meghana Moorthy and
|
||||||
|
@ -962,6 +970,17 @@ inproceedings{HHRRW14,
|
||||||
}
|
}
|
||||||
|
|
||||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
@incollection{fopps-chapter,
|
||||||
|
titLe = {Probabilistic Couplings from Program Logics},
|
||||||
|
author = {Barthe, Gilles and
|
||||||
|
Hsu, Justin},
|
||||||
|
booktitle = {Foundations of Probabilistic Programming},
|
||||||
|
jh = yes,
|
||||||
|
reviewed = no,
|
||||||
|
survey = yes,
|
||||||
|
year = 2020,
|
||||||
|
}
|
||||||
|
|
||||||
@article{Murawski:2016:2893582,
|
@article{Murawski:2016:2893582,
|
||||||
titLe = {Programming Language Techniques for Differential Privacy},
|
titLe = {Programming Language Techniques for Differential Privacy},
|
||||||
author = {Barthe, Gilles and
|
author = {Barthe, Gilles and
|
||||||
|
@ -979,6 +998,7 @@ inproceedings{HHRRW14,
|
||||||
jh = yes,
|
jh = yes,
|
||||||
plclub = yes,
|
plclub = yes,
|
||||||
reviewed = no,
|
reviewed = no,
|
||||||
|
survey = yes,
|
||||||
}
|
}
|
||||||
|
|
||||||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||||
|
|
Loading…
Reference in New Issue