diff --git a/bibs/header.bib b/bibs/header.bib index 4bd9337..ef86ee7 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -544,7 +544,8 @@ % ---- @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 diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index a4960a7..a07d17a 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,4 +1,12 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% 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, title = {Separated and Shared Effects in Higher-Order Languages}, author = {Azevedo de Amorim, Pedro H. and Hsu, Justin}, @@ -108,6 +116,19 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% 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, title = {Cutting the Cake: A Language for Fair Division}, author = {Bertram, Noah and Levinson, Alex and Hsu, Justin}, @@ -164,6 +185,7 @@ jh = yes, jhsite = yes, reviewed = yes, + acceptance = {51/209=0.24}, note = "Distinguished Paper Award." } @@ -182,6 +204,7 @@ jh = yes, jhsite = yes, reviewed = yes, + acceptance = {68/330=0.20}, } @article{BGHT21, @@ -256,6 +279,7 @@ jh = yes, jhsite = yes, reviewed = yes, + acceptance = {115/952=0.12}, } @article{ABHKKM19, @@ -1236,6 +1260,19 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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, title = {Programming Languages Mentoring Workshop: Ten Years Later}, author = {Balzer, Stephanie and @@ -1348,6 +1385,14 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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, title = {Separation Logics for Probabilistic Programs}, organization = {{PRL} Seminar, Northeastern University}, diff --git a/content/news.md b/content/news.md index 721115a..69e1e82 100644 --- a/content/news.md +++ b/content/news.md @@ -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 - **PLDI 2023**. + **PLDI 2023**. Congrats Noah! + **01/2023** This spring, I am co-teaching 🐫[**Data Structures and Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023sp/)🐫 with Dexter Kozen. + **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 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**.