Ronald Garcia

48 papers A* 4A 7B 2Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Block-based or graph-based? Why not both? Designing a hybrid programming environment for end-users.
Interact. Comput.
Nico Ritschel, Reid Holmes, Felipe Fronchetti, Ronald Garcia, David C. Shepherd
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
CoRR
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
Art Sci. Eng. Program.
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2025 J jnl
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors.
Art Sci. Eng. Program.
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes, Karim Ali
2024 J jnl
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).
CoRR
Rui Ge, Ronald Garcia, Alexander J. Summers
2024 — conf
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.
IJCAR (1)
Rui Ge, Ronald Garcia, Alexander J. Summers
2024 — conf
Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users.
ICSE Companion
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
2023 J jnl
Training industrial end-user programmers with interactive tutorials.
Softw. Pract. Exp.
Nico Ritschel, Anand Ashok Sawant, David Weintrop, Reid Holmes, Alberto Bacchelli, Ronald Garcia, Chandrika K. R., Avijit Mandal, Patrick Francis, David C. Shepherd
2022 J jnl
Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment.
Proc. ACM Program. Lang.
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
2022 J jnl
Comparing Block-Based Programming Models for Two-Armed Robots.
IEEE Trans. Software Eng.
Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ronald Garcia, David C. Shepherd
2022 — conf
Enabling End-Users to Implement Larger Block-Based Programs.
ICSE-Companion
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
2022 J jnl
Propositional Equality for Gradual Dependently Typed Programming.
CoRR
Joseph Eremondi, Ronald Garcia, Éric Tanter
2022 J jnl
Propositional equality for gradual dependently typed programming.
Proc. ACM Program. Lang.
Joseph Eremondi, Ronald Garcia, Éric Tanter
2021 J jnl
Abstracting gradual typing moving forward: precise and space-efficient.
Proc. ACM Program. Lang.
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
2021 J jnl
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families.
CoRR
Joseph Eremondi, Ronald Garcia, Éric Tanter
2020 J jnl
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient.
CoRR
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
2020 J jnl
Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16.
ACM Trans. Program. Lang. Syst.
Matías Toro, Ronald Garcia, Éric Tanter
2020 — ed.
Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers
TFP
William J. Bowman, Ronald Garcia
2019 J jnl
Approximate Normalization for Gradual Dependent Types.
CoRR
Joseph Eremondi, Éric Tanter, Ronald Garcia
2019 J jnl
Approximate normalization for gradual dependent types.
Proc. ACM Program. Lang.
Joseph Eremondi, Éric Tanter, Ronald Garcia
2019 — conf
Novice-friendly multi-armed robotics programming.
RoSE@ICSE
Nico Ritschel, Reid Holmes, Ronald Garcia, David C. Shepherd
2019 J jnl
Refining semantics for multi-stage programming.
J. Comput. Lang.
Rui Ge, Ronald Garcia
2018 J jnl
Type-Driven Gradual Security with References.
ACM Trans. Program. Lang. Syst.
Matías Toro, Ronald Garcia, Éric Tanter
2017 B conf
Refining semantics for multi-stage programming.
GPCE
Rui Ge, Ronald Garcia
2016 A* conf
Abstracting gradual typing.
POPL
Ronald Garcia, Alison M. Clark, Éric Tanter
2016 J jnl
Gradual type-and-effect systems.
J. Funct. Program.
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2015 J jnl
Deriving a Simple Gradual Security Language.
CoRR
Ronald Garcia, Éric Tanter
2015 — conf
Essential retroactive weaving.
MODULARITY (Companion)
Robin Salkeld, Ronald Garcia
2015 A conf
Monotonic References for Efficient Gradual Typing.
ESOP
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
2015 A* conf
Principal Type Schemes for Gradual Programs.
POPL
Ronald Garcia, Matteo Cimini
2014 A conf
A theory of gradual effect systems.
ICFP
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
2014 A conf
Confined gradual typing.
OOPSLA
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
2014 J jnl
Foundations of Typestate-Oriented Programming.
ACM Trans. Program. Lang. Syst.
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
2013 A conf
Calculating threesomes, with blame.
ICFP
Ronald Garcia
2013 J jnl
The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics.
J. Object Technol.
Donghoon Kim, Emerson R. Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia
2012 — conf
Interpretations of the gradually-typed lambda calculus.
Scheme@ICFP
Jeremy G. Siek, Ronald Garcia
2012 J jnl
Nourishing the future of the field: the programming language mentoring workshop 2012.
ACM SIGPLAN Notices
Kathleen Fisher, Ronald Garcia, Stephanie Weirich
2012 — ed.
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012
WGP@ICFP
Andres Löh, Ronald Garcia
2011 A conf
Gradual Typestate.
ECOOP
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
2011 A* conf
Permission-based programming languages.
ICSE
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2011 — conf
Plaid: a permission-based programming language.
OOPSLA Companion
Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2010 J jnl
Lazy Evaluation and Delimited Control
Log. Methods Comput. Sci.
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
2009 A conf
Exploring the Design Space of Higher-Order Casts.
ESOP
Jeremy G. Siek, Ronald Garcia, Walid Taha
2009 A* conf
Lazy evaluation and delimited control.
POPL
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
2009 B conf
Toward foundations for type-reflective metaprogramming.
GPCE
Ronald Garcia, Andrew Lumsdaine
2007 J jnl
An extended comparative study of language support for generic programming.
J. Funct. Program.
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
2005 J jnl
MultiArray: a C++ library for generic programming with arrays.
Softw. Pract. Exp.
Ronald Garcia, Andrew Lumsdaine
2003 A conf
A comparative study of language support for generic programming.
OOPSLA
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock