From d4077f71ee31cf5b6b5efaf8d38853b2b531abc7 Mon Sep 17 00:00:00 2001 From: Deepak George Thomas Date: Fri, 15 Nov 2024 16:52:14 -0600 Subject: [PATCH 1/3] Update about.md --- about.md | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/about.md b/about.md index 65da16a1..f3ad0ad6 100644 --- a/about.md +++ b/about.md @@ -12,11 +12,8 @@ design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences. -Our three leading projects are [**Panini**](http://paninij.org), a language -designed to enable safe and efficient concurrent programming by construction, -[**Boa**](http://boa.cs.iastate.edu), a domain-specific language and -infrastructure for mining software repositories, and -[**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance -expressiveness and modular reasoning for crosscutting concerns. +Currently, the lab is pursuing the following projects: [**Modular Deep Learning**](https://lab-design.github.io/projects.html#modular-deep-learning), which investigates the decomposition of deep neural networks into modules to enable reuse, replacement, and independent evolution of those modules, [**Boa**](http://boa.cs.iastate.edu), a domain-specific language and infrastructure for mining software repositories and [**D4**](https://www.nsf.gov/awardsearch/showAward?AWD_ID=1934884&HistoricalAwards=false) (Dependable Data-Driven Discovery), which works on understanding of the risks to the dependability of data-science lifecycles, to formalize the rigorous mathematical basis of the measures of dependability for data-science lifecycles, and to identify mechanisms to create dependable data-science lifecycles. -Our research meetings are held virtually on Tuesday and Friday from 3:00 pm - 5:30 pm. +Our past projects include [**Panini**](http://paninij.org), a language designed to enable safe and efficient concurrent programming by construction and Ptolemy, a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. + +Our research meetings are held in-person and virtually on Friday from 3:00 pm - 5:30 pm. From 2b23885b99ca992c196631e4161904d2c953f311 Mon Sep 17 00:00:00 2001 From: Deepak George Thomas Date: Fri, 15 Nov 2024 16:58:25 -0600 Subject: [PATCH 2/3] Update about.md --- about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about.md b/about.md index f3ad0ad6..9cd023d8 100644 --- a/about.md +++ b/about.md @@ -14,6 +14,6 @@ platform differences. Currently, the lab is pursuing the following projects: [**Modular Deep Learning**](https://lab-design.github.io/projects.html#modular-deep-learning), which investigates the decomposition of deep neural networks into modules to enable reuse, replacement, and independent evolution of those modules, [**Boa**](http://boa.cs.iastate.edu), a domain-specific language and infrastructure for mining software repositories and [**D4**](https://www.nsf.gov/awardsearch/showAward?AWD_ID=1934884&HistoricalAwards=false) (Dependable Data-Driven Discovery), which works on understanding of the risks to the dependability of data-science lifecycles, to formalize the rigorous mathematical basis of the measures of dependability for data-science lifecycles, and to identify mechanisms to create dependable data-science lifecycles. -Our past projects include [**Panini**](http://paninij.org), a language designed to enable safe and efficient concurrent programming by construction and Ptolemy, a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. +Our past projects include [**Panini**](http://paninij.org), a language designed to enable safe and efficient concurrent programming by construction and [**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. Our research meetings are held in-person and virtually on Friday from 3:00 pm - 5:30 pm. From 8979ade3bddbd037ee9459812c4771859380994d Mon Sep 17 00:00:00 2001 From: Deepak George Thomas Date: Fri, 15 Nov 2024 17:01:14 -0600 Subject: [PATCH 3/3] Update about.md --- about.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/about.md b/about.md index 9cd023d8..59bac835 100644 --- a/about.md +++ b/about.md @@ -14,6 +14,6 @@ platform differences. Currently, the lab is pursuing the following projects: [**Modular Deep Learning**](https://lab-design.github.io/projects.html#modular-deep-learning), which investigates the decomposition of deep neural networks into modules to enable reuse, replacement, and independent evolution of those modules, [**Boa**](http://boa.cs.iastate.edu), a domain-specific language and infrastructure for mining software repositories and [**D4**](https://www.nsf.gov/awardsearch/showAward?AWD_ID=1934884&HistoricalAwards=false) (Dependable Data-Driven Discovery), which works on understanding of the risks to the dependability of data-science lifecycles, to formalize the rigorous mathematical basis of the measures of dependability for data-science lifecycles, and to identify mechanisms to create dependable data-science lifecycles. -Our past projects include [**Panini**](http://paninij.org), a language designed to enable safe and efficient concurrent programming by construction and [**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. +Our past projects include [**Panini**](https://design.cs.iastate.edu/panini/), a language designed to enable safe and efficient concurrent programming by construction and [**Ptolemy**](http://ptolemy.cs.iastate.edu), a language that strives to balance expressiveness and modular reasoning for crosscutting concerns. While active work is not ongoing on these projects, interested students may propose collaborative ideas that we would continue to consider. Our research meetings are held in-person and virtually on Friday from 3:00 pm - 5:30 pm.