-
Notifications
You must be signed in to change notification settings - Fork 0
Home
We use Zulip for all lab communication. All announcements, advertisements, and conversations are done over threaded chat. Please send Sankha an email to join the lab Zulip.
We use the ku-progsys GitHub to collaborate on code. All members have open-access to repositories.
We have a one-on-one meeting weekly for every student. Further, we do 15 minute status meetings thrice a week for the entire group. The status meetings are stand-up meetings where everyone shares a quick update of what they have done and what they are planning to work on next. It is intended to keep the group updated about everyone's research and schedule emergency meetings with Sankha in-case someone is blocked.
Status meetings are typically in-person. There is an Zoom or write-in option.
Spring 2025 Status Meetings: Tue and Thu at 12:30pm in Eaton 2034. Fri after reading group in Nichols.
The Lambda Reading Group meets weekly to discuss papers in the area of programming languages, program analysis, and formal methods. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and formal methods.
All announcements are sent on lambda-reading@ku.edu mailing list. Please send Sankha (sankha@ku.edu) an email to join it.
Spring 2025 Meetings: Fri at 11am - 12pm