Aleksander Boruch-Gruszecki

17 papers Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
AgentPack: A Dataset of Code Changes, Co-Authored by Agents and Humans.
CoRR
Yangtian Zi, Zixuan Wu, Aleksander Boruch-Gruszecki, Jonathan Bell, Arjun Guha
2025 J jnl
Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment.
CoRR
Aleksander Boruch-Gruszecki, Yangtian Zi, Zixuan Wu, Tejas Oberoi, Carolyn Jane Anderson, Joydeep Biswas, Arjun Guha
2025 J jnl
PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models.
CoRR
Carolyn Jane Anderson, Joydeep Biswas, Aleksander Boruch-Gruszecki, Federico Cassano, Molly Q. Feldman, Arjun Guha, Francesca Lucchetti, Zixuan Wu
2025 — conf
ReasoningWeekly: A General Knowledge and Verbal Reasoning Challenge for Large Language Models.
IJCNLP-AACL (long papers)
Zixuan Wu, Francesca Lucchetti, Aleksander Boruch-Gruszecki, Jingmiao Zhao, Carolyn Jane Anderson, Joydeep Biswas, Federico Cassano, Arjun Guha
2024 J jnl
Degrees of Separation: A Flexible Type System for Safe Concurrency.
Proc. ACM Program. Lang.
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
2024 — —
Formal Foundations of Capture Tracking.
Aleksander Boruch-Gruszecki
2024 J jnl
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types.
Proc. ACM Program. Lang.
Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel
2024 J jnl
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
Proc. ACM Program. Lang.
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
2023 J jnl
Capturing Types.
ACM Trans. Program. Lang. Syst.
Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser
2022 J jnl
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
CoRR
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022 J jnl
A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.
Proc. ACM Program. Lang.
Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022 J jnl
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang.
Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki
2022 J jnl
Scoped Capabilities for Polymorphic Effects.
CoRR
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták
2021 — conf
Implementing path-dependent GADT reasoning for Scala 3.
SCALA@SPLASH
Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux
2021 — conf
Safer exceptions for Scala.
SCALA@SPLASH
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták
2021 J jnl
Tracking Captured Variables in Types.
CoRR
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky
2019 — conf
Towards improved GADT reasoning in Scala.
SCALA@ECOOP
Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso