Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

🎓 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 (...

🎓 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/...

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. 😉

Deadline extended to Oct 31, 2025!

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

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

Home ICSE 2026 Workshop on Large Language Model for Code

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

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 named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankings”! www.purdue.edu/newsroom/202...

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...

📣 Are you interested in serving on the Program Committee for ISSTA 2026? Please let us know by filling out this form:

forms.gle/MaXAKysfMSdq...

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

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

Big congratulations! Very well deserved!

✨️ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)!

📢 Here is what's new:
* Major Revision v2.0
* Review criteria for tech. & experience papers
* Policy on LLM-assisted Reviews
* Auto-bidding (TPMS)
* Rapid Response Reliable Reviewers

👇 For more details, read on.

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

🌍 The future of #icse is global!
🇧🇷 ICSE 2026 – Brazil #icse2026
🇮🇪 ICSE 2027 – Ireland #icse2027
🌺 ICSE 2028 – Hawaii #icse2028
We can't wait to see you there! Pack your ideas and your passport. 🧳✈️

A list of test of time awards for papers with Andreas Zeller as co-author

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?

Congratulations, Andreas! Very well deserved!

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

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...

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!

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

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.

🚀 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 could shatter the National Science Foundation “This kind of cut would kill American science and boost China.”…

White House budget proposal may slash NSF funding from 9 billion to 3 billion a year.

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.

2/3 3️⃣ Domain-Specific Fine-Tuning: Customizes LLMs for specific robotic tasks, boosting both safety and efficiency.

1/3 💡SELP has 3 key insights:
1️⃣ Equivalence Voting: Ensures robust translations from natural language instructions into LTL specifications.
2️⃣ Constrained Decoding: Uses the generated LTL formula to guide the inference of plans, ensuring the generated plans conform to the LTL.

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

5/5

Thus, combined with the increasing sophistication of cybercrime that poses significant threats worldwide (e.g., cybercrime is predicted to cost the world $10.5 trillion annually by 2025 (Sausalito, 2020)), effective binary analysis techniques are in high demand.