Ronald Garcia

According to our database, Ronald Garcia authored at least 37 papers between 2003 and 2024.

Collaborative distances:

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

2024

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).

Rui Ge, Ronald Garcia, Alexander J. Summers

CoRR, 2024

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.

Rui Ge, Ronald Garcia, Alexander J. Summers

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users.

Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2023

Training industrial end-user programmers with interactive tutorials.

Nico Ritschel, Anand Ashok Sawant, David Weintrop, Reid Holmes, Alberto Bacchelli, Ronald Garcia, Chandrika K. R., Avijit Mandal, Patrick Francis, David C. Shepherd

Softw. Pract. Exp., March, 2023

2022

Comparing Block-Based Programming Models for Two-Armed Robots.

Nico Ritschel, Vladimir Kovalenko, Reid Holmes, Ronald Garcia, David C. Shepherd

IEEE Trans. Software Eng., 2022

Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment.

Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd

Proc. ACM Program. Lang., 2022

Propositional equality for gradual dependently typed programming.

Joseph Eremondi, Ronald Garcia, Éric Tanter

Proc. ACM Program. Lang., 2022

Enabling End-Users to Implement Larger Block-Based Programs.

Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Abstracting gradual typing moving forward: precise and space-efficient.

Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia

Proc. ACM Program. Lang., 2021

Approximate Normalization and Eager Equality Checking for Gradual Inductive Families.

Joseph Eremondi, Ronald Garcia, Éric Tanter

CoRR, 2021

2020

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.

Matías Toro, Ronald Garcia, Éric Tanter

ACM Trans. Program. Lang. Syst., 2020

2019

Refining semantics for multi-stage programming.

Rui Ge, Ronald Garcia

J. Comput. Lang., 2019

Approximate normalization for gradual dependent types.

Joseph Eremondi, Éric Tanter, Ronald Garcia

Proc. ACM Program. Lang., 2019

Novice-friendly multi-armed robotics programming.

Nico Ritschel, Reid Holmes, Ronald Garcia, David C. Shepherd

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 2019

2018

Type-Driven Gradual Security with References.

Matías Toro, Ronald Garcia, Éric Tanter

ACM Trans. Program. Lang. Syst., 2018

2016

Gradual type-and-effect systems.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

J. Funct. Program., 2016

Abstracting gradual typing.

Ronald Garcia, Alison M. Clark, Éric Tanter

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Deriving a Simple Gradual Security Language.

Ronald Garcia, Éric Tanter

CoRR, 2015

Principal Type Schemes for Gradual Programs.

Ronald Garcia, Matteo Cimini

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monotonic References for Efficient Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

Proceedings of the Programming Languages and Systems, 2015

Essential retroactive weaving.

Robin Salkeld, Ronald Garcia

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014

Foundations of Typestate-Oriented Programming.

Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

Confined gradual typing.

Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

A theory of gradual effect systems.

Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics.

Donghoon Kim, Emerson R. Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia

J. Object Technol., 2013

Calculating threesomes, with blame.

Ronald Garcia

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Nourishing the future of the field: the programming language mentoring workshop 2012.

Kathleen Fisher, Ronald Garcia, Stephanie Weirich

ACM SIGPLAN Notices, 2012

Interpretations of the gradually-typed lambda calculus.

Jeremy G. Siek, Ronald Garcia

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

2011

Plaid: a permission-based programming language.

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the 33rd International Conference on Software Engineering, 2011

Gradual Typestate.

Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2010

Lazy Evaluation and Delimited Control

Ronald Garcia, Andrew Lumsdaine, Amr Sabry

Log. Methods Comput. Sci., 2010

2009

Toward foundations for type-reflective metaprogramming.

Ronald Garcia, Andrew Lumsdaine

Proceedings of the Generative Programming and Component Engineering, 2009

Exploring the Design Space of Higher-Order Casts.

Jeremy G. Siek, Ronald Garcia, Walid Taha

Proceedings of the Programming Languages and Systems, 2009

2007

An extended comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

J. Funct. Program., 2007

2005

MultiArray: a C++ library for generic programming with arrays.

Ronald Garcia, Andrew Lumsdaine

Softw. Pract. Exp., 2005

2003

A comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003