[abstract interpretation] [ai] [Clojure] [collapse-towers] [Common Lisp] [comm. boot.] [compiler] [composition] [constraints] [Coq] [Dafny] [expert-system] [Frama-C] [generator] [harmony] [logic] [meta] [meta-reasoning] [meta-theory] [metabolic-network] [meta] [minikanren] [music] [OOP] [overtone] [paper implementation studies] [PLT Redex] [Prolog] [python] [reasoning] [reflection] [Scala] [Scheme] [Satisfiability Modulo Theories] [tabling] [towers] [Twelf] [verification]
(powered by tagcrowd.com)
by Research Topics
writing programs that write programs...
Logic & relational programming
can we think in terms of relations rather than functions?
type-theoretic foundations for languages like Scala, for language virtualization, for multi-stage programming, ...
building self-reflecting and self-adapting processes, meta-level architectures, ...
Satisfiability Modulo Theories (SMT)
how can we put powerful tools like z3 and CVC4 to work?
reviving some old school AI. How can we combine it with deep learning for neuro-symbolic systems?
- Contributions include Scala (EPFL), Closure Compiler (Google), Micado (CAG CSAIL), Cytoscape (Ideker Lab).
as Research Prototypes
[Scheme, miniKanren, SMT] [logic programming]
[Scheme, miniKanren] [generative programming, logic programming]
[Scheme, miniKanren] [logic programming, reflection]
[Common Lisp] [biology]
[Common Lisp, Clojure, ...] [music, harmony & counterpoint]
as Research Artifacts
[Coq, Twelf, PLT Redex, Dafny] [meta-theory]
[Scala, Frama-C] [generative programming, verification]
Collapsing Towers of Interpreters
[Scala, Scheme] [generative programming, reflection]
[Scala, SMT, tabling] [logic programming]
SQL to C in 500 lines of code
[Scala, C, SQL] [generative programming, pearl, tutorial]
as Paper Implementation Studies
an incremental approach to compiler construction
[Scheme, C, x86 assembly, Rust] [compiler]
set and constraint logic programming
[Scheme, miniKanren, Prolog] [logic programming]
building problem solvers
[Common Lisp] [AI, expert system, reasoning]
[Common Lisp] [AI, reflection, reasoning]
Dafny for PL Meta-Theory
software foundations, locally nameless, step-indexed logical relations
[Dafny, Coq] [meta-theory]
art of prolog, prolog for AI, alphaProlog, meta-circular abstract interpretation
[Clojure] [logic programming, abstract interpretation, binders]
[Scheme, Python] [AI]
Engineered Robustness by Controlled Hallucination
[Common Lisp] [AI]
[Clojure] [logic programming, binders]