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 paperWe 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 siteNSF 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 LinkCongratulations 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: PapersProf. 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: ProjectsCan 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: PapersCongrats 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: PapersCan 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: PapersCongrats 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 LinkWhere 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 PressSumon 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 LinkHridesh 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 FellowsSumon 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 LinkNSF 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 LinkHow 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 LinkD4 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 LinkHamid 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 LinkHamid 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 LinkWhat 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: Papers2019 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: ThesisACM 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: ThesisA 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 2017Graduate 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: PaniniLaboratory 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: BoaJackson 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 paperRobert 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 paperRakesh 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 paperInformation-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 paperClasspects 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