Aleksander Boruch-Gruszecki

According to our database, Aleksander Boruch-Gruszecki authored at least 18 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

AgentPack: A Dataset of Code Changes, Co-Authored by Agents and Humans.

Yangtian Zi, Zixuan Wu, Aleksander Boruch-Gruszecki, Jonathan Bell, Arjun Guha

CoRR, September, 2025

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment.

Aleksander Boruch-Gruszecki, Yangtian Zi, Zixuan Wu, Tejas Oberoi, Carolyn Jane Anderson, Joydeep Biswas, Arjun Guha

CoRR, August, 2025

PhD Knowledge Not Required: A Reasoning Challenge for Large Language Models.

Carolyn Jane Anderson, Joydeep Biswas, Aleksander Boruch-Gruszecki, Federico Cassano, Molly Q. Feldman, Arjun Guha, Francesca Lucchetti, Zixuan Wu

CoRR, February, 2025

ReasoningWeekly: A General Knowledge and Verbal Reasoning Challenge for Large Language Models.

Zixuan Wu, Francesca Lucchetti, Aleksander Boruch-Gruszecki, Jingmiao Zhao, Carolyn Jane Anderson, Joydeep Biswas, Federico Cassano, Arjun Guha

Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, 2025

2024

Gradient: benchmark code.

Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel

Dataset, August, 2024

Gradient: migrated scala-xml.

Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel

Dataset, August, 2024

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau

Proc. ACM Program. Lang., January, 2024

Formal Foundations of Capture Tracking.

Aleksander Boruch-Gruszecki

PhD thesis, 2024

Degrees of Separation: A Flexible Type System for Safe Concurrency.

Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky

Proc. ACM Program. Lang., 2024

Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types.

Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel

Proc. ACM Program. Lang., 2024

2023

Capturing Types.

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

ACM Trans. Program. Lang. Syst., December, 2023

2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.

Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, Aleksander Boruch-Gruszecki

Proc. ACM Program. Lang., 2022

A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.

Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux

Proc. ACM Program. Lang., 2022

Scoped Capabilities for Polymorphic Effects.

Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Immanuel Brachthäuser, Ondrej Lhoták

CoRR, 2022

2021

Tracking Captured Variables in Types.

Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták, Martin Odersky

CoRR, 2021

Implementing path-dependent GADT reasoning for Scala 3.

Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

Safer exceptions for Scala.

Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, Ondrej Lhoták

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2019

Towards improved GADT reasoning in Scala.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019