How software engineering research aligns with design science: a review
Background Assessing and communicating software engineering research can be
challenging. Design science is recognized as an appropriate research paradigm for applied …
challenging. Design science is recognized as an appropriate research paradigm for applied …
Program synthesis from polymorphic refinement types
We present a method for synthesizing recursive functions that provably satisfy a given
specification in the form of a polymorphic refinement type. We observe that such …
specification in the form of a polymorphic refinement type. We observe that such …
Alloy: a language and tool for exploring software designs
D Jackson - Communications of the ACM, 2019 - dl.acm.org
Alloy: a language and tool for exploring software designs Page 1 66 COMMUNICATIONS OF
THE ACM | SEPTEMBER 2019 | VOL. 62 | NO. 9 contributed articles ALLOY IS A language and …
THE ACM | SEPTEMBER 2019 | VOL. 62 | NO. 9 contributed articles ALLOY IS A language and …
Automatically comparing memory consistency models
J Wickerson, M Batty, T Sorensen… - Proceedings of the 44th …, 2017 - dl.acm.org
A memory consistency model (MCM) is the part of a programming language or computer
architecture specification that defines which values can legally be read from shared memory …
architecture specification that defines which values can legally be read from shared memory …
Automatic generation of acceptance test cases from use case specifications: an nlp-based approach
Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …
systems with respect to their functional requirements. In safety critical systems, it plays a …
Checkmate: Automated synthesis of hardware exploits and security litmus tests
Recent research has uncovered a broad class of security vulnerabilities in which
confidential data is leaked through programmer-observable microarchitectural state. In this …
confidential data is leaked through programmer-observable microarchitectural state. In this …
Synthesizing memory models from framework sketches and litmus tests
J Bornholt, E Torlak - ACM SIGPLAN Notices, 2017 - dl.acm.org
A memory consistency model specifies which writes to shared memory a given read may
see. Ambiguities or errors in these specifications can lead to bugs in both compilers and …
see. Ambiguities or errors in these specifications can lead to bugs in both compilers and …
Persistency semantics of the Intel-x86 architecture
A Raad, J Wickerson, G Neiger… - Proceedings of the ACM on …, 2019 - dl.acm.org
Emerging non-volatile memory (NVM) technologies promise the durability of disks with the
performance of RAM. To describe the persistency guarantees of NVM, several memory …
performance of RAM. To describe the persistency guarantees of NVM, several memory …
Bounded exhaustive search of alloy specification repairs
The rising popularity of declarative languages and the hard to debug nature thereof have
motivated the need for applicable, automated repair techniques for such languages …
motivated the need for applicable, automated repair techniques for such languages …
A graph solver for the automated generation of consistent domain-specific models
O Semeráth, AS Nagy, D Varró - … of the 40th international conference on …, 2018 - dl.acm.org
Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …
the systematic generation of graph models. For instance, tool qualification necessitated by …