โPurdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankingsโ! www.purdue.edu/newsroom/202...
27.06.2025 15:06 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0@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/
โPurdue named the most recognized public university in U.S., No. 6 overall in Global University Visibility rankingsโ! www.purdue.edu/newsroom/202...
27.06.2025 15:06 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0๐ฃ 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!
07.05.2025 14:16 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0โจ๏ธ 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
02.05.2025 13:37 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0๐ 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?
01.05.2025 14:10 โ ๐ 23 ๐ 2 ๐ฌ 5 ๐ 1Congratulations, Andreas! Very well deserved!
01.05.2025 22:03 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0Our 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'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.
08.03.2025 22:24 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0๐ 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
08.03.2025 22:22 โ ๐ 3 ๐ 0 ๐ฌ 2 ๐ 1Meet 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
05.03.2025 14:26 โ ๐ 24 ๐ 11 ๐ฌ 1 ๐ 3White House budget proposal may slash NSF funding from 9 billion to 3 billion a year.
07.02.2025 00:03 โ ๐ 598 ๐ 315 ๐ฌ 29 ๐ 583/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.
05.02.2025 16:16 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 02/3 3๏ธโฃ Domain-Specific Fine-Tuning: Customizes LLMs for specific robotic tasks, boosting both safety and efficiency.
05.02.2025 16:16 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 01/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.
4/5
For example, when performing tasks such as identifying attacks and malware, security analysts often only have access to assembly, i.e., the human-readable representation of binary code, which is extremely difficult to understand.
3/5
Why binaries and binary models? Binary code plays an irreplaceable role in crucial tasks, including vulnerability detection, malware detection, binary recovery, and legacy software maintenance.
2/5
Smaller 1.3B models huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...
Binaries are a form of code. Do not forget about binaries when you work on #LLM4Code.
1/5
Highlights:
1. Nova is built with hierarchical attention specially designed for binary and contrastive learning.
2. Nova is pre-trained on 3B binary and source code tokens.
3. Models: huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...
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
4. Smaller 1.3B models huggingface.co/lt-asset/nov... huggingface.co/lt-asset/nov...
Binaries are a form of code.
Do not forget about binaries when you work on #LLM4Code.
(2) democratizing programming to people with little technical background, through AI systems capable of self-planning with easy-to-follow explanations, enabling users to program through natural languages.
#SoftwareEngineering #SE
@cerias.bsky.social
Nan's future research interests include (1) creating AI-powered systems capable of collaborating with human developers in the whole development lifecycle, managing large-scale projects, understanding dynamic code execution, and integrating with developers' workflow, and โฆ
18.12.2024 13:26 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0