Jerome Simeon
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Avraham Shinnaronce
- Chantal Kelleronce
- Dan Selmanonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Translating canonical SQL to imperative code in Coq | OOPSLA 2023 | 2023-10-23 |
A mechanically verified compiler named DBCert translates a canonical SQL subset with correlated queries and NULL semantics into an imperative language using… | ||
| Ergo - a programming language for Smart Legal Contracts | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Ergo implements executable contract logic tied to a data model (Concerto) and template engine (Cicero), compiles to JavaScript and JVM bytecode, and emits… | ||
| nothing matches | ||