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

Update news and teaching.

Browse Source
This commit is contained in:
justhsu
2026-08-17 14:51:13 -04:00
parent 82869324e0
commit 7cf45214ae
2 changed files with 3 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
content/about.md
+1 -1
View File
@@ -35,7 +35,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
## Teaching ## ## Teaching ##
- **Data Structures and Functional Programming (CS 3110)**: [F23](https://www.cs.cornell.edu/courses/cs3110/2023fa/) [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/) - **Data Structures and Functional Programming (CS 3110)**: [F23](https://www.cs.cornell.edu/courses/cs3110/2023fa/) [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
- **Category Theory for Computer Scientists (CS 6117)**: [F25](https://www.cs.cornell.edu/courses/cs6117/2025fa) [F22](teaching/f22/cs6117) - **Category Theory for Computer Scientists (CS 6117)**: [F26](https://www.cs.cornell.edu/courses/cs6117/2026fa) [F25](https://www.cs.cornell.edu/courses/cs6117/2025fa) [F22](teaching/f22/cs6117)
- **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182) - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182)
- **Reasoning about Probabilistic Programs** <br> - **Reasoning about Probabilistic Programs** <br>
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: **Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**:
content/news.md
+2 -17
View File
@@ -1,3 +1,5 @@
+ **08/2026** This fall, I'll be teaching [**Category Theory for Computer
Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2026fa/).
+ **08/2026** **$\lambda_{\lambda}$: A Programming Language for Photonic + **08/2026** **$\lambda_{\lambda}$: A Programming Language for Photonic
Switches** will appear at **SIGCOMM 2026**, and has been selected for a **Best Switches** will appear at **SIGCOMM 2026**, and has been selected for a **Best
Paper Award**. Congrats Vaibhav and Arjun!! Paper Award**. Congrats Vaibhav and Arjun!!
@@ -9,20 +11,3 @@
+ **05/2026** **Synthesizing Backward Error Bounds, Backward** will appear at + **05/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
**PLDI 2026**, and has been selected for a **Distinguished Paper Award**. **PLDI 2026**, and has been selected for a **Distinguished Paper Award**.
Congrats Laura!! Congrats Laura!!
+ **08/2025** I'm back to Ithaca after a year on sabbatical! This fall, I'll be
teaching [**Category Theory for Computer Scientists
(CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2025fa/).
+ **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A
Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats
Karuna and Vaibhav!
+ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
Pre-doctoral Research School in Computer Science (CMMRS
2025)**](https://cmmrs.mpi-sws.org/) on **Type Systems: Between Theory and
Practice**. A lot of fun, thanks for the highly engaged students!
+ **07/2025** My (first!) PhD student [**Jialu Bao**](https://baojia.lu/about/)
has successfully defended her thesis, and will be starting a postdoc at
Northeastern with Steven Holtzen. Huge congratulations Jialu!!
+ **07/2025** **Towards an Axiomatisation of the Neighborhood Monad** will appear at
**BMQL 2025**. Congrats to a fantastic group of students and TAs from the
[**Adjoint School 2025**](https://adjointschool.com/2025.html): Max, Chase,
Jonas, Jón, and Jessica!