Schedule
Semester 20251: August 25, 2025 to December 8, 2025
Monday
Tuesday
Wednesday
Thursday
Friday
9:00 AM
MS CS Office Hours
Schedule via
Starfish
CS Council Meeting
Not available
Not available
Office Hours
10:00 AM
GCCIS Curriculum Committee
Prog. Lang. Reading Group
CYB-3710
11:00 AM
Office Hours
PSR (CSCI-541/641)
11:00–12:15
LBR-A201
MS CS Office Hours
Walk-in
PSR (CSCI-541/641)
11:00–12:15
LBR-A201
MS CS Office Hours
Schedule via
Starfish
12:00 PM
T. Schollenberger
(MS Project)
CS Curriculum Committee
CS Faculty Meeting
12:30–1:45 (monthly)
GCCIS PhD Faculty Meeting
12:30–1:30 (monthly)
1:00 PM
K. Tidwell
(MS Project)
M. Ko
(MS Project)
X. Shi
(MS Project)
CS MS Coffee Hour
1:30–2:30 (monthly)
CS Grad Lab (GOL-3660)
2:00 PM
MSP (CSCI-788)
2:00–2:50
WAL-3520
MSP (CSCI-788)
2:00–2:50
WAL-3520
MSP (CSCI-788)
2:00–2:50
WAL-3520
CS MS Team Meeting
3:00 PM
RIT Grad Council
MS CS Office Hours
Walk-in
J. Quinn
(MS Thesis)
4:00 PM
M. Saldanha
(MS Thesis)
- For appointments outside of office hours, please contact me by
email to make arrangements.
Teaching
- Rochester Institute of Technology
- University of Chicago
- Cornell University
-
…less…
Research
My main research interests lie with programming languages, including
compiler technology, parallelism and concurrency, type systems, and program semantics.
Professional Activities
-
The 2024 ACM SIGPLAN ML Family Workshop (ML'24) — Program Committee
- September 6, 2024; Milan, Italy (co-located with ICFP'24)
-
The 2023 ACM SIGPLAN ML Family Workshop (ML'23) — Program Committee
- September 8, 2023; Seattle, Washington, USA (co-located with ICFP'23)
The 34th Symposium on Implementation and Application of Functional Languages (IFL'22) — Program Committee
- August 31 – September 2, 2022; Copenhagen, Denmark
-
The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP'20) — Program Committee
- August 24 – 26, 2020; Virtual
-
The 2019 ACM SIGPLAN ML Family Workshop (ML'19) — Program Committee
- August 22, 2019; Berlin, Germany (co-located with ICFP'19)
-
The ACM Special Interest Group on Programming Languages (SIGPLAN) — Information Director (Steering Committee member)
- September 2015 — December 2018
-
The ICFP Programming Contest 2018 — Organizing Committee Chair
- July 20 – 23, 2018 (sponsored by ICFP'18)
-
The 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18) — External Review Committee
- September 24 – 26, 2018; St. Louis, Missouri, USA
-
…more…
-
The 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'18) — External Review Committee
- June 20 – 22, 2018; Philadelphia, Pennsylvania, USA
-
The 18th Symposium on Trends in Functional Programming (TFP'17) — Program Committee
- June 19 – 21, 2017; University of Kent at Canterbury, United Kingdom
-
The 21st ACM SIGPLAN International Conference on Functional Programming (ICFP'16) — Program Committee
- September 19 – 21, 2016; Nara, Japan
-
The 25th European Symposium on Programming (ESOP'16) — Program Committee
- April 2 – 8, 2016; Eindhoven, The Netherlands
-
The 26th International Symposium on Implementation and Application of Functional Languages (IFL'14) — Program Committee
- October 1 – 3, 2014; Boston, Massachusetts, USA
-
The 2014 ACM SIGPLAN ML Family Workshop (ML'14) — Program Committee
- September 4, 2014; Gothenburg, Sweden (co-located with ICFP'14)
-
The 16th Symposium on Trends in Functional Programming (TFP'14) — Program Committee
- May 26 – 28, 2014; Soesterberg, The Netherlands
-
The First International Workshop on Cross-model Language Design and Implementation (XLDI'12) — Program Committee
- September 9, 2012; Copenhagen, Denmark (co-located with ICFP'12)
-
The Ninth Asian Symposium on Programming Languages and Systems (APLAS'11) — Program Committee
- December 5 – 7, 2011; Kenting, Taiwan
-
The 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'11) — Program Committee
- January 26 – 28, 2011; Austin, Texas, USA
-
The 2010 ACM SIGPLAN Workshop on ML (ML 2010) — Program Chair
- September 26, 2010; Baltimore, Maryland, USA (co-located with ICFP'10)
-
The 22nd International Symposium on Implementation and Application of Functional Languages (IFL'10) — Program Committee
- September 1 – 3, 2010; The Netherlands
-
The 21st International Symposium on Implementation and Application of Functional Languages (IFL'09) — Program Committee
- September 23 – 25, 2009; South Orange, New Jersey, USA
-
Summer School on Theory and Practice of Language Implementation — Co-organizer
- July 23 – 31, 2009; Eugene, Oregon, USA
-
The International Symposium on Memory Management (ISMM'09) — Review Committee
- June 19 – 20, 2009; Dublin, Ireland (co-located with PLDI'09)
-
The Third Central European Functional Programming Summer School (CEFP'09) — Lecturer
- May 25 – 30, 2009; Komarno, Slovakia
-
The Fourth Workshop on Declarative Aspects of Multicore Programming (DAMP'09) — Program Committee
- January 20, 2009; Savannah, Georgia, USA (co-located with POPL'09)
-
Summer School on Logic and Theorem Proving in Programming Langauges — Co-organizer
- July 22 – 30, 2008; Eugene, Oregon, USA
-
The ACM SIGPLAN International Conference on Functional Programming (ICFP) — Publicity Chair (Steering Committee member)
- October 2006 – September 2009
-
The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP'07) — Program Committee
- October 1 – 3, 2007; Freiburg, Germany
-
The 2006 ACM SIGPLAN Workshop on ML (ML'06) — Program Committee
- September 16, 2006; Portland, Oregon, USA (co-located with ICFP'06)
-
…less…
Resources for Students
- Office hours (S20251): Mon. 11:00AM – 12:30pm, Wed. 9:30AM – 11:00pm
- Letters — information and instructions for students requesting a letter of recommendation
- Supervised — information about supervised independent studies and MS capstone activities
- Topics — suggested topics for MS capstone activities (projects & theses)
Biography
