Concepedia

Author

Gary Soeller

Stanford University

Also Known As

Gary Soeller

4

Publications

130

Citations

3

H-Index

18

Concepts

All Affiliations

Stanford University
GS

About

Gary Soeller is an author at Stanford University specializing in formal verification, information security, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

118

2

Computer Engineering

2

2

118

3

Computer Science

2

2

118

4

Compilers

1

1

46

5

Computer Architecture

1

1

72

Gary Soeller

×

2

Publications

118

Citations

2

H-Index

YearCitations

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer,

2019

72

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi, Gary Soeller, Fraser Brown,

2017

46

Page 1