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

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

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