Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.
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/
🎓 Calling all students interested in Software Engineering research! The Student Mentoring Workshop (SMeW) at ICSE 2026 is designed to encourage and support students entering the Software Engineering (SE) research community. More information at www.linkedin.com/feed/update/...
🎓 Calling all students interested in Software Engineering research! The Student Mentoring Workshop (SMeW) at ICSE 2026 is designed to encourage and support students entering the Software Engineering… ...
🎓 Calling all students interested in Software Engineering research! The Student Mentoring Workshop (SMeW) at ICSE 2026 is designed to encourage and support students entering the Software Engineering (...
linkedin.com
Last chance to turn it off. On Monday, November 3rd, Microsoft will start using your LinkedIn data for AI training. And remember, you're opted in by default. To toggle it off 👉 Account - Settings & Privacy > Data privacy > Data for Generative AI Improvement.
Today I turn 60 – and what a journey this has been! Grateful for family, friends, students, colleagues, and a scientific community that keeps me inspired. The big party? You’ll have to wait four years, when I hit my (binary) 1,000,000th birthday. 😉
Want to go to Brazil with travel support? Check out #SMeW — a great opportunity for students to learn, connect & grow! I co-chaired its 2019 launch (with Lori Pollock & Christian Kästner, with tremendous support by #ICSE19 GC Jo Atlee) and coined the name (yes, the duck 🦆)! @icseconf.bsky.social
International Conference on Software Engineering@icseconf.bsky.social · 10mo ago🎓 Calling all students interested in Software Engineering research! The Student Mentoring Workshop (SMeW) at ICSE 2026 is designed to encourage and support students entering the Software Engineering (SE) research community. More information at www.linkedin.com/feed/update/...
Excited to announce the 3rd LLM4Code workshop collocated with ICSE26 @icseconf.bsky.social in Rio de Janeiro, Brazil 🇧🇷! 🌟Website: llm4code.github.io 🌟Deadline: Oct 20, 2025 🌟8-page research paper / 4-page position paper (including references) @llingming.bsky.social @devanbu.bsky.social
Home
ICSE 2026 Workshop on Large Language Model for Code
llm4code.github.io
“Purdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankings”! www.purdue.edu/newsroom/202...
Purdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankings
Purdue continues as the most recognized public university in the nation, while climbing to the position as No. 6 overall in the world in the 2025-26 Global University Visibility (GUV) rankings.
purdue.edu
📣 Are you interested in serving on the Program Committee for ISSTA 2026? Please let us know by filling out this form: forms.gle/MaXAKysfMSdq...
PC self-nomination for ISSTA 2026 (Research Track)
Until 30th June 2025, please indicate your interest to serve on the ISSTA 2026 program committee through filling out this form. Please include as much information as possible. After submitting the for...
forms.gle
At #ICRA2025? Check out my student Yi Wu’s talk (TuCT1.4) at 3:30PM Tuesday in Room 302 at the Award Finalists 3 Session about how SELP Generates Safe and Efficient Plans for #Robot #Agents with #LLMs! #ConstrainedDecoding #LLMPlanner @purduecs.bsky.social @cerias.bsky.social
Lin Tan@lin-tan.bsky.social · last yr.Our SELP paper is an #ICRA25 Best Paper Award Finalist, among a selected few from 4,153 submissions! 🏆 Proud of my PhD student Yi Wu & the team! www.cs.purdue.edu/homes/lintan... #robotics #LLM #ConstrainedDecoding #Agent #LLMPlanner @cerias.bsky.social
Purdue, leaders in AI, pharma manufacturing and public policy gather at D.C. event to launch a national effort to expand AI-enabled medicine production in U.S. www.purdue.edu/newsroom/202... @purduecs.bsky.social @cerias.bsky.social #AI #Purdue #Medicine
purdue.edu
At ICSE @icseconf.bsky.social 2025? Check out Jiannan Wang’s D3 talk at 2:30 PM today Friday in Room 215 about how we find real-world bugs in production distributed systems code! #deepleanring #distributed #testing
Lin Tan@lin-tan.bsky.social · last yr.🚀 Thrilled to share our #TSE journal-first paper D3: Differential Testing of Distributed Deep Learning (DL)! @Jianan will present it at #ICSE2025. D3 detects 21 bugs (12 new!) in PyTorch and TensorFlow. 🔗 www.cs.purdue.edu/homes/lintan... #DeepLearning #SoftwareTesting @cerias.bsky.social
Fun fact: Of my nine papers that got a long-term impact award, none got a “best paper” award when they were published - and conversely, none of my “best paper”-awarded papers got an impact award later. Is this a common phenomenon?
Our SELP paper is an #ICRA25 Best Paper Award Finalist, among a selected few from 4,153 submissions! 🏆 Proud of my PhD student Yi Wu & the team! www.cs.purdue.edu/homes/lintan... #robotics #LLM #ConstrainedDecoding #Agent #LLMPlanner @cerias.bsky.social
cs.purdue.edu
Lin Tan@lin-tan.bsky.social · last yr.Introducing our first #ICRA2025 paper, SELP (Safe Efficient LLM Planner), a method for generating plans for robot agents that adhere to user constraints while optimizing for time-efficient execution. Preprint: arxiv.org/pdf/2409.19471 #LLMs #Robotics #Agent @cerias.bsky.social @purduecs.bsky.social
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025
The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...
pldi25.sigplan.org
🚀 Thrilled to share our #TSE journal-first paper D3: Differential Testing of Distributed Deep Learning (DL)! @Jianan will present it at #ICSE2025. D3 detects 21 bugs (12 new!) in PyTorch and TensorFlow. 🔗 www.cs.purdue.edu/homes/lintan... #DeepLearning #SoftwareTesting @cerias.bsky.social
Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD
White House budget proposal may slash NSF funding from 9 billion to 3 billion a year.
White House budget proposal could shatter the National Science Foundation
“This kind of cut would kill American science and boost China.”…
arstechnica.com
Introducing our first #ICRA2025 paper, SELP (Safe Efficient LLM Planner), a method for generating plans for robot agents that adhere to user constraints while optimizing for time-efficient execution. Preprint: arxiv.org/pdf/2409.19471 #LLMs #Robotics #Agent @cerias.bsky.social @purduecs.bsky.social
Introducing Nova (ICLR’25), foundation models for binary/assembly code. We have also released fine-tuned models for binary code decompilation. Preprint: arxiv.org/pdf/2311.13721 #LLM4Code #LLM #BinaryAnalysis #Security @cerias.bsky.social @iclr-conf.bsky.social
Thrilled to share that my PhD student, Nan Jiang, is on the academic job market! 👏 Working on SE+AI, Nan has papers in ICSE, FSE, NeurIPS, AAAI, and more. Nan is the ideal kind of PhD student one can ask for. I’m confident he will be a great professor! jiang719.github.io #LLM4Code #security
