Daniel Jackson
Massachusetts Institute of Technology
H-index: 51
North America-United States
Top articles of Daniel Jackson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design | arXiv preprint arXiv:2310.02432 | Evan Caragay Katherine Xiong Jonathan Zong Daniel Jackson | 2023/10/3 |
Concept-Centric Software Development: An Experience Report | Peter Wilczynski Taylor Gregoire-Wright Daniel Jackson | 2023/10/18 | |
Certified control for self-driving cars | 2023/9/5 | ||
Riffle: Reactive Relational State for Local-First Applications | Geoffrey Litt Nicholas Schiefer Johannes Schickling Daniel Jackson | 2023/10/29 | |
Bluefish: A Relational Grammar of Graphics | arXiv preprint arXiv:2307.00146 | Josh Pollock Catherine Mei Grace Huang Daniel Jackson Arvind Satyanarayan | 2023/6/30 |
Concept-Centric Software Development | New Ideas, New Paradigms, and Reflections on Programming and Software | Peter Wilczynski Taylor Gregoire-Wright Daniel Jackson | 2023/10/25 |
On the complexity of convex and reverse convex prequadratic constraints | EPiC Series in Computing | Rodrigo Raya Jad Hamza V Kunčak | 2023/6/3 |
Verifying an object recognition determination produced by a perception system from data received from a ranging sensor system | 2022/11/17 | ||
Concept Design Moves | Daniel Jackson | 2022/5/20 | |
Merge what you can, fork what you can't: managing data integrity in local-first software | Nicholas Schiefer Geoffrey Litt Daniel Jackson | 2022/4/5 | |
Certified perception for autonomous cars | 6th Workshop On Monitoring And Testing Of Cyber-Physical Systems, | Uriel Guajardo Annie Bryan Nikos Arechiga Sergio Campos Jeff Chow | 2021/5 |
Certified control: An architecture for verifiable safety of autonomous vehicles | arXiv preprint arXiv:2104.06178 | Daniel Jackson Valerie Richmond Mike Wang Jeff Chow Uriel Guajardo | 2021/3/29 |
The Essence of Software: Why Concepts Matter for Great Design | Daniel Jackson | 2021/12/31 | |
Towards end-user web scraping for customization | Kapaya Katongo Geoffrey Litt Daniel Jackson | 2021/3/22 | |
End-user software customization by direct manipulation of tabular data | Geoffrey Litt Daniel Jackson Tyler Millis Jessica Quaye | 2020/11/18 | |
Certified control: A new safety architecture for autonomous vehicles | EMSOFT, submitted for publication | Jeff Chow Valerie Richmond Mike Wang Uriel Guajardo Daniel Jackson | 2020 |
Wildcard: spreadsheet-driven customization of web applications | Geoffrey Litt Daniel Jackson | 2020/3/23 | |
Demystifying dependence | James Koppel Daniel Jackson | 2020/11/18 | |
WIP: Finding bugs automatically in smart contracts with parameterized invariants | Retrieved July | Thomas Bernardi Nurit Dor Anastasia Fedotov Shelly Grossman Neil Immerman | 2020/2/21 |