Collaborated with:S.P.D.Rosso E.Kang M.Vaziri I.Kuraj A.Milicevic Matt McCutchen S.Itzhaky J.Hao J.S.0001 Maryam Archie Czarina Lao Barry A. McNamara III
Talks about:concept (2) system (2) comput (2) applic (2) web (2) spreadsheet (1) lightweight (1) represent (1) distribut (1) sequenti (1)
Person: Daniel Jackson 0001
DBLP: 0001:Daniel_Jackson
Contributed to:
2016
2016
20162019Wrote 7 papers:
- FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
- Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
- FSE-2016-JacksonV #verification
- Correct or usable? the limits of traditional verification (impact paper award) (DJ0, MV), p. 11.
- FSE-2016-KangMJ #analysis #multi #security
- Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.
- Onward-2016-KurajJ #distributed #paradigm #programming
- Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (IK, DJ0), pp. 145–164.
- Onward-2016-McCutchenIJ #development #spreadsheet #web
- Object spreadsheets: a new computational model for end-user development of data-centric web applications (MM, SI, DJ0), pp. 112–127.
- OOPSLA-2016-RossoJ #concept #git
- Purposes, concepts, misfits, and a redesign of git (SPDR, DJ0), pp. 292–310.
- Onward-2019-Rosso0ALM #assembly #concept #declarative #web
- Declarative assembly of web applications from predefined concepts (SPDR, DJ0, MA, CL, BAMI), pp. 79–93.