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

bib

Browse Source
This commit is contained in:
Justin Hsu
2025-05-07 16:03:31 +01:00
parent 6c3c81251b
commit 2eaf224572
3 changed files with 47 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
content/news.md
+2 -6
View File
@@ -1,3 +1,5 @@
+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
**PLDI 2025**. Congrats Ariel and Laura!
+ **09/2024** This academic year, I will be on sabbatical at **Imperial College
London** visiting [**George
Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric
@@ -6,9 +8,3 @@
+ **07/2024** I am honored to be selected for the [**2024 EATCS Presburger
Award**](https://www.eatcs.org/index.php/presburger). Thank you to all of my
mentors and collaborators for making this possible!
+ **04/2024** **A Categorical Approach to DIBI Models** to appear at **FSCD 2024**.
Congrats Tao and Jialu!
+ **04/2024** **Verifying Cake Cutting, Faster** to appear at **CAV 2024**.
Congrats Noah and Tean!
+ **04/2024** **Numerical Fuzz: A Type System for Rounding Error Analysis** to
appear at **PLDI 2024**. Congrats Ariel!