Výsledky vyhledávání - "Kathryn E. Gray"

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Autor: Christopher Pulte, Robert M. Norton, Ian Stark, Jon French, Alastair Reid, Shaked Flur, Alasdair Armstrong, Mark Wassell, Kathryn E. Gray, Peter Sewell, Neel Krishnaswami, Thomas Bauereiss, Brian Campbell, Prashanth Mundkur

Publikováno v: Proceedings of the ACM on Programming Languages
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384

Architecture specifications notionally define the fundamental interface between hardware and software: the envelope of allowed behaviour for processor implementations, and the basic assumptions for software development and verification. But in practi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b03d45b0127eedfeee57ea420de43824
https://doi.org/10.1145/3290384

Zobrazit plný text záznamu

Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC

Autor: Susmit Sarkar, Peter Sewell, Mark Batty, Christopher Pulte, Kyndylan Nienhuis, Ali Sezgin, Luc Maranget, Shaked Flur, Kathryn E. Gray

Publikováno v: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, EPSRC grant C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence EP/M027317/1 (Sarkar), an ARM iCASE a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28e5ffb005cc51cf5dd097d1971c6ded
https://kar.kent.ac.uk/64723/1/mixed-size.pdf

Zobrazit plný text záznamu

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

Autor: Kathryn E. Gray, Christopher Pulte, Ali Sezgin, Peter Sewell, Luc Maranget, Will Deacon, Susmit Sarkar, Shaked Flur

Publikováno v: Principles of Programming Languages 2016 (POPL 2016)
Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, the Scottish Funding Council (SICSA Early Career Industry Fellowship, Sarkar), an ARM iCASE award (Pulte), and ANR grant WMC (AN

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff47d827ee18455402b0595f5a65e4c
https://hal.inria.fr/hal-01244776

Zobrazit plný text záznamu

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors

Autor: Susmit Sarkar, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Kathryn E. Gray, Peter Sewell

Publikováno v: MICRO

Funding: Scottish Funding Council (SICSA Early Career Industry Fellowship) Weakly consistent multiprocessors such as ARM and IBM POWER have been with us for decades, but their subtle programmer-visible concurrency behaviour remains challenging, both

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dc48b42e6546c3164ad804d6d79d5f2
https://doi.org/10.1145/2830772.2830775

Zobrazit plný text záznamu

Lem: reusable engineering of real-world semantics

Autor: Kathryn E. Gray, Scott Owens, Tom Ridge, Peter Sewell, Dominic P. Mulligan

Publikováno v: ICFP

Recent years have seen remarkable successes in rigorous engineering : using mathematically rigorous semantic models (not just idealised calculi) of real-world processors, programming languages, protocols, and security mechanisms, for testing, proof,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1debb15129510ab4df81145daaba00d4
https://kar.kent.ac.uk/36713/1/icfp24-mulligan.pdf

Zobrazit plný text záznamu

Abstract Modelling of Tethered DNA Circuits

Autor: Kathryn E. Gray, Rasmus Lerchedahl Petersen, Matthew R. Lakin, Andrew Phillips

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319112947
DNA

Sequence-specific DNA interactions are a powerful means of programming nanoscale locomotion. These systems typically use a DNA track that is tethered to a surface, and molecular interactions enable a signal or cargo to traverse this track. Such low c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::3fb58a4a1091219ae217e4b34c07ec3f
https://doi.org/10.1007/978-3-319-11295-4_9

Zobrazit plný text záznamu

System tests from unit tests

Autor: Kathryn E. Gray, Alan Mycroft

Large programs have bugs; software engineering practices reduce the number of bugs in deployed systems by relying on a combination of unit tests, to filter out bugs in individual procedures, and system tests, to identify bugs in an integrated system.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::08de877f83b08a0e283371efcef6122b

Zobrazit plný text záznamu

Logical Testing

Autor: Alan Mycroft, Kathryn E. Gray

Publikováno v: Fundamental Approaches to Software Engineering ISBN: 9783642005923

Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to Hoare triples used in program logics, with the pre-conditions encoded into the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5b0e09cb0bb0d22ca22356df70c31fc3
https://doi.org/10.1007/978-3-642-00593-0_13

Zobrazit plný text záznamu

Safe Cross-Language Inheritance

Autor: Kathryn E. Gray

Publikováno v: ECOOP 2008 – Object-Oriented Programming ISBN: 9783540705918
ECOOP

Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can require a significant number of m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1b0b82ba29e41ab29c8b9d12db206a9b
https://doi.org/10.1007/978-3-540-70592-5_4

Zobrazit plný text záznamu

Design of class hierarchies

Autor: Kathryn E. Gray, Viera K. Proulx

Publikováno v: SIGCSE

We report on the experience of teaching an introductory second semester computer science course on Fundamentals of Computer Science that uses our curriculum How to Design Class Hierarchies and the ProfessorJ programming languages implemented within t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1a90caf66c68a873a933ba9169e6016d
https://doi.org/10.1145/1121341.1121431

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání