Ronald Garcia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | IJCAR | A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. | Rui Ge, Ronald Garcia, Alexander J. Summers |
| 2024 | ICSE | 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 |
| 2022 | ICSE | Enabling End-Users to Implement Larger Block-Based Programs. | Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd |
| 2019 | ICSE | Novice-friendly multi-armed robotics programming. | Nico Ritschel, Reid Holmes, Ronald Garcia, David C. Shepherd |
| 2017 | GPCE | Refining semantics for multi-stage programming. | Rui Ge, Ronald Garcia |
| 2016 | POPL | Abstracting gradual typing. | Ronald Garcia, Alison M. Clark, ric Tanter |
| 2015 | ESOP | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | POPL | Principal Type Schemes for Gradual Programs. | Ronald Garcia, Matteo Cimini |
| 2014 | ICFP | A theory of gradual effect systems. | Felipe Baados Schwerter, Ronald Garcia, ric Tanter |
| 2014 | OOPSLA | Confined gradual typing. | Esteban Allende, Johan Fabry, Ronald Garcia, ric Tanter |
| 2013 | ICFP | Calculating threesomes, with blame. | Ronald Garcia |
| 2012 | ICFP | Interpretations of the gradually-typed lambda calculus. | Jeremy G. Siek, Ronald Garcia |
| 2011 | ECOOP | Gradual Typestate. | Roger Wolff, Ronald Garcia, ric Tanter, Jonathan Aldrich |
| 2011 | ICSE | Permission-based programming languages. | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | OOPSLA | 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 |
| 2009 | ESOP | Exploring the Design Space of Higher-Order Casts. | Jeremy G. Siek, Ronald Garcia, Walid Taha |
| 2009 | GPCE | Toward foundations for type-reflective metaprogramming. | Ronald Garcia, Andrew Lumsdaine |
| 2009 | POPL | Lazy evaluation and delimited control. | Ronald Garcia, Andrew Lumsdaine, Amr Sabry |
| 2003 | OOPSLA | A comparative study of language support for generic programming. | Ronald Garcia, Jaakko Jrvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |