E-LIB Suche - Ergebnisse für: Wickerson, John

1

Validating Database System Isolation Level Implementations ..:

, In: Proceedings of the Nineteenth European Conference on Computer Systems,

Clark, Jack ; Donaldson, Alastair F. ; Wickerson, John. - p. 754-768 , 2024

Link: https://dl.acm.org/doi/1..

2

Hyperblock Scheduling for Verified High-Level Synthesis:

Herklotz, Yann ; Wickerson, John
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1929-1953 , 2024

Link: https://doi.org/10.1145/..

3

Artifact Report: Intel PMDK Transactions: Specification, Va..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Raad, Azalea ; Lahav, Ori ; Wickerson, John.. - p. 180-184 , 2024

Link: https://doi.org/10.1007/..

4

Challenges in Empirically Testing Memory Persistency Models:

, In: Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results,

Klimis, Vasileios ; Donaldson, Alastair F. ; Vafeiadis, Viktor.. - p. 82-86 , 2024

Link: https://dl.acm.org/doi/1..

5

Intel PMDK Transactions: Specification, Validation and Conc..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Raad, Azalea ; Lahav, Ori ; Wickerson, John.. - p. 150-179 , 2024

Link: https://doi.org/10.1007/..

6

Parallelising Control Flow in Dynamic-scheduling High-level..:

Cheng, Jianyi ; Josipović, Lana ; Wickerson, John.
ACM Transactions on Reconfigurable Technology and Systems. 16 (2023) 4 - p. 1-32 , 2023

Link: https://doi.org/10.1145/..

7

Taking Back Control in an Intermediate Representation for G..:

Klimis, Vasileios ; Clark, Jack ; Baker, Alan...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1740-1769 , 2023

Link: https://doi.org/10.1145/..

8

Balancing Static Islands in Dynamically Scheduled Circuits ..:

Cheng, Jianyi ; Fraca, Estibaliz ; Wickerson, John.
IEEE Transactions on Computers. 72 (2023) 11 - p. 3300-3313 , 2023

Link: https://doi.org/10.1109/..

9

Simulating Operational Memory Models Using Off-the-Shelf Pr..:

Iorga, Dan ; Wickerson, John ; Donaldson, Alastair F.
IEEE Transactions on Software Engineering. 49 (2023) 12 - p. 5084-5102 , 2023

Link: https://doi.org/10.1109/..

10

A Case for Precise, Fine-Grained Pointer Synthesis in High-..:

Ramanathan, Nadesh ; Constantinides, George A. ; Wickerson, John
ACM Transactions on Design Automation of Electronic Systems. 27 (2022) 4 - p. 1-26 , 2022

Link: https://doi.org/10.1145/..

11

Optimal and Heuristic Approaches to Modulo Scheduling With ..:

Sittel, Patrick ; Fiege, Nicolai ; Wickerson, John.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 3 - p. 614-627 , 2022

Link: https://doi.org/10.1109/..

12

A Case for Precise, Fine-Grained Pointer Synthesis in High-..:

Ramanathan, Nadesh ; Constantinides, George A. ; Wickerson, John
ACM Transactions on Design Automation of Electronic Systems (TODAES). 27 (2022) 4 - p. 1-26 , 2022

Link: https://dl.acm.org/doi/1..

13

DASS: Combining Dynamic & Static Scheduling in High-Level S..:

Cheng, Jianyi ; Josipovic, Lana ; Constantinides, George A...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 3 - p. 628-641 , 2022

Link: https://doi.org/10.1109/..

14

View-Based Owicki–Gries Reasoning for Persistent x86-TSO:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bila, Eleni Vafeiadi ; Dongol, Brijesh ; Lahav, Ori.. - p. 234-261 , 2022

Link: https://doi.org/10.1007/..

15

Resource Sharing for Verified High-Level Synthesis:

, In: 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM),

Pardalos, Michalis ; Herklotz, Yann ; Wickerson, John - p. 1-6 , 2022

Link: https://doi.org/10.1109/..