-
Daniel’s keynote at ER
Daniel will deliver the opening keynote at ER23, the 42nd International Conference on Conceptual Modeling.
-
LIVE workshop paper
Josh’s paper, Language Model Agents Enable Semi-Formal Programming, coauthored with Arvind Satyanarayan and Daniel, has been accepted and he’ll present it at theThe Ninth Workshop on Live Programming (LIVE 2023), October 2023.
-
Riffle paper accepted at UIST
Our UIST submission describing Riffle has been accepted. Geoffrey will present at UIST in San Francisco in October.
-
Geoffrey defends thesis!
Geoffrey Litt defended his thesis, presenting Riffle, a new paradigm for front-end design.
-
Kapaya presents Joker
Kapaya Katongo presented his work on Joker: A Unified Interaction Model For Web Customization (coauthored with Geoffrey Litt, Kathryn Jin, and Daniel Jackson) at the LIVE 2022 workshop.
-
Daniel giving autonomy lecture
Daniel is giving a lecture in JHU’s Assured Autonomy Series about certified control.
-
Daniel’s book to the printer
Daniel’s upcoming book on software design, The Essence of Software, is at the printer! Official publication date is Nov 9, when it will be available on Amazon and from independent book sellers.
-
NSF DASS Award
Our proposal to the NSF DASS program has been accepted. PIs Daniel Jackson, Daniel Weitzner and Joan Feigenbaum will be developing a new approach to bridge the gap between new legal requirements (such as GDPR) and software designs, using “policy concepts,” and idea that builds on Jackson’s theory of concepts.
-
Geoffrey awarded NSF Fellowship
Thrilled that Geoffrey Litt has been awarded an NSF Fellowship, joining Josh Pollock who was awarded one last year.
-
Alloy CACM
Daniel’s CACM article about Alloy is now available. There’s also a video showing Alloy in action.