for Research or
for all memos.
Restrict to Deja Fu / CoCo Summaries.
Back to all memos.
- Interesting Research
- Simplifying Execution Traces
- Do Developers Update Their Library Dependencies?
- The Academic Mindset and Me
- Why Do Developers Use Trivial Packages?
- How to Break an API
- A Multithreaded Runtime for Deja Fu
- Implementing Polymorphism
- Mixing and Matching Variables
- Generating Typed Expressions
- Representation & Evaluation of Typed Expressions
- Systematic Concurrency Testing and Daemon Threads
- Reducing Combinatorial Explosion