Ronald Garcia

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 21

Top Topics

Lego Mindstorms

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users. ICSE Companion (2024)
Rui Ge, Ronald Garcia, Alexander J. Summers
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). CoRR (2024)
Rui Ge, Ronald Garcia, Alexander J. Summers
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. IJCAR (1) (2024)
Nico Ritschel, Anand Ashok Sawant, David Weintrop, Reid Holmes, Alberto Bacchelli, Ronald Garcia, Chandrika K. R, Avijit Mandal, Patrick Francis, David C. Shepherd
Training industrial end-user programmers with interactive tutorials. Softw. Pract. Exp. 53 (3) (2023)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
Enabling End-Users to Implement Larger Block-Based Programs. ICSE-Companion (2022)
Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional Equality for Gradual Dependently Typed Programming. CoRR (2022)
Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ronald Garcia, David C. Shepherd
Comparing Block-Based Programming Models for Two-Armed Robots. IEEE Trans. Software Eng. 48 (5) (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR (2021)
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting gradual typing moving forward: precise and space-efficient. Proc. ACM Program. Lang. 5 (POPL) (2021)
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient. CoRR (2020)
Matías Toro, Ronald Garcia, Éric Tanter
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. 42 (2) (2020)
Rui Ge, Ronald Garcia
Refining semantics for multi-stage programming. J. Comput. Lang. 51 (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate Normalization for Gradual Dependent Types. CoRR (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Nico Ritschel, Reid Holmes, Ronald Garcia, David C. Shepherd
Novice-friendly multi-armed robotics programming. RoSE@ICSE (2019)
Matías Toro, Ronald Garcia, Éric Tanter
Type-Driven Gradual Security with References. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Rui Ge, Ronald Garcia
Refining semantics for multi-stage programming. GPCE (2017)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
Gradual type-and-effect systems. J. Funct. Program. 26 (2016)
Ronald Garcia, Alison M. Clark, Éric Tanter
Abstracting gradual typing. POPL (2016)
Robin Salkeld, Ronald Garcia
Essential retroactive weaving. MODULARITY (Companion) (2015)
Ronald Garcia, Éric Tanter
Deriving a Simple Gradual Security Language. CoRR (2015)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
Monotonic References for Efficient Gradual Typing. ESOP (2015)
Ronald Garcia, Matteo Cimini
Principal Type Schemes for Gradual Programs. POPL (2015)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
A theory of gradual effect systems. ICFP (2014)
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
Confined gradual typing. OOPSLA (2014)
Ronald Garcia
Calculating threesomes, with blame. ICFP (2013)
Donghoon Kim, Emerson R. Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia
The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics. J. Object Technol. 12 (4) (2013)
Jeremy G. Siek, Ronald Garcia
Interpretations of the gradually-typed lambda calculus. Scheme@ICFP (2012)
Kathleen Fisher, Ronald Garcia, Stephanie Weirich
Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices 47 (4a) (2012)
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Gradual Typestate. ECOOP (2011)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Permission-based programming languages. ICSE (2011)
Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Plaid: a permission-based programming language. OOPSLA Companion (2011)
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
Lazy Evaluation and Delimited Control Log. Methods Comput. Sci. 6 (3) (2010)
Jeremy G. Siek, Ronald Garcia, Walid Taha
Exploring the Design Space of Higher-Order Casts. ESOP (2009)
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
Lazy evaluation and delimited control. POPL (2009)
Ronald Garcia, Andrew Lumsdaine
Toward foundations for type-reflective metaprogramming. GPCE (2009)
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
An extended comparative study of language support for generic programming. J. Funct. Program. 17 (2) (2007)
Ronald Garcia, Andrew Lumsdaine
MultiArray: a C++ library for generic programming with arrays. Softw. Pract. Exp. 35 (2) (2005)
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
A comparative study of language support for generic programming. OOPSLA (2003)