This commit is contained in:
Justin Hsu 2023-12-01 23:46:10 -05:00
parent fffece9cd5
commit cce8213d29
3 changed files with 53 additions and 10 deletions

View File

@ -544,7 +544,8 @@
% ---- % ----
@STRING{hotnets = "{ACM} Workshop on Hot Topics in Networks ({HotNets})" } @STRING{hotnets = "{ACM} Workshop on Hot Topics in Networks ({HotNets})" }
@STRING{hotnets19 = hotcloud # ", Princeton, New Jersey"} @STRING{hotnets19 = hotnets # ", Princeton, New Jersey"}
@STRING{hotnets23 = hotnets # ", Cambridge, Massachusetts"}
% ---- % ----
@STRING{eucrypt = "{IACR} {I}nternational {C}onference on the {T}heory and @STRING{eucrypt = "{IACR} {I}nternational {C}onference on the {T}heory and

View File

@ -1,4 +1,12 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{KH23,
title = {A Type System for Numerical Error Analysis},
author = {Ariel Kellison and Justin Hsu},
year = 2023,
jh = yes,
jhsite = yes,
}
@unpublished{AH23, @unpublished{AH23,
title = {Separated and Shared Effects in Higher-Order Languages}, title = {Separated and Shared Effects in Higher-Order Languages},
author = {Azevedo de Amorim, Pedro H. and Hsu, Justin}, author = {Azevedo de Amorim, Pedro H. and Hsu, Justin},
@ -108,6 +116,19 @@
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{GGH23,
title = {Expressive Policies For Microservice Networks},
author = {Grewal, Karuna and Godfrey, Brighten and Hsu, Justin},
year = 2023,
booktitle = hotnets23,
reviewed = yes,
url = {https://dl.acm.org/doi/10.1145/3626111.3628181},
jh = yes,
jhsite = yes,
doi = {10.1145/3626111.3628181},
pages ={280--286},
}
@article{BLH23, @article{BLH23,
title = {Cutting the Cake: A Language for Fair Division}, title = {Cutting the Cake: A Language for Fair Division},
author = {Bertram, Noah and Levinson, Alex and Hsu, Justin}, author = {Bertram, Noah and Levinson, Alex and Hsu, Justin},
@ -164,6 +185,7 @@
jh = yes, jh = yes,
jhsite = yes, jhsite = yes,
reviewed = yes, reviewed = yes,
acceptance = {51/209=0.24},
note = "Distinguished Paper Award." note = "Distinguished Paper Award."
} }
@ -182,6 +204,7 @@
jh = yes, jh = yes,
jhsite = yes, jhsite = yes,
reviewed = yes, reviewed = yes,
acceptance = {68/330=0.20},
} }
@article{BGHT21, @article{BGHT21,
@ -256,6 +279,7 @@
jh = yes, jh = yes,
jhsite = yes, jhsite = yes,
reviewed = yes, reviewed = yes,
acceptance = {115/952=0.12},
} }
@article{ABHKKM19, @article{ABHKKM19,
@ -1236,6 +1260,19 @@ inproceedings{HHRRW14,
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@misc{plp-blog-ct,
title = {Teaching Category Theory to Computer Scientists},
author = {Hsu, Justin},
url = {https://blog.sigplan.org/2023/04/04/teaching-category-theory-to-computer-scientists/},
howpublished = {{SIGPLAN} {PL} {P}erspectives},
year = 2023,
month = apr,
jh=yes,
jhsite = yes,
reviewed=no,
note = {https://blog.sigplan.org/2023/04/04/teaching-category-theory-to-computer-scientists/},
}
@misc{plp-blog-plmw, @misc{plp-blog-plmw,
title = {Programming Languages Mentoring Workshop: Ten Years Later}, title = {Programming Languages Mentoring Workshop: Ten Years Later},
author = {Balzer, Stephanie and author = {Balzer, Stephanie and
@ -1348,6 +1385,14 @@ inproceedings{HHRRW14,
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@talk{njpls23-talk,
title = {Cutting the Cake: A Language for Fair Division},
organization = {New Jersey Programming Languages and Systems Seminar ({NJPLS})},
year = 2023,
month = may,
jh = yes,
}
@talk{neu23-talk, @talk{neu23-talk,
title = {Separation Logics for Probabilistic Programs}, title = {Separation Logics for Probabilistic Programs},
organization = {{PRL} Seminar, Northeastern University}, organization = {{PRL} Seminar, Northeastern University},

View File

@ -1,16 +1,13 @@
+ **09/2023** **Expressive Policies for Microservice Networks** to appear at
**HotNets 2023**. Congrats Karuna!
+ **08/2023** This fall, I am once again co-teaching 🐫[**Data Structures and
Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫
with Dexter Kozen.
+ **03/2023** **Cutting the Cake: A Language for Fair Division** to appear at + **03/2023** **Cutting the Cake: A Language for Fair Division** to appear at
**PLDI 2023**. **PLDI 2023**. Congrats Noah!
+ **01/2023** This spring, I am co-teaching 🐫[**Data Structures and Functional + **01/2023** This spring, I am co-teaching 🐫[**Data Structures and Functional
Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫 Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫
with Dexter Kozen. with Dexter Kozen.
+ **11/2022** My domain is moving to `www.justinhsu.net`. You can reach me at + **11/2022** My domain is moving to `www.justinhsu.net`. You can reach me at
**new email address** `email@justinhsu.net`, or at `justin@cs.cornell.edu`. My **new email address** `email@justinhsu.net`, or at `justin@cs.cornell.edu`. My
current email **will soon stop working**! current email **will soon stop working**!
+ **08/2022** Our paper **Data-Driven Invariant Learning for Probabilistic
Programs** received a Distinguished Paper Award at **CAV 2022**!
+ **08/2022** This fall, I am teaching [**Category Theory for Computer
Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)!
+ **07/2022** **Symbolic Execution for Randomized Programs** to
appear at **OOPSLA 2022**.
+ **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
appear at **CAV 2022**.