From ba145aa607ea9d3f0d274d448e5f928ed8db51ea Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Tue, 28 Jan 2025 20:26:51 -0500 Subject: [PATCH 1/7] Add student data --- index.md | 107 ++++++++++++++++++++++++++++++++++++++++++++++++++++--- 1 file changed, 103 insertions(+), 4 deletions(-) diff --git a/index.md b/index.md index 429d438ca..8f56713da 100644 --- a/index.md +++ b/index.md @@ -48,7 +48,106 @@ To experience the Checker Framework from within your browser, see our [Source Code](https://github.com/eisop/webserver/). -## Contact - -Please address your questions and comments to -[Werner Dietl](https://ece.uwaterloo.ca/~wdietl/contact.html). +## Student + +### Current Students +- Yuliia Nortman. Design and Implementation of a Type System for Enhanced Mathematical Operations in Rings. PhD exchange student (ongoing). May 2024. +- Haibo Sun. JSpecify Conformance Test Improvements. Spring 2024 URA student (ongoing). May 2024. +- Charlie Cao. Nullness Checker Test Suite Improvements. Spring 2024 undergraduate volunteer (ongoing). May 2024. +- Thomas Kirz. Optional type systems for database queries. MASc student (ongoing) now at TU Wien; collaboration with Prof. Scherzinger, University of Passau, and Mattias Ulbrich, KIT. June 2023. +- [Aosen Xiong](https://github.com/Ao-senXiong). Pluggable Type Systems (TBD). PhD student (ongoing). January 2023. +- Florian Lanzinger. Property Type Systems. Visiting PhD student (September to November 2022); PhD student at KIT, supervised by Mattias Ulbrich; previously MASc student, co-advised with Mattias Ulbrich, KIT (May 2020 to February 2021). May 2020. +- Wolfram Pfeifer. Improved Abstractions for Deductive Proofs. PhD student (ongoing) at KIT, supervised by Mattias Ulbrich. June 2023. +- Mark S. Dittmer. Object Capability Systems (TBD). PhD student (ongoing); co-supervised with Mahesh V. Tripunitara. January 2021. + +
+ Previsous Graduate Students + + ### {#graduated-students data-source-line="65"} + - Haifeng Shi. Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization. MASc student (started January 2022). December 2023. + - Alex Liu. A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API. MASc student (started January 2022). August 2023. + - Zhiping Cai. UniFlow: A CFG-Based Framework for Pluggable Type Checking and Type Inference. MASc student (started May 2021); previously Winter 2020 URA student working on Checker Framework Inference Improvements (January to April 2020). April 2023. + - Piyush Jha. OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System. MASc student (started May 2021). December 2022. + - Negar Sabour. Static Verification of 5G-AKA. MASc student (started January 2022); co-supervised with Mahesh V. Tripunitara. April 2023. + - Di Wang. Interval Type Inference: Improvements and Evaluations. MASc student (started May 2020). December 2021. + - Lian Sun. An Immutability Type System for Classes and Objects: Improvements, Experiments, and Comparisons. MASc student (started September 2019). Previously MEng student assistant in Spring 2019. April 2021. + - Weitian Xing. Light-weight verification of cryptographic API usage. MASc student (started May 2019). Previously MEng student assistant in Winter 2019. December 2020. + - Puneet Gill. Least-Privilege Identity-Based Policies for Lambda Functions in Amazon Web Services (AWS). MASc student (started January 2019); co-supervised with Mahesh V. Tripunitara. December 2020. + - Jenny (Tongtong) Xiang. Type Checking and Whole-program Inference for Value Range Analysis. MASc student (started May 2018). Spring 2019: Internship at Amazon Web Services in Seattle, USA. October 2020. + - Jeff Luo. Pluggable Type Systems. PhD student (started July 2014, incomplete). Spring 2016 and Spring 2017: Internships at Google, Waterloo, Canada. Mr. Luo was awarded scholarships, including two Queen Elizabeth II Graduate Scholarships in Science & Technology, and awards for his excellent teaching efforts. On leave January to December 2019, terminated PhD program in December 2019. Now at Google. December 2019. + - Daniel Gerald Caccamo. GoA — Actors with Locally Managed Memory for Go. MASc student (started September 2016). Spring 2017: Internship at Amazon, Seattle, USA. Now at IBM, Ottawa, Canada. December 2018. + - Charles Zhuo Chen. Pluggable Properties for Program Understanding: Ontic Type Checking and Inference. MASc student (started January 2016). Winter 2017: Internship at Amazon, Toronto, Canada. Now a full-time employee there. April 2018. + - Mier Ta. Context Sensitive Typechecking And Inference: Ownership And Immutability. MASc student (started January 2016). Winter 2017: Internship at Amazon, Vancouver, Canada. Now a full-time employee at Amazon, Toronto, Canada. April 2018. + - Sadaf Tajik. Pluggable Type Systems. MASc student (started September 2017, not finished). April 2018. + - Jason Jianchu Li. A General Pluggable Type Inference Framework and its use for Dataflow Analysis. MASc student (started May 2015). Spring 2016: Internship at Blackberry, Waterloo, Canada. Now at Amazon, Vancouver, Canada. April 2017. + - Yameng Li. Pluggable Type Systems. MEng student volunteer (started May 2016). July 2016. + - Dan Brotherston. Gradual Pluggable Typing in Java. MMath student (started May 2014); co-supervised with Ondrej Lhoták. Now at TL Innovation Lab, Waterloo, Canada. April 2016. + - Nahid Juma. Complexity Analysis of Tunable Static Inference For Generic Universe Types. MASc student (started July 2014); co-supervised with Mahesh V. Tripunitara. August 2015. + +
+ +
+ Previous Undergraduate Students + + ## + - Emily Tao. Avoiding bytecode storage for optional type systems. Winter 2024 URA student (started January 2024). April 2024. + - Rohan Shetty. JSpecify conformance tests for the EISOP Nullness Checker. Winter 2024 URA student (started January 2024). April 2024. + - Omer Adeel. Build system integration improvements. Winter 2024 URA student (started January 2024). April 2024. + - Shaheer Hasan. Basic support for SARIF file format. Winter 2024 URA student (started January 2024). April 2024. + - Nicholas Chew. Improved nullness analysis in the ECF language server. Fall 2023 URA student (started September 2023). December 2023. + - Zain Salman. Integrate type system knowledge into the ECF language server. Fall 2023 URA student (started September 2023). December 2023. + - Luc Antony Lorand Edes. Automatically generating a website from GitHub releases. Winter 2023 URA student (started January 2023). April 2023. + - Farzan Mirshekari. Interactive CFG visualization. Winter 2023 URA student (started January 2023). April 2023. + - Tony Sun. JSpecify nullness specification and checker. Winter 2023 URA student (started January 2023). April 2023. + - Padena Rasouli-Baghban. Upgraded Live Demo Website. Fall 2022 URA student (started September 2022). December 2022. + - Daniel Zhu. Build support for multiple Java versions. Fall 2022 URA student (started September 2022). December 2022. + - Kaihang Jiang. Website generation tool. Spring 2022 URA student (started May 2022). August 2022. + - Javier Rodriguez. Test case generation tool. Spring 2022 URA student (started May 2022). August 2022. + - Yumeng Chen. Preprocessing for multi-release JAR files. Winter 2022 URA student (started January 2022). April 2022. + - Jing Liu. Multi-release JAR files for compiler plug-ins. Fall 2021 URA student (started September 2021). December 2021. + - Evette Madeline Chan-Lee. VSCode Annotated Type Visualization. Spring 2021 URA student (started May 2021). August 2021. + - Andrew Guo. Benchmarking and Improving Value Inference. Spring 2021 URA student (started May 2021). August 2021. + - Jainish Mehta. Live Demo Website Improvements. Winter 2021 URA student (started January 2021). April 2021. + - Willa Kong. Type Inference Live Demo Website. Winter 2021 URA student (started January 2021). April 2021. + - Frank Ding. Type Inference Benchmarks. Fall 2020 URA student (started September 2020). December 2020. + - Leo Liu. Improving Viewpoint Adaptation Test Coverage. Spring 2020 URA student (started May 2020). August 2020. + - Shiji Liu. Checker Framework IDE Integration. Spring 2020 URA student (started May 2020). August 2020. + - Hejia Wang. Checker Framework Eclipse Integration. Winter 2020 URA student (started January 2020). April 2020. + - Yuanhui Cheng. Correct Usage of Cryptographic APIs. Winter 2020 URA student (started January 2020). April 2020. + - Ahmad Tahir Chaudhry. Checker Framework Live Demo Website Improvements. Winter 2020 student volunteer (started January 2020). April 2020. + - Michael Xiheng Jiang. Checker Framework Eclipse Integration. Fall 2019 URA student (started September 2019). December 2019. + - Nhat Nguyen. Performance of Static Analysis Systems. Fall 2019 CS 499R student (started September 2019). December 2019. + - Baorui Zhou. Pluggable Type System Formalizations. Winter 2019 URI student, Fall 2018 URA student, Spring 2018 URI student. April 2019. + - Jerry Huang. Checker Framework Inference Web Demo. Fall 2018 URA student (started September 2018). December 2018. + - Sunjay Varma. Gauss-Jordan Constraint Solver. Fall 2018 URA student (started September 2018). December 2018. + - Yiren Zhou. Checker Framework Atom Integration. Fall 2018 URA student (started September 2018). December 2018. + - Adam Yifan Yang. Checker Framework LSP Integration. Spring 2018 URA student (started May 2018). August 2018. + - Amanda Yuxin Jiang. Checker Framework VSCode Integration. Winter 2018 URA student (started January 2018). April 2018. + - Haaris Ahmed. Checker Framework IDE Integration. Fall 2017 URA student (started September 2017). December 2017. + - Boying (Ashley) Liu. Checker Framework Live Demo Improvements. Spring 2017 URA student (started May 2017). August 2017. + - Vic Hao-Chien Lin. Benchmark infrastructure and Web Interface. Spring 2017 USRA student (started May 2017). August 2017. + - Andy Chang Ho Lee. Investigate a new Pluggable Type System. Fall 2016 URA student (started September 2016). December 2016. + - Fernando Peña. Checker Framework Rise4Fun Integration. Fall 2016 URA student (started September 2016). December 2016. + - Luqman Aden. Checker Framework Inference Improvements. Fall 2016 USRA student (started September 2016). Now at Microsoft, Redmond, USA. December 2016. + - Matthew D’Souza. Checker Framework Java 9 Update. Fall 2016 URA student (started September 2016). December 2016. + - Steven Jia. Checker Framework IntelliJ Integration. Fall 2016 URA student (started September 2016). December 2016. + - Thomas Feng. Checker Framework Performance Improvements. Fall 2016 student volunteer (started September 2016). December 2016. + - Tony Rong Tan Wang. Checker Framework NetBeans Integration. Fall 2016 URA student (started September 2016). December 2016. + - Shruti Dembla. Checker Framework Performance Profiling. Winter 2016 URA student (started January 2016). May 2016. + +
+ +
+ Other Projects + + ### + - Yuyan Bao. Type systems for Program Verification. Post-Doctoral researcher (started January 2021); co-supervised with Arie Gurfinkel. Now an Assistant Professor at Augusta University. December 2022. + - Fady Abousifein. Project documentation and improvements. Spring 2022 high school volunteer (started May 2022). August 2022. + - Seung Whan (Peter) Song. Project documentation and improvements. Fall 2021/Winter 2022 high school volunteer (started September 2021). June 2022. + - Aditya Singh. General Tainting Checker. Spring 2020 GSoC student (started May 2020). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and is the GSoC advisor for Mr. Singh. September 2020. + - Jiangqi Zhang. Checker Framework LSP Server. ECE 699 and MEng student assistant (started January 2019). December 2019. + - Ayush Agarwal. Android Support Annotations. Spring 2019 GSoC student (started April 2019). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Agarwal. August 2019. + - Ravi Roshan. Checker Framework Java 9 support. Spring 2018 GSoC student (started April 2018). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Roshan. August 2018. + - Shinya Yoshida. Control Flow Graph Enhancements. Spring 2017 GSoC student (started April 2017). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Yoshida. August 2017. + +
\ No newline at end of file From e3dfb47c1203487b9e0ef9cfe7a41601e0fb163e Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Sun, 23 Feb 2025 14:03:19 -0500 Subject: [PATCH 2/7] Update student list using hyperlink --- index.md | 102 +------------------------------------------------------ 1 file changed, 1 insertion(+), 101 deletions(-) diff --git a/index.md b/index.md index 8f56713da..3c61f1ff3 100644 --- a/index.md +++ b/index.md @@ -50,104 +50,4 @@ To experience the Checker Framework from within your browser, see our ## Student -### Current Students -- Yuliia Nortman. Design and Implementation of a Type System for Enhanced Mathematical Operations in Rings. PhD exchange student (ongoing). May 2024. -- Haibo Sun. JSpecify Conformance Test Improvements. Spring 2024 URA student (ongoing). May 2024. -- Charlie Cao. Nullness Checker Test Suite Improvements. Spring 2024 undergraduate volunteer (ongoing). May 2024. -- Thomas Kirz. Optional type systems for database queries. MASc student (ongoing) now at TU Wien; collaboration with Prof. Scherzinger, University of Passau, and Mattias Ulbrich, KIT. June 2023. -- [Aosen Xiong](https://github.com/Ao-senXiong). Pluggable Type Systems (TBD). PhD student (ongoing). January 2023. -- Florian Lanzinger. Property Type Systems. Visiting PhD student (September to November 2022); PhD student at KIT, supervised by Mattias Ulbrich; previously MASc student, co-advised with Mattias Ulbrich, KIT (May 2020 to February 2021). May 2020. -- Wolfram Pfeifer. Improved Abstractions for Deductive Proofs. PhD student (ongoing) at KIT, supervised by Mattias Ulbrich. June 2023. -- Mark S. Dittmer. Object Capability Systems (TBD). PhD student (ongoing); co-supervised with Mahesh V. Tripunitara. January 2021. - -
- Previsous Graduate Students - - ### {#graduated-students data-source-line="65"} - - Haifeng Shi. Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization. MASc student (started January 2022). December 2023. - - Alex Liu. A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API. MASc student (started January 2022). August 2023. - - Zhiping Cai. UniFlow: A CFG-Based Framework for Pluggable Type Checking and Type Inference. MASc student (started May 2021); previously Winter 2020 URA student working on Checker Framework Inference Improvements (January to April 2020). April 2023. - - Piyush Jha. OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System. MASc student (started May 2021). December 2022. - - Negar Sabour. Static Verification of 5G-AKA. MASc student (started January 2022); co-supervised with Mahesh V. Tripunitara. April 2023. - - Di Wang. Interval Type Inference: Improvements and Evaluations. MASc student (started May 2020). December 2021. - - Lian Sun. An Immutability Type System for Classes and Objects: Improvements, Experiments, and Comparisons. MASc student (started September 2019). Previously MEng student assistant in Spring 2019. April 2021. - - Weitian Xing. Light-weight verification of cryptographic API usage. MASc student (started May 2019). Previously MEng student assistant in Winter 2019. December 2020. - - Puneet Gill. Least-Privilege Identity-Based Policies for Lambda Functions in Amazon Web Services (AWS). MASc student (started January 2019); co-supervised with Mahesh V. Tripunitara. December 2020. - - Jenny (Tongtong) Xiang. Type Checking and Whole-program Inference for Value Range Analysis. MASc student (started May 2018). Spring 2019: Internship at Amazon Web Services in Seattle, USA. October 2020. - - Jeff Luo. Pluggable Type Systems. PhD student (started July 2014, incomplete). Spring 2016 and Spring 2017: Internships at Google, Waterloo, Canada. Mr. Luo was awarded scholarships, including two Queen Elizabeth II Graduate Scholarships in Science & Technology, and awards for his excellent teaching efforts. On leave January to December 2019, terminated PhD program in December 2019. Now at Google. December 2019. - - Daniel Gerald Caccamo. GoA — Actors with Locally Managed Memory for Go. MASc student (started September 2016). Spring 2017: Internship at Amazon, Seattle, USA. Now at IBM, Ottawa, Canada. December 2018. - - Charles Zhuo Chen. Pluggable Properties for Program Understanding: Ontic Type Checking and Inference. MASc student (started January 2016). Winter 2017: Internship at Amazon, Toronto, Canada. Now a full-time employee there. April 2018. - - Mier Ta. Context Sensitive Typechecking And Inference: Ownership And Immutability. MASc student (started January 2016). Winter 2017: Internship at Amazon, Vancouver, Canada. Now a full-time employee at Amazon, Toronto, Canada. April 2018. - - Sadaf Tajik. Pluggable Type Systems. MASc student (started September 2017, not finished). April 2018. - - Jason Jianchu Li. A General Pluggable Type Inference Framework and its use for Dataflow Analysis. MASc student (started May 2015). Spring 2016: Internship at Blackberry, Waterloo, Canada. Now at Amazon, Vancouver, Canada. April 2017. - - Yameng Li. Pluggable Type Systems. MEng student volunteer (started May 2016). July 2016. - - Dan Brotherston. Gradual Pluggable Typing in Java. MMath student (started May 2014); co-supervised with Ondrej Lhoták. Now at TL Innovation Lab, Waterloo, Canada. April 2016. - - Nahid Juma. Complexity Analysis of Tunable Static Inference For Generic Universe Types. MASc student (started July 2014); co-supervised with Mahesh V. Tripunitara. August 2015. - -
- -
- Previous Undergraduate Students - - ## - - Emily Tao. Avoiding bytecode storage for optional type systems. Winter 2024 URA student (started January 2024). April 2024. - - Rohan Shetty. JSpecify conformance tests for the EISOP Nullness Checker. Winter 2024 URA student (started January 2024). April 2024. - - Omer Adeel. Build system integration improvements. Winter 2024 URA student (started January 2024). April 2024. - - Shaheer Hasan. Basic support for SARIF file format. Winter 2024 URA student (started January 2024). April 2024. - - Nicholas Chew. Improved nullness analysis in the ECF language server. Fall 2023 URA student (started September 2023). December 2023. - - Zain Salman. Integrate type system knowledge into the ECF language server. Fall 2023 URA student (started September 2023). December 2023. - - Luc Antony Lorand Edes. Automatically generating a website from GitHub releases. Winter 2023 URA student (started January 2023). April 2023. - - Farzan Mirshekari. Interactive CFG visualization. Winter 2023 URA student (started January 2023). April 2023. - - Tony Sun. JSpecify nullness specification and checker. Winter 2023 URA student (started January 2023). April 2023. - - Padena Rasouli-Baghban. Upgraded Live Demo Website. Fall 2022 URA student (started September 2022). December 2022. - - Daniel Zhu. Build support for multiple Java versions. Fall 2022 URA student (started September 2022). December 2022. - - Kaihang Jiang. Website generation tool. Spring 2022 URA student (started May 2022). August 2022. - - Javier Rodriguez. Test case generation tool. Spring 2022 URA student (started May 2022). August 2022. - - Yumeng Chen. Preprocessing for multi-release JAR files. Winter 2022 URA student (started January 2022). April 2022. - - Jing Liu. Multi-release JAR files for compiler plug-ins. Fall 2021 URA student (started September 2021). December 2021. - - Evette Madeline Chan-Lee. VSCode Annotated Type Visualization. Spring 2021 URA student (started May 2021). August 2021. - - Andrew Guo. Benchmarking and Improving Value Inference. Spring 2021 URA student (started May 2021). August 2021. - - Jainish Mehta. Live Demo Website Improvements. Winter 2021 URA student (started January 2021). April 2021. - - Willa Kong. Type Inference Live Demo Website. Winter 2021 URA student (started January 2021). April 2021. - - Frank Ding. Type Inference Benchmarks. Fall 2020 URA student (started September 2020). December 2020. - - Leo Liu. Improving Viewpoint Adaptation Test Coverage. Spring 2020 URA student (started May 2020). August 2020. - - Shiji Liu. Checker Framework IDE Integration. Spring 2020 URA student (started May 2020). August 2020. - - Hejia Wang. Checker Framework Eclipse Integration. Winter 2020 URA student (started January 2020). April 2020. - - Yuanhui Cheng. Correct Usage of Cryptographic APIs. Winter 2020 URA student (started January 2020). April 2020. - - Ahmad Tahir Chaudhry. Checker Framework Live Demo Website Improvements. Winter 2020 student volunteer (started January 2020). April 2020. - - Michael Xiheng Jiang. Checker Framework Eclipse Integration. Fall 2019 URA student (started September 2019). December 2019. - - Nhat Nguyen. Performance of Static Analysis Systems. Fall 2019 CS 499R student (started September 2019). December 2019. - - Baorui Zhou. Pluggable Type System Formalizations. Winter 2019 URI student, Fall 2018 URA student, Spring 2018 URI student. April 2019. - - Jerry Huang. Checker Framework Inference Web Demo. Fall 2018 URA student (started September 2018). December 2018. - - Sunjay Varma. Gauss-Jordan Constraint Solver. Fall 2018 URA student (started September 2018). December 2018. - - Yiren Zhou. Checker Framework Atom Integration. Fall 2018 URA student (started September 2018). December 2018. - - Adam Yifan Yang. Checker Framework LSP Integration. Spring 2018 URA student (started May 2018). August 2018. - - Amanda Yuxin Jiang. Checker Framework VSCode Integration. Winter 2018 URA student (started January 2018). April 2018. - - Haaris Ahmed. Checker Framework IDE Integration. Fall 2017 URA student (started September 2017). December 2017. - - Boying (Ashley) Liu. Checker Framework Live Demo Improvements. Spring 2017 URA student (started May 2017). August 2017. - - Vic Hao-Chien Lin. Benchmark infrastructure and Web Interface. Spring 2017 USRA student (started May 2017). August 2017. - - Andy Chang Ho Lee. Investigate a new Pluggable Type System. Fall 2016 URA student (started September 2016). December 2016. - - Fernando Peña. Checker Framework Rise4Fun Integration. Fall 2016 URA student (started September 2016). December 2016. - - Luqman Aden. Checker Framework Inference Improvements. Fall 2016 USRA student (started September 2016). Now at Microsoft, Redmond, USA. December 2016. - - Matthew D’Souza. Checker Framework Java 9 Update. Fall 2016 URA student (started September 2016). December 2016. - - Steven Jia. Checker Framework IntelliJ Integration. Fall 2016 URA student (started September 2016). December 2016. - - Thomas Feng. Checker Framework Performance Improvements. Fall 2016 student volunteer (started September 2016). December 2016. - - Tony Rong Tan Wang. Checker Framework NetBeans Integration. Fall 2016 URA student (started September 2016). December 2016. - - Shruti Dembla. Checker Framework Performance Profiling. Winter 2016 URA student (started January 2016). May 2016. - -
- -
- Other Projects - - ### - - Yuyan Bao. Type systems for Program Verification. Post-Doctoral researcher (started January 2021); co-supervised with Arie Gurfinkel. Now an Assistant Professor at Augusta University. December 2022. - - Fady Abousifein. Project documentation and improvements. Spring 2022 high school volunteer (started May 2022). August 2022. - - Seung Whan (Peter) Song. Project documentation and improvements. Fall 2021/Winter 2022 high school volunteer (started September 2021). June 2022. - - Aditya Singh. General Tainting Checker. Spring 2020 GSoC student (started May 2020). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and is the GSoC advisor for Mr. Singh. September 2020. - - Jiangqi Zhang. Checker Framework LSP Server. ECE 699 and MEng student assistant (started January 2019). December 2019. - - Ayush Agarwal. Android Support Annotations. Spring 2019 GSoC student (started April 2019). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Agarwal. August 2019. - - Ravi Roshan. Checker Framework Java 9 support. Spring 2018 GSoC student (started April 2018). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Roshan. August 2018. - - Shinya Yoshida. Control Flow Graph Enhancements. Spring 2017 GSoC student (started April 2017). Google Summer of Code (GSoC) is a competitive intern funding program from Google. Dr. Dietl is one of the GSoC organizers for the Checker Framework project and was the GSoC advisor for Mr. Yoshida. August 2017. - -
\ No newline at end of file +[Student List](https://ece.uwaterloo.ca/~wdietl/students/) \ No newline at end of file From 782f4ac648d6a1f7e9831a34a7369a506c79c288 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Fri, 2 May 2025 15:36:34 -0400 Subject: [PATCH 3/7] Update index.md --- index.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/index.md b/index.md index 3c61f1ff3..a330a8c3f 100644 --- a/index.md +++ b/index.md @@ -47,7 +47,10 @@ To experience the Checker Framework from within your browser, see our [Checker Framework Live Demo](http://eisop.uwaterloo.ca/live/). [Source Code](https://github.com/eisop/webserver/). +## Contact +Please address your questions and comments to +[Werner Dietl](https://ece.uwaterloo.ca/~wdietl/contact.html). -## Student +## Students -[Student List](https://ece.uwaterloo.ca/~wdietl/students/) \ No newline at end of file +[Student List](https://ece.uwaterloo.ca/~wdietl/students/) From cf90286308a264e2ef17594885f0285c25c53e4f Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Fri, 2 May 2025 15:37:27 -0400 Subject: [PATCH 4/7] Update index.md --- index.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/index.md b/index.md index a330a8c3f..067f3dc79 100644 --- a/index.md +++ b/index.md @@ -47,7 +47,9 @@ To experience the Checker Framework from within your browser, see our [Checker Framework Live Demo](http://eisop.uwaterloo.ca/live/). [Source Code](https://github.com/eisop/webserver/). + ## Contact + Please address your questions and comments to [Werner Dietl](https://ece.uwaterloo.ca/~wdietl/contact.html). From 4d2924215ab97233a9463c26ea2fb1dc962e865a Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Tue, 22 Jul 2025 14:15:28 -0700 Subject: [PATCH 5/7] Apply suggestions from code review Co-authored-by: Werner Dietl --- index.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/index.md b/index.md index 067f3dc79..4331e4c90 100644 --- a/index.md +++ b/index.md @@ -53,6 +53,8 @@ To experience the Checker Framework from within your browser, see our Please address your questions and comments to [Werner Dietl](https://ece.uwaterloo.ca/~wdietl/contact.html). -## Students +## Contributors -[Student List](https://ece.uwaterloo.ca/~wdietl/students/) +- [Credits](https://eisop.github.io/cf/manual/#credits) +- [Project members](https://github.com/orgs/eisop/people) +- [Student list](https://ece.uwaterloo.ca/~wdietl/students/) From f1db6c32ed3cd9749fa45a2778298f63b3442ce9 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Tue, 22 Jul 2025 14:16:29 -0700 Subject: [PATCH 6/7] Use direct link --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 4331e4c90..82742c9f2 100644 --- a/index.md +++ b/index.md @@ -55,6 +55,6 @@ Please address your questions and comments to ## Contributors -- [Credits](https://eisop.github.io/cf/manual/#credits) +- [Credits](https://eisop.github.io/cf/manual/manual.html#credits) - [Project members](https://github.com/orgs/eisop/people) - [Student list](https://ece.uwaterloo.ca/~wdietl/students/) From 7958a5dfbf99c4ae47ca54c80bc7526bb7f15215 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Tue, 22 Jul 2025 22:44:15 -0400 Subject: [PATCH 7/7] Update index.md Co-authored-by: Werner Dietl --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 82742c9f2..4331e4c90 100644 --- a/index.md +++ b/index.md @@ -55,6 +55,6 @@ Please address your questions and comments to ## Contributors -- [Credits](https://eisop.github.io/cf/manual/manual.html#credits) +- [Credits](https://eisop.github.io/cf/manual/#credits) - [Project members](https://github.com/orgs/eisop/people) - [Student list](https://ece.uwaterloo.ca/~wdietl/students/)