Quick Overview: Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Internalizing Indistinguishability with Dependent Generating Well-Typed Terms That Are Not “Useless” (Video,
Popl 24 Mechanizing Refinement Types - Detailed Overview & Context
Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Internalizing Indistinguishability with Dependent Generating Well-Typed Terms That Are Not “Useless” (Video, Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Optimal Program Synthesis via Abstract Interpretation (Video, Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis (Video,
Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Efficient Bottom-Up Synthesis for Programs with Local Variables (Video,
![[POPL'24] Mechanizing Refinement Types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
![[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
![[POPL 2021] Data Flow Refinement Type Inference (full)](https://i.ytimg.com/vi/GOAguNduMcM/mqdefault.jpg)
![[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)](https://i.ytimg.com/vi/ELSREvt9_gQ/mqdefault.jpg)
![[POPL'24] Polynomial Time and Dependent types](https://i.ytimg.com/vi/u2UcApiJA1Q/mqdefault.jpg)
![[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...](https://i.ytimg.com/vi/cMBuYviwtIE/mqdefault.jpg)
![[ICFP'23] Explicit Refinement Types](https://i.ytimg.com/vi/xR9a12RHz3A/mqdefault.jpg)
![[POPL'23] Conditional Contextual Refinement](https://i.ytimg.com/vi/fINgpZeyF_g/mqdefault.jpg)
![[POPL'24] Type-based Gradual Typing Performance Optimization](https://i.ytimg.com/vi/YHUadoP9ZFg/mqdefault.jpg)
![[POPL'24] Soundly Handling Linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
![[POPL'24] Internalizing Indistinguishability with Dependent Types](https://i.ytimg.com/vi/cgTrzJ1yVSA/mqdefault.jpg)
![[POPL'23] A Compositional Theory of Linearizability](https://i.ytimg.com/vi/8daiHZvL1Vk/mqdefault.jpg)
![[POPL'25] Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages](https://i.ytimg.com/vi/zu6KnVOTEFw/mqdefault.jpg)
![[POPL'24] Generating Well-Typed Terms that are not "Useless"](https://i.ytimg.com/vi/KkE-wVqUbVQ/mqdefault.jpg)
![[POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension...](https://i.ytimg.com/vi/eYgDMkHwfco/mqdefault.jpg)
![[POPL'24] Guided Equality Saturation](https://i.ytimg.com/vi/ZLkHl7YmpIY/mqdefault.jpg)
![[POPL'24] Optimal Program Synthesis via Abstract Interpretation](https://i.ytimg.com/vi/OlFnav1sm4A/mqdefault.jpg)
![[POPL'24] Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis](https://i.ytimg.com/vi/J2biQREB-Eg/mqdefault.jpg)
![[POPL 2021] A Separation Logic for Effect Handlers (full)](https://i.ytimg.com/vi/Zqyu0LPbBb8/mqdefault.jpg)
![[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local Variables](https://i.ytimg.com/vi/a_dvy9s44G4/mqdefault.jpg)