Replication Package for Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs

2021 ◽  
Author(s):  
Coşku Acay ◽  
Rolph Recto ◽  
Joshua Gancher ◽  
Andrew C. Myers ◽  
Elaine Shi
Keyword(s):  
Distributed Programs ◽  
Optimizing Compiler

scholarly journals Viaduct: an extensible, optimizing compiler for secure distributed programs

2021 ◽  
Author(s):  
Coşku Acay ◽  
Rolph Recto ◽  
Joshua Gancher ◽  
Andrew C. Myers ◽  
Elaine Shi
Keyword(s):  
Distributed Programs ◽  
Optimizing Compiler

Causality-Preserving Timestamps in Distributed Programs

1993 ◽  
Author(s):  
Adam Beguelin ◽  
Erik Seligman
Keyword(s):  
Distributed Programs

Confluence Analysis for Distributed Programs: A Model-Theoretic Approach

2011 ◽  
Author(s):  
William R. Marczak ◽  
Peter Alvaro ◽  
Neil Conway ◽  
Joseph M. Hellerstein ◽  
David Maier
Keyword(s):  
Theoretic Approach ◽  
Distributed Programs

scholarly journals A simple model of distributed programs based on implementation-hiding and process autonomy

1980 ◽  
Vol 15 (7 and 8) ◽  
pp. 26-35 ◽  
Author(s):  
K. M. Chandy ◽  
J. Misra
Keyword(s):  
Simple Model ◽  
Distributed Programs

TS: an optimizing compiler for smalltalk

1988 ◽  
Vol 23 (11) ◽  
pp. 18-26 ◽  
Author(s):  
Ralph E. Johnson ◽  
Justin O. Graver ◽  
Laurance W. Zurawski
Keyword(s):  
Optimizing Compiler

Implementation of an optimizing compiler for VHDL

1988 ◽  
Vol 23 (1) ◽  
pp. 92-108 ◽  
Author(s):  
J. Bhasker
Keyword(s):  
Optimizing Compiler

DEBL: a knowledge-based language for specifying and debugging distributed programs

1989 ◽  
Vol 32 (9) ◽  
pp. 1079-1084 ◽  
Author(s):  
Wan-Hong S. Cheng ◽  
Virgil E. Wallentine
Keyword(s):  
Distributed Programs ◽  
Knowledge Based

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs

2021 ◽  
Vol 34 (5) ◽  
pp. 319-348
Author(s):  
Duong Nguyen ◽  
Sorrachai Yingchareonthawornchai ◽  
Vidhya Tekken Valapil ◽  
Sandeep S. Kulkarni ◽  
Murat Demirbas
Keyword(s):  
Distributed Programs

OCC: An Automated End-to-End Machine Learning Optimizing Compiler for Computing-In-Memory

2021 ◽  
pp. 1-1
Author(s):  
Adam Siemieniuk ◽  
Lorenzo Chelini ◽  
Asif Ali Khan ◽  
Jeronimo Castrillon ◽  
Andi Drebes ◽  
...  
Keyword(s):  
Machine Learning ◽  
Optimizing Compiler ◽  
End To End
Sign in / Sign up

Export Citation Format

Share Document