News

AgentInspect Accepted at ISSTA 2026

June 25, 2026

Congratulations to Ruchira Manke, whose paper “AgentInspect: Diagnosing Behavioral Failures in Artificial Intelligence Agents” has been accepted at the 35th ACM SIGSOFT International Symposium on...

RefineAct Accepted at ASE 2026

June 19, 2026

Keeping AI Agents Within the User’s Intent Our paper “RefineAct: Automatic Runtime Verification of LLM Agent Actions” has been accepted at the 41st IEEE/ACM International...

Links: Read the paper
We Are Hiring a Postdoctoral Fellow

June 16, 2026

Postdoctoral Fellow Position Open The Laboratory for Software Design is hiring one or more postdoctoral fellows in the Department of Computer Science at Tulane University,...

Links: Apply on Tulane's career site
NSF Funds Our Work on Fault Localization for Deep Learning

June 02, 2026

I am delighted to share that the National Science Foundation has funded a new collaborative project that Mohammad Wardat and I will pursue together. Mohammad...

What if a neural network were built from parts you could reuse and replace?

April 15, 2026

Software engineering learned long ago that large systems are easier to build, understand, and maintain when they are made of modules: parts with clear roles...

Making machine learning fair, from the data to the guarantee

February 11, 2026

As machine learning moves into decisions about loans, hiring, and more, whether a model treats people fairly has become a software-engineering problem and not only...

What you can learn by reading all the world's open-source code at once

December 10, 2025

Open-source repositories hold a record of how software is really written, by millions of developers over many years. Reading that record at scale can answer...

Why deep learning needs its own debugging tools

October 15, 2025

Deep learning now sits inside many software systems, from the apps on a phone to systems that drive cars and read medical scans. These systems...

Dr. Sayma Sultana has joined the Laboratory of Software Design at Tulane University as a Postdoctoral Fellow.

September 12, 2025

Dr. Sayma Sultana She earned her Ph.D. in Computer Science from Wayne State University under the supervision of Dr. Amiangshu Bosu. Her research focuses on...

Can you fix a large language model without breaking everything else it does? Our FSE 2025 paper fixes it precisely.

June 23, 2025

Large language models absorb the biases in their training data, which surfaces as toxic or inaccurate output. The usual remedy, further training, adjusts the whole...

How do you test the data and the model in a deep learning system separately? Our ICSE 2025 paper mocks the gap.

April 29, 2025

In ordinary software, components can be tested in isolation, often by mocking the parts they depend on. Deep learning resists this, because the data and...

Can an AI agent find the design problems hiding in a growing codebase? Our ICSE 2025 paper builds one.

April 28, 2025

As a codebase grows, design problems such as poor modularity and creeping complexity tend to accumulate, and they are harder to spot than ordinary bugs...

Would your tests catch a real bug in a reinforcement-learning agent? Our ICSE 2025 paper tests for real faults.

April 27, 2025

Reinforcement learning trains agents for tasks such as driving a vehicle or controlling a robot, and before such an agent reaches production its tests need...

Three Lab Members Presented at ICSE 2025

April 27, 2025

Three members of our lab presented their work at ICSE’25 in Ottawa, Canada: Deepak-George Thomas presented his paper titled “µPRL: A Mutation Testing Pipeline for...

Sayem Imtiaz defends Ph.D. thesis

October 11, 2024

Sayem Imtiaz has successfully defended his Ph.D. thesis entitled “Modularity-inspired Techniques for Patching the Weak Components in Deep Learning”. His research focused on addressing data-driven...

Links: Event Link
Congratulations to Dr. Shibbir Ahmed, Now Faculty at Texas State!

August 22, 2024

It is a privilege to celebrate another former student stepping into a faculty role. Shibbir Ahmed, who completed his PhD with our group at Iowa...

Congratulations to Dr. Sumon Biswas, Now Faculty at Case Western Reserve!

August 15, 2024

One of the deepest joys of academic life is watching the people you mentor grow into colleagues and leaders in their own right. This season...

Moving to Tulane as the Dean of the School of Science and Engineering

July 01, 2024

After 19 amazing years at Iowa State University Dept. of Computer Science,I will be moving to Tulane University as the next Dean of the School...

Links: Papers
Prof. Hridesh Rajan named new dean of Tulane University School of Science and Engineering.

June 03, 2024

Hridesh Rajan, Kingland professor and chair of the Department of Computer Science at Iowa State University, has been named the new dean of Tulane University’s...

Do TODO comments help or hurt when an AI writes your code? Our ICSE 2024 paper finds out.

April 18, 2024

Code-intelligence tools like GitHub Copilot turn natural-language hints into code, which raises a practical question about the notes developers already leave in their source. Comments...

When should you trust a model's prediction on new data? Our ICSE 2024 paper infers the preconditions.

April 17, 2024

A deep learning model is trained under certain assumptions about its data and then deployed on inputs it has never seen. When an input drifts...

Should a new language feature rest on evidence rather than intuition? Our ICSE 2024 paper brings the data.

April 16, 2024

Programming languages evolve, and one common way they grow is through syntactic sugar, the convenient shorthands that make code easier to read and write. Deciding...

Laboratory for Software Design Recruiting a Postdoctoral Fellow

April 02, 2024

The Department of Computer Science in the College of Liberal Arts and Sciences at Iowa State University seeks outstanding applicants for a postdoctoral position in...

Links: Projects
Can a contract catch a deep learning bug before it happens? Our ESEC/FSE 2023 paper brings contracts to DL.

December 06, 2023

Deep learning libraries are powerful but easy to misuse, and a call that violates an unstated assumption can produce a model that is silently wrong....

Can you make a model fairer without making it worse? Our ESEC/FSE 2023 paper manages both.

December 05, 2023

A familiar objection to fixing bias in machine learning is that it costs accuracy. Many bias-mitigation methods work only in particular situations, and they often...

Our ASE 2023 Paper Won ACM SIGSOFT Distinguished Paper Award!

September 01, 2023

Dr. Ali Ghanbari and I have received the Distinguished Paper Award at the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023) for our...

Links: Papers
Congrats to Drs. Wardat and Ghanbari for Tenure-track Jobs!

May 31, 2023

In the realm of academia, the most profound indicator of our success lies in the caliber of students we mentor and prepare for the future....

Links: Papers
Can you teach a translation model a new language without retraining it? Our ICSE 2023 paper decomposes the RNN.

May 17, 2023

Recurrent neural networks power tasks like translating between languages, and changing what such a model does usually means retraining it from scratch. Our earlier work...

When you combine several models, what happens to fairness? Our ICSE 2023 paper works it out.

May 16, 2023

Most methods for measuring and reducing bias in machine learning assume a single classifier. Real systems are often more involved: they combine several learners into...

Can you guarantee a neural network treats similar people the same? Our ICSE 2023 paper verifies it.

May 14, 2023

Testing a model for fairness can reveal problems, but it cannot promise their absence. For high-stakes uses, developers want a guarantee that a model treats...

What kinds of shortcuts pile up in machine-learning code? Our ESEC/FSE 2022 paper sorts them out.

November 16, 2022

Technical debt is the term for the short-term shortcuts that make software easier to ship now and harder to maintain later. Developers often admit these...

NSF supports More Modular Deep Learning

October 01, 2022

The National Science Foundation is supporting the lab’s project on more modular deep learning. The work builds on our finding that a trained neural network...

Hybrid SPLASH 2021 Retrospective

August 25, 2022

SIGPLAN perspectives has published our essay that provides a perspective on Hybrid SPLASH 2021 conference. SPLASH 2021 was the first hybrid conference at this scale,...

Links: Papers
Congrats graduates Biswas (PhD), Pan (PhD), and Ma (BS)

June 15, 2022

I am celebrating the graduation of Sumon Biswas, Rangeet Pan and Iris Ma. Sumon and Rangeet were PhD students in my lab, and Iris was...

Links: Event Link
Where should an automated model search begin? Our ICSE 2022 paper mines a head start.

May 26, 2022

Choosing a good neural network for a task is hard, and AutoML tools that search for an architecture can take a long time because they...

When a model fails, what is the error and how do you fix it? Our ICSE 2022 paper diagnoses it.

May 25, 2022

Knowing that a deep neural network is faulty is only half the problem. A developer still has to work out what went wrong and what...

Can you reuse part of one CNN to build or fix another? Our ICSE 2022 paper makes CNNs modular.

May 24, 2022

Building a convolutional neural network almost always starts from scratch, with training that costs time and energy. Yet much of what one network learns, such...

What does a real data-science pipeline actually look like? Our ICSE 2022 paper maps them.

May 23, 2022

A data-science system is more than its model. Data is acquired, cleaned, transformed, modeled, and served, and this sequence of stages, the data-science pipeline, is...

New textbook from MIT Press

May 15, 2022

An Experiential Introduction to Principles of Programming Languages Hridesh Rajan’s textbook, An Experiential Introduction to Principles of Programming Languages, is out from MIT Press. It...

Links: MIT Press
Sumon Biswas defends Ph.D. thesis

April 13, 2022

Sumon Biswas has successfully defended his Ph.D. thesis entitled “Understanding and Reasoning Fairness in Machine Learning Pipelines”. His research unravels several software engineering techniques towards...

Links: Event Link
Hridesh Rajan elected a Fellow of the AAAS

January 26, 2022

Elected a Fellow of the AAAS Hridesh Rajan has been elected a Fellow of the American Association for the Advancement of Science, one of the...

Links: AAAS Fellows
Sumon Biswas defends MS thesis

November 04, 2021

Sumon Biswas has successfully defended his MS thesis entitled “Understanding Unfairness and its Mitigation in Open-Source Machine Learning Models”. The abstract of the thesis is...

Links: Event Link
NSF funds Boa 2.0, the next generation of software-at-scale infrastructure

October 01, 2021

The National Science Foundation is supporting Boa 2.0, a renewal and expansion of the lab’s infrastructure for studying software and its evolution at a large...

Where does unfairness enter a machine-learning pipeline? Our ESEC/FSE 2021 paper pinpoints the stage.

August 23, 2021

A machine-learning system is usually a pipeline: data passes through a sequence of preprocessing steps before a classifier ever sees it. Most fairness research has...

When a model will not learn, where is the bug? Our ICSE 2021 paper locates it.

May 25, 2021

A deep neural network that will not train, or that stalls at poor accuracy, is one of the harder things to debug in modern software....

Can you break a trained neural network into reusable parts? Our ESEC/FSE 2020 paper splits it into modules.

November 11, 2020

Deep learning is now part of many software systems. A model is trained on examples and then used to make predictions, and although its structure...

Do machine-learning models quietly discriminate, and how would you know? Our ESEC/FSE 2020 study measures it.

November 10, 2020

Machine-learning models increasingly make or shape consequential decisions, from approving a loan to screening a job applicant. When they do, it matters whether the model...

2020 SPLASH Conference Starts on November 16, 2020

November 10, 2020

SPLASH 2020, the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, starts on November 15, 2020 at 0700 Central Standard Time....

Graduate Seminar on Modularity

October 07, 2020

This Fall 2020 semester, I am teaching an advanced topics seminar on the idea of Modularity in Software Engineering. The goal of this seminar is...

ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2020

August 20, 2020

PhD student Rangeet Pan and Hridesh Rajan have received an ACM SIGSOFT Distinguished Paper Award at the ACM Joint European Software Engineering Conference and Symposium...

Pan earns 2nd Place at the ACM Student Research Competition at the International Conference on Software Engineering (ICSE)

July 30, 2020

Graduate student Rangeet Pan earned second place at the ACM Student Research Competition at 42nd International Conference on Software Engineering (ICSE) 2020 for his work...

Alumni Mehdi Bagherzadeh receives EAPLS Best Paper Award

July 29, 2020

The EAPLS Best Paper Award 2020 is awarded to the paper “An Empirical Study on the Use and Misuse of Java 8 Streams”, by Raffi...

Md Johirul Islam defends PhD thesis

July 15, 2020

Md Johirul Islam has successfully defended his PhD thesis entitled “Towards Understanding the Challenges Faced by Machine Learning Software Developers and Enabling Automated Solutions”. The...

Links: Event Link
How do developers actually fix a broken neural network? Our ICSE 2020 study maps the fixes.

June 27, 2020

When a deep learning model misbehaves, the fix is rarely obvious, and until recently there was little systematic knowledge of how developers repair these models...

How do you make control-flow analysis fast enough for millions of programs? Our ICSE 2020 paper tailors the traversal.

June 27, 2020

Many software-engineering tasks, from mining API specifications to discovering programming patterns, rely on analyzing control flow graphs, and doing this across millions of programs can...

Hridesh Rajan receives a Facebook Probability and Programming Research Award

June 01, 2020

Facebook Probability and Programming Research Award Hridesh Rajan received a Facebook Probability and Programming Research Award in 2020, supporting work at the intersection of probabilistic...

Lab launches data science infrastructure to advance COVID-19 research

March 30, 2020

As researchers and public-health experts join forces to battle COVID-19, computer scientists from Iowa State University have developed a data science infrastructure that will drastically...

Samantha-Syed Khairunnesa has successfully passed her PhD preliminary exam

December 06, 2019

Samantha-Syed Khairunnesa has successfully passed the PhD preliminary exam. The proposal abstract: ``Uncertainty is an integral part of ML programs, and, it is to be...

Links: Event Link
D4 Dependable Data-Driven Discovery Institute

October 01, 2019

Hridesh Rajan, interim chair of the Department of Computer Science and Kingland Professor of Data Analytics, was recently awarded a $1.5 million grant from the...

Md Johirul Islam defends MS thesis

September 30, 2019

Md Johirul Islam has successfully defended his Masters of Science thesis. The thesis abstract: ``Big data-driven transportation engineering has the potential to improve the utilization...

Links: Event Link
Hamid Bagheri has successfully passed his PhD preliminary exam

September 25, 2019

Hamid Bagheri has successfully passed the PhD preliminary exam. The proposal abstract: ``Every day, many scientists around the world use NCBI’s non-redundant (NR) database to...

Links: Event Link
Hamid Bagheri defends MS thesis

September 25, 2019

Hamid Bagheri has successfully defended his Masters of Science degree. The thesis abstract: ``Creating a scalable computational infrastructure to analyze the wealth of information contained...

Links: Event Link
What actually goes wrong in deep learning code? Our ESEC/FSE 2019 study catalogs the bugs.

August 26, 2019

Before you can locate or repair a bug in a deep learning system, it helps to know what kinds of bugs occur, where they come...

Biswas Presenting Python Dataset at MSR 2019

May 25, 2019

Sumon Biswas will describe our brand new dataset at the MSR 2019 Conference. This work describes a new dataset that we have created to study...

Links: Papers
2019 Midwest Big Data Summer School

May 20, 2019

Building on the inaugural 2016, 2017, and 2018 editions, the 2019 edition has started. This edition will be held from May 20-23, 2019 in Ames,...

Fulbright Award Leads to International Workshop

December 17, 2018

The J. William Fulbright Foreign Scholarship Board had selected Prof. Rajan for the 2018-19 U.S. Scholar Award. This award led to an international workshop on...

When is it safe to swap one piece of code for another? Our ESEC/FSE 2018 paper studies the effects.

November 06, 2018

Most software is built from parts that do more than compute a value. They read and write files, throw exceptions, acquire locks, and otherwise produce...

Can you trust the code examples on Stack Overflow? Our ICSE 2018 paper checks them at scale.

May 31, 2018

Programmers routinely learn a new API by copying an example from a question-and-answer site such as Stack Overflow. Those examples are convenient, but they are...

How do you run a deep code analysis across hundreds of thousands of projects? Our ICSE 2018 paper shares the work.

May 30, 2018

Mining large collections of source code has become a standard way to study how software is written, but the deeper the analysis, the harder it...

Prof. Hridesh Rajan receives 2018-19 Fulbright U.S. Scholar Award

March 07, 2018

The J. William Fulbright Foreign Scholarship Board has selected Prof. Rajan for the 2018-19 U.S. Scholar Award. According to the award letter "The Fulbright Program,...

Registration open for 2018 Midwest Big Data Summer School

February 19, 2018

Early registration is now open for the 2018 Midwest Big Data Summer School to be held from May 14-17, 2018 in Ames, Iowa on Iowa...

Ganesha Upadhyaya passes his PhD thesis defense

November 17, 2017

Ganesha Upadhyaya, a graduate student in the Dept. of Computer Science and a member of the Laboratory for Software Design successfully defended his PhD thesis...

Links: Thesis
ACM Recognizes Dr. Hridesh Rajan as a Distinguished Member

November 08, 2017

The Association for Computing Machinery (ACM) has recognized Dr. Hridesh Rajan as one of 43 distinguished member for 2017. More details can be found here....

2017 Midwest Big Data Summer School, a success!

July 10, 2017

The 2017 Midwest Big Data Summer School held from July 10-14, 2017 in Ames, Iowa on Iowa State University campus was another successful edition. Over...

Dr. Zhen Yu joins as Postdoctoral Fellow

June 29, 2017

Dr. Zhen Yu has joined the Laboratory for Software Design as a Postdoctoral Fellow. Dr. Yu who prefers to go by Zhen obtained his Ph.D....

Can a tool write the documentation an API forgot to include? Our ICSE 2017 paper infers it.

May 24, 2017

Good documentation helps developers use a library correctly, but many libraries document their behavior poorly, especially the exceptions a call can throw. Earlier approaches tried...

How do you speed up mining across ultra-large code repositories? Our ICSE 2017 paper clusters the work.

May 23, 2017

Mining very large collections of repositories supports many software-engineering tasks, such as inferring specifications or predicting defects, but the sheer volume makes it slow. Adding...

Data Science Minor and Certificate Approved!

May 23, 2017

Just received words from the Iowa State University Office of the Senior Vice President and Provost that the Data Science Minor and Data Science Certificate...

Registration open for 2017 Midwest Big Data Summer School

May 12, 2017

Early registration is now open for the 2017 Midwest Big Data Summer School to be held from July 10-14, 2017 in Ames, Iowa on Iowa...

Prof. Hridesh Rajan Named Kingland Professor

May 02, 2017

Prof. Hridesh Rajan, professor in the Department of Computer Science, was named Kingland Professor of Data Analytics. Rajan is the director of the Laboratory for...

Nitin Tiwari passes his M.S. thesis defense

April 14, 2017

Nitin Tiwari, a graduate student in the computer science and a member of the Laboratory for Software Design successfully defended his Masters thesis today. His...

Links: Thesis
A Paper on Candoia Platform and Ecosystem will Appear at MSR 2017, a conference co-located with ICSE 2017

March 14, 2017

A paper on the Candoia Platform and Ecosystem has been accepted at the 14th International Conference on Mining Software Repositories (MSR 2017), a conference co-located...

Links: Candoia MSR 2017 ICSE 2017
Graduate Research Assistant Needed in the Panini Project

February 10, 2017

The Laboratory for Software Design in the Department of Computer Science at Iowa State University is seeking a graduate student to work on the Panini...

Links: Panini
Laboratory for Software Design Recruiting a Postdoctoral Fellow

February 05, 2017

The Laboratory for Software Design in the Department of Computer Science at Iowa State University is seeking a postdoctoral fellow to work on the Boa...

Links: Boa
Jackson Maddox graduates with a Bachelors degree with Honors

December 17, 2016

Dr. Yuheng Long presents First-class Effects at SPLASH/OOPSLA 2016

November 04, 2016

Links: Paper at SPLASH
Dr. Hridesh Rajan Elected to Midwest Big Data Hub Steering Committee

September 24, 2016

Links: Iowa State Announcement
Dr. Mehdi Bagherzadeh graduates with a Ph.D. degree

September 07, 2016

Dr. Hridesh Rajan to Lead an ISU Presidential Initiative for Interdisciplinary Research (PIIR) in Data Driven Science (DDS) Project

September 07, 2016

Links: Computer Science Announcement Iowa State Announcement
First class Effect at OOPSLA/SPLASH 2016!

August 03, 2016

We just heard that our work on first class effect will appear at the OOPSLA/SPLASH 2016 conference. This is a collaborative effort with my former...

Panini compiler development, now on GitHub

August 02, 2016

For the last several years, my research lab has been developing the Panini programming language whose goals are to make concurrent programming easier and concurrent...

Object-oriented Analysis and Design in Fall 2016!

July 25, 2016

I will be teaching a course on object-oriented analysis and design this Fall at Iowa State University after a long hiatus. I last taught that...

A basic blog based on Jekyll is up and running!

July 25, 2016

Good evening! Its Monday, July 25, 2016 and I just got a basic blog up and running. I am using the Jekyll page generator. Thanks...

Iowa State University Hosts Data-Driven Research Summer School

July 20, 2016

Links: More Information
News article about the Midwest Big Data Summer School

July 20, 2016

In June 2016, a team of individuals organized the Inaugural Midwest Big Data Summer School. The team consisted of myself and Pavan Aduri as general...

Congratulations to Mehdi Bagherzadeh for Defending his PhD Thesis

July 14, 2016

My (now former) PhD Student Mehdi Bagherzadeh just defended his PhD Thesis. Congratulations to Mehdi! Mehdi Bagherzadeh will start his new job as an assistant...

Yuheng Long defends PhD thesis

May 15, 2016

Congratulations to Yuheng Long, who has defended their PhD thesis, “Formal Foundations for Hybrid Effect Analysis.” Read it here.

Eric Lin defends MS thesis

May 15, 2016

Congratulations to Eric Lin, who has defended their MS thesis, “PaniniJ: Adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning...

Midwest Big Data Summer School will Happen!

April 25, 2016

Myself and Pavan Aduri wrote to the Midwest Big Data Hub to seek support for organizing the Inaugural Midwest Big Data Summer School in June...

ISU Researchers Leverage Big Data to Improve Software Quality

January 22, 2016

Links: More Information
NSF supports inferring software specifications from open-source repositories

July 01, 2015

The National Science Foundation is supporting a large collaborative project on inferring software specifications from open-source repositories by leveraging data and the collective expertise of...

NSF supports Boa, infrastructure for studying software at scale

June 01, 2015

The National Science Foundation is supporting Boa, the lab’s infrastructure for studying software and how it evolves across very large collections of repositories. Boa lets...

Sean Mooney defends MS thesis

May 15, 2015

Congratulations to Sean Mooney, who has defended their MS thesis, “A Unified Design of Capsules.” Read it here.

NSF Small supports capsule-oriented programming

August 01, 2014

The National Science Foundation is supporting capsule-oriented programming, the model behind the lab’s Panini language. Capsules let a developer reason about a concurrent program one...

NSF EAGER seeds Boa, a community infrastructure for mining software repositories

September 01, 2013

An early NSF EAGER award seeded Boa, the lab’s infrastructure for mining software repositories at scale. The grant supported the first version of a platform...

Boa presented at ICSE 2013

May 20, 2013

Boa presented at ICSE 2013 Our paper introducing Boa, a language and infrastructure for analyzing ultra-large-scale software repositories, was presented at ICSE 2013. Boa lets...

Links: Read the paper
Robert Dyer defends PhD thesis

May 15, 2013

Congratulations to Robert Dyer, who has defended their PhD thesis, “Bringing ultra-large-scale software repository mining to the masses with Boa.” Read it here.

NSF Small supports phase-based tuning for performance-asymmetric multicores

August 01, 2011

The National Science Foundation is supporting work on phase-based tuning for better use of performance-asymmetric multicore processors. Modern chips mix fast and slow cores, and...

Tyler Sondag defends PhD thesis

May 15, 2011

Congratulations to Tyler Sondag, who has defended their PhD thesis, “Phase-based tuning: better utilized performance asymmetric multicores.” Read it here.

NSF supports balancing expressiveness and modular reasoning in aspect-oriented programming

August 15, 2010

The National Science Foundation is supporting a collaborative project on balancing expressiveness and modular reasoning in aspect-oriented programming. Aspect-oriented features make some designs far more...

Harish Narayanappa defends MS thesis

May 15, 2010

Congratulations to Harish Narayanappa, who has defended their MS thesis, “Monitoring software using property-aware program sampling.” Read it here.

NSF CAREER Award: modular reasoning and concurrency, together

July 01, 2009

The National Science Foundation has awarded Hridesh Rajan a CAREER award for work on the mutualism of modularity and concurrency goals. Modular reasoning lets a...

Jaikishan Jalan defends MS thesis

May 15, 2009

Congratulations to Jaikishan Jalan, who has defended their MS thesis, “Feature selection, statistical modeling and its applications to universal JPEG steganalyzer.” Read it here.

Ptolemy presented at ECOOP 2008

July 08, 2008

Ptolemy at ECOOP 2008 Our paper, Ptolemy: A Language with Quantified, Typed Events, was presented at ECOOP 2008. Ptolemy uses quantified, typed events as an...

Links: Read the paper
Rakesh Setty defends MS thesis

May 15, 2008

Congratulations to Rakesh Setty, who has defended their MS thesis, “On the test-driven development of emerging modularization mechanisms.” Read it here.

Youssef Hanna defends MS thesis

May 15, 2008

Congratulations to Youssef Hanna, who has defended their MS thesis, “Verifying sensor network security protocol implementations.” Read it here.

NSF supports the JML community infrastructure for formal methods

July 15, 2007

The National Science Foundation is supporting a collaborative effort to revitalize the tools and documentation behind the Java Modeling Language (JML), a notation for writing...

Mahantesh Hosamani defends MS thesis

May 15, 2007

Congratulations to Mahantesh Hosamani, who has defended their MS thesis, “Bootstrapping trust in service oriented architecture.” Read it here.

NSF supports verification of security protocols in sensor networks

September 01, 2006

The National Science Foundation is supporting work on the specification and verification challenges of security protocols in sensor networks. Sensor networks operate under tight resource...

Modular software design with crosscutting interfaces in IEEE Software

January 15, 2006

Crosscutting interfaces in IEEE Software (2006) Our article, Modular Software Design with Crosscutting Interfaces, appeared in IEEE Software. It develops crosscutting interfaces so that aspect-oriented...

Links: Read the paper
Information-hiding interfaces for aspect-oriented design at ESEC/FSE 2005

September 05, 2005

Information-hiding interfaces at ESEC/FSE 2005 Our paper introduced information-hiding interfaces for aspect-oriented design. The interfaces give aspects and the modules they affect a stable contract...

Links: Read the paper
Classpects presented at ICSE 2005

May 16, 2005

Classpects at ICSE 2005 Our paper, Classpects: Unifying Aspect- and Object-Oriented Language Design, was presented at ICSE 2005. It unifies aspects and objects into a...

Links: Read the paper