Search Results - "Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation" :: K.UTB vyhledávací portál

Loading…

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Constant-time foundations for the new spectre era

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Adaptive low-overhead scheduling for periodic and reactive intermittent execution

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

NVTraverse: in NVRAM data structures, the destination is more important than the journey

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Synthesizing structured CAD models with equality saturation and inverse transformations

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Learning nonlinear loop invariants with gated continuous logic networks

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Semantic code search via equational reasoning

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

The essence of Bluespec: a core language for rule-based hardware design

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Promising 2.0: global optimizations in relaxed memory concurrency

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Gillian, part i: a multi-language platform for symbolic execution

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Fast graph simplification for interleaved Dyck-reachability

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

PMThreads: persistent memory threads harnessing versioned shadow copies

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Automatic generation of efficient sparse tensor format conversion routines

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Automated derivation of parametric data movement lower bounds for affine programs

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Type error feedback via analytic program repair

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Crafty: efficient, HTM-compatible persistent transactions

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Templates and recurrences: better together

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

BlankIt library debloating: getting what you want instead of cutting what you don’t

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Loading…

Decidable verification under a causally consistent shared memory

Published in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation

Get full text

Conference Proceeding

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database