Jean Yang
where else to find them
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 8 in the filters
on a stage with
all 14 in the filters
who talks about the same things
- Christine Yen10 talks
- Dominik Süß7 talks
- Alejandro Mercado7 talks
- Nadia Polikarpova24 talks
- Sean O'Dell4 talks
- Deian Stefan14 talks
| title | conference | date |
|---|---|---|
| Building Observability for 99% Developers | Strange Loop 2022 | 2022-09-22 |
Claim: make observability usable for the “99% developers” by applying compiler/program-analysis ideas to live traffic. Uses ebpf passive packet capture to… | ||
| Type-Directed Program Synthesis for RESTful APIs | PLDI 2022 | 2022-06-13 |
Built a tool called epiphany that infers fine-grained semantic types from OpenAPI docs plus thousands of observed API call traces, uses a type-directed… | ||
| Building Observability for 99% Developers | DockerCon 2022 | 2022-05-09 |
Argues that most teams—“99% developers”—lack time and expertise for heavy instrumentation and that observability must work with messy, aging stacks. Describes… | ||
| STORM: Refinement Types for Secure Web Applications | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Storm is a web framework that enforces data-dependent security policies at compile time via a Security Typed ORM that refines MVC types with logical… | ||
| "Testing" in Prod Isn't the Only Way: Why Observability Needs Structure | DevX Conf 2021 | 2021-04-28 |
Claims that testing in prod alone is insufficient and that structured observability fixes the gap between code and runtime behavior, by turning observed API… | ||
| APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming | SPLASH 2020 REBASE | 2020-11-16 |
Modern web apps produce vast heterogeneous graphs — companies average 300 APIs (5k–10k size) and many internal endpoints lack specs (only 35% rate… | ||
| Liquid Information Flow Control | ICFP 2020 | 2020-08-23 |
Claims a new DSL called Lifty domain-specific language that encodes information-flow policies as liquid refinements and enforces them with a TIO-style security… | ||
| Securing Software by Construction | Philly ETE 2016 | 2016-04-11 |
Research builds a Jeeves prototype implementing policy-agnostic programming with faceted values and formal semantics that prevent direct and indirect leaks… | ||
| nothing matches | ||