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

update

Browse Source
This commit is contained in:
justhsu
2026-08-12 11:00:58 -04:00
parent 45187a36f4
commit 82869324e0
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bibs/myrefs.bib
+2
View File
@@ -169,6 +169,8 @@
Hsu, Justin and Hsu, Justin and
Singh, Rachee}, Singh, Rachee},
booktitle = sigcomm26, booktitle = sigcomm26,
url = {https://dl.acm.org/doi/10.1145/3789240.3829151},
doi = {10.1145/3789240.3829151},
year = 2026, year = 2026,
jh = yes, jh = yes,
jhsite = yes, jhsite = yes,
content/about.md
+1 -1
View File
@@ -13,7 +13,7 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
Pennsylvania](https://www.upenn.edu). Pennsylvania](https://www.upenn.edu).
I am funded by the National Science Foundation, the Office of Naval Research, I am funded by the National Science Foundation, the Office of Naval Research,
and Facebook Research. and Jane Street.
## Research Interests ## ## Research Interests ##
I design methods to **formally verify** that **algorithms** are correct. I am I design methods to **formally verify** that **algorithms** are correct. I am