Mailing List ArchivesAuthenticated access |
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}
|
Mailing List ArchivesAuthenticated access |
|
| Date: | Thu, 14 Jan 2021 14:20:19 -0600 |
|---|---|
| From: | Aws Albarghouthi <aws@xxxxxxxxxxx> |
| Subject: | [madPL] cs 704 project ideas |
|
Hello all,
I'm teaching CS 704 this semester and I'm making a list of project ideas. If you have any project ideas you think is appropriate for a grad class, send them my way. Anything POPL/PLDI/CAV related is fair game. Cheers, Aws |
| [← Prev in Thread] | Current Thread | [Next in Thread→] |
|---|---|---|
| ||
| Previous by Date: | , (nil) |
|---|---|
| Next by Date: | [madPL] Should we resume our seminar starting next week?, Loris D'Antoni |
| Previous by Thread: | [madPL] blog post on how to build a quantum circuit simulator, Aws Albarghouthi |
| Next by Thread: | [madPL] Disserattion Defense Tomorrow 1pm, Qinheping HU |
| Indexes: | [Date] [Thread] |