Fengyun Liu
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
all 7 in the filters
who talks about the same things
- Aggelos Biboudis3 talks
- Paolo G. Giarrusso6 talks
- Ondřej Lhoták11 talks
- Clément Blaudeau4 talks
- Deepak Garg18 talks
- Jonathan Aldrich17 talks
| title | conference | date |
|---|---|---|
| Initializing Global Objects: Time and Order | OOPSLA 2023 | 2023-10-23 |
Claims a static, flow-sensitive interprocedural analysis that enforces initialization-time irrelevance plus partial ordering to eliminate Scala global-object… | ||
| A conceptual framework for safe object initialization: a principled and mechani... | OOPSLA 2023 | 2023-10-23 |
Defines four enforceable principles—monotonicity, authority, stackability, scopability—and builds a small Celsius calculus that encodes temperature-annotated… | ||
| A Type-and-Effect System for Object Initialization | OOPSLA 2020 | 2020-11-15 |
Type-and-effect design enforces a concretely checkable initialization discipline: cold, warm, hot types plus potentials and effects track field accesses… | ||
| nothing matches | ||