Lin Tan
@lin-tan.bsky.social
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
https://www.cs.purdue.edu/homes/lintan/
Deadline extended to Oct 31, 2025!
October 14, 2025 at 10:14 PM
Deadline extended to Oct 31, 2025!
We welcome broad LLM for code work
- code broadly defined including source code, binary code, intermediate code, web code, LaTeX code, etc.
- entire code development life cycle: including generation and benchmarking of formal specifications, code, tests, …
- and more
- code broadly defined including source code, binary code, intermediate code, web code, LaTeX code, etc.
- entire code development life cycle: including generation and benchmarking of formal specifications, code, tests, …
- and more
October 1, 2025 at 7:38 PM
We welcome broad LLM for code work
- code broadly defined including source code, binary code, intermediate code, web code, LaTeX code, etc.
- entire code development life cycle: including generation and benchmarking of formal specifications, code, tests, …
- and more
- code broadly defined including source code, binary code, intermediate code, web code, LaTeX code, etc.
- entire code development life cycle: including generation and benchmarking of formal specifications, code, tests, …
- and more
Big congratulations! Very well deserved!
May 7, 2025 at 2:16 PM
Big congratulations! Very well deserved!
Congratulations, Andreas! Very well deserved!
May 1, 2025 at 10:03 PM
Congratulations, Andreas! Very well deserved!
2/2 Stay tuned for more details at our #ICSE2025 presentation!
Co-authors: Jiannan Wang, Hung Viet Pham, Qi Li, Yu Guo, Adnan Aziz, and Erik Meijer.
#DistributedDL #AI
Co-authors: Jiannan Wang, Hung Viet Pham, Qi Li, Yu Guo, Adnan Aziz, and Erik Meijer.
#DistributedDL #AI
March 8, 2025 at 10:25 PM
2/2 Stay tuned for more details at our #ICSE2025 presentation!
Co-authors: Jiannan Wang, Hung Viet Pham, Qi Li, Yu Guo, Adnan Aziz, and Erik Meijer.
#DistributedDL #AI
Co-authors: Jiannan Wang, Hung Viet Pham, Qi Li, Yu Guo, Adnan Aziz, and Erik Meijer.
#DistributedDL #AI
1/2 D3 introduces the first differential testing technique specially designed for distributed DL software. D3 leverages a new distributed equivalence rule and automatically generates diverse distributed settings, models, and model inputs.
March 8, 2025 at 10:24 PM
1/2 D3 introduces the first differential testing technique specially designed for distributed DL software. D3 leverages a new distributed equivalence rule and automatically generates diverse distributed settings, models, and model inputs.
3/3 📊 Our experiments demonstrate SELP’s effectiveness across diverse tasks. In drone navigation, SELP outperforms state-of-the-art LLM planners by 10.8% in safety rate and by 19.8% in plan efficiency. For robot manipulation, SELP achieves a 20.4% improvement in safety rate.
February 5, 2025 at 4:16 PM
3/3 📊 Our experiments demonstrate SELP’s effectiveness across diverse tasks. In drone navigation, SELP outperforms state-of-the-art LLM planners by 10.8% in safety rate and by 19.8% in plan efficiency. For robot manipulation, SELP achieves a 20.4% improvement in safety rate.