Marco T. Morazán

55 papers Misc 2Journal 7Unranked 38
YearRankTypeTitle / Venue / Authors
2025 — conf
A Design Recipe and Recipe-Based Errors for Regular Expressions.
TFPiE
Marco T. Morazán, Shamil Dzhatdoyev, Josephine A. Des Rosiers, Tijana Minic, Andrés M. Garced, David Anthony K. Fields
2025 — conf
Design Support for Multitape Turing Machines.
TFPiE
Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced
2025 — conf
Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course.
TFP
Marco T. Morazán, Tijana Minic, Andrés M. Garced
2025 — conf
Grammar Verification for Students: A Grammar Design Recipe with Verification Steps.
CSEDU (2)
Marco T. Morazán
2025 — conf
Visual Execution and Validation of Finite-State Machines and Pushdown Automata.
TFPiE
Marco T. Morazán, David Anthony K. Fields, Andrés M. Garced, Tijana Minic
2025 — conf
Visualizing Construction Algorithms for Closure Properties of Regular Languages.
ITiCSE (1)
Tijana Minic, Marco T. Morazán, Andrés M. Garced, David Anthony K. Fields
2024 — conf
Error Messages for Students Taught Using a Systematic Program Design Curriculum.
TFP
Shamil Dzhatdoyev, Josephine A. Des Rosiers, Marco T. Morazán
2024 — conf
Finite-State Automaton To/From Regular Expression Visualization.
TFPIE
Marco T. Morazán, Tijana Minic
2024 — conf
Nondeterministic to Deterministic Finite-State Machine Visualization: Implementation and Evaluation.
ITiCSE (1)
Marco T. Morazán, Tijana Minic
2024 — conf
On the Implementation of Dynamic Visualizations: A Case-Study Using FSM Visualizations.
IFL
Andrés M. Garced, Tijana Minic, Marco T. Morazán
2024 — book
Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove
Marco T. Morazán
2024 — conf
The Implementation of FSM Computation Graphs.
IFL
Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced
2024 — conf
Using Computation Graphs to Explain Nondeterminism to Students.
SPLASH-E
Marco T. Morazán, Oliwia Kempinski
2024 — conf
Visualizing Composed Turing Machines.
SPLASH-E
Marco T. Morazán, Tijana Minic, Oliwia Kempinski
2023 — conf
Composing Turing Machines in FSM.
SPLASH-E
Marco T. Morazán
2023 J jnl
Proceedings of The 2023 Scheme and Functional Programming Workshop.
CoRR
Marco T. Morazán
2023 — conf
Regular Expressions in a CS Formal Languages Course.
TFPIE
Marco T. Morazán
2023 J jnl
Visualizing Why Nondeterministic Finite-State Automata Reject.
CoRR
Oliwia Kempinski, Marco T. Morazán
2023 J jnl
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation.
CoRR
Tijana Minic, Marco T. Morazán
2022 — book
Animated Problem Solving - An Introduction to Program Design Using Video Game Development
Marco T. Morazán
2022 — book
Animated Program Design - Intermediate Program Design Using Video Game Development
Marco T. Morazán
2022 — conf
Design of Classes I.
TFPIE
Marco T. Morazán
2022 — conf
Introduction to Functional Classes in CS1.
TFPIE
Marco T. Morazán
2020 — conf
How to Design While Loops.
TFPIE
Marco T. Morazán
2020 — conf
How to make
CSERC
Marco T. Morazán
2020 — conf
Using Video Game Development to Motivate Program Design and Algebra Among Inner-City High School Students.
TFPIE
Marco T. Morazán
2020 — conf
Visual Designing and Debugging of Deterministic Finite-State Machines in FSM.
TFPIE
Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde
2018 — conf
FSM Error Messages.
TFPIE@TFP
Marco T. Morazán, Josephine A. Des Rosiers
2018 J jnl
Infusing an HtDP-based CS1 with distributed programming using functional video games.
J. Funct. Program.
Marco T. Morazán
2018 — conf
Vector Programming Using Generative Recursion.
TFPIE@TFP
Marco T. Morazán
2017 — conf
Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS.
TFP
Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev
2017 — conf
Vector Programming Using Structural Recursion.
TFPIE@TFP
Marco T. Morazán
2015 J jnl
Generative and accumulative recursion made fun for beginners.
Comput. Lang. Syst. Struct.
Marco T. Morazán
2014 — conf
Functional Automata - Formal Languages for Computer Science Students.
TFPIE
Marco T. Morazán, Rosario Antunez
2013 — conf
Beautiful Imperative Code - A Functional Ace in the Hole for Imperative Programmers.
The Beauty of Functional Code
Marco T. Morazán
2013 — conf
Bytecode and Memoized Closure Performance.
Trends in Functional Programming
Marco T. Morazán
2013 — conf
Functional Video Games in CS1 III - Distributed Programming for Beginners.
Trends in Functional Programming
Marco T. Morazán
2012 — ed.
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012.
TFPIE
Marco T. Morazán, Peter Achten
2011 — conf
Functional Video Games in CS1 II.
Trends in Functional Programming
Marco T. Morazán
2011 — ed.
Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
IFL
Marco T. Morazán, Sven-Bodo Scholz
2011 — ed.
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
IFL
Jurriaan Hage, Marco T. Morazán
2010 — conf
Functional Video Games in the CS1 Classroom.
Trends in Functional Programming
Marco T. Morazán
2010 J jnl
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008.
High. Order Symb. Comput.
Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán
2008 — ed.
Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008.
Trends in Functional Programming
Peter Achten, Pieter W. M. Koopman, Marco T. Morazán
2007 — conf
Optimal Lambda Lifting in Quadratic Time.
IFL
Marco T. Morazán, Ulrik Pagh Schultz
2007 — ed.
Proceedings of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, New York, USA, April 2-4. 2007.
Trends in Functional Programming
Marco T. Morazán
2006 — conf
Improved Graph-Based Lambda Lifting.
Software Engineering Research and Practice
Marco T. Morazán, Barbara Mucha
2005 — conf
Exploiting Syntactic Analysis for Lambda Lifting.
PLC
Barbara Mucha, Marco T. Morazán
2005 — conf
Towards Closureless Functional Languages.
PLC
Marco T. Morazán
2003 Misc conf
List-Heap Paging in a Distributed Virtual Memory System for Functional Languages.
PDPTA
Marco T. Morazán, Douglas R. Troeger
2002 Misc conf
Prefetching List-Based Memory in a DVM System Designed for Functional Languages.
PDPTA
Marco T. Morazán
2002 J jnl
The MT Stack: Paging Algorithm and Performance in a Distributed Virtual Memory System.
CLEI Electron. J.
Marco T. Morazán, Douglas R. Troeger, Myles Nash
2001 — conf
Designing an All-Software Based Distributed Virtual Memory: The Paging Performance of the MT Stack.
JIISIC
Marco T. Morazán, Douglas R. Troeger, Myles Nash
2001 — conf
Paging in a Distributed Virtual Memory.
Scottish Functional Programming Workshop
Marco T. Morazán, Douglas R. Troeger, Myles Nash
1999 — conf
The MT Architecture and Allocation Algorithm.
Scottish Functional Programming Workshop
Marco T. Morazán, Douglas R. Troeger