4 Search Results for "Mendes, Ricardo"

Document
DOI: 10.4230/OASIcs.ICPEC.2021.9
Moopec: A Tool for Creating Programming Problems

Authors: Rui C. Mendes

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)

Abstract
This paper presents a tool called Mooshak ProblEm Creator (Moopec) for facilitating the creation of programming exercises for a web-based multi-site programming contest system called Mooshak [Leal and Silva, 2003]. Users only need to create a text file for specifying all the information concerning problems including their description, tests and user feedback. This tool provides ways of automating most tasks involved in creating problems in Mooshak and, consequently, increases teachers' productivity. Moopec allows instructors to quickly create problem sets by simply editing a text file. Moopec is implemented in Python and is available at https://github.com/rcm/mooshak_problem_creator.
Cite as

Rui C. Mendes. Moopec: A Tool for Creating Programming Problems. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 9:1-9:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{mendes:OASIcs.ICPEC.2021.9,
  author =	{Mendes, Rui C.},
  title =	{{Moopec: A Tool for Creating Programming Problems}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{9:1--9:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.9},
  URN =		{urn:nbn:de:0030-drops-142253},
  doi =		{10.4230/OASIcs.ICPEC.2021.9},
  annote =	{Keywords: Automatic Program Assessment, Batch Generation, Testing}
}
Document
Short Paper
DOI: 10.4230/OASIcs.ICPEC.2021.13
A Teaching Assistant for the C Language (Short Paper)

Authors: Rui C. Mendes and José João Almeida

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)

Abstract
We introduce a C tutor that can help instructors manage classes with many students learning to program in C. Nowadays, it is easy to evaluate code but it is hard to provide good feedback. We introduce a tool to help instructors provide students with feedback concerning their implementation and documentation for honing their programming skills. This tool is implemented in Python and is available at https://github.com/rcm/C_teaching_assistant.
Cite as

Rui C. Mendes and José João Almeida. A Teaching Assistant for the C Language (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 13:1-13:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{mendes_et_al:OASIcs.ICPEC.2021.13,
  author =	{Mendes, Rui C. and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{A Teaching Assistant for the C Language}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{13:1--13:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.13},
  URN =		{urn:nbn:de:0030-drops-142296},
  doi =		{10.4230/OASIcs.ICPEC.2021.13},
  annote =	{Keywords: Software metrics, Documentation extractor, Domain specific language, Query language, Report generation}
}
Document
DOI: 10.4230/OASIcs.SLATE.2019.22
Hunting Ancestors: A Unified Approach for Discovering Genealogical Information

Authors: José João Almeida and Rui Castro Mendes

Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)

Abstract
This paper presents an unified approach for discovering genealogical information. It presents a frameworks for storing information concerning ancestors, locations, dates and documents. It also intends to provide a framework that is able to perform inference concerning dates by using constraints and for handling relations, locations and sources. The DSL presented also aims to help users store information from heterogeneous sources along with the evidence contained therein.
Cite as

José João Almeida and Rui Castro Mendes. Hunting Ancestors: A Unified Approach for Discovering Genealogical Information. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 22:1-22:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{almeida_et_al:OASIcs.SLATE.2019.22,
  author =	{Almeida, Jos\'{e} Jo\~{a}o and Mendes, Rui Castro},
  title =	{{Hunting Ancestors: A Unified Approach for Discovering Genealogical Information}},
  booktitle =	{8th Symposium on Languages, Applications and Technologies (SLATE 2019)},
  pages =	{22:1--22:6},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-114-6},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{74},
  editor =	{Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.22},
  URN =		{urn:nbn:de:0030-drops-108890},
  doi =		{10.4230/OASIcs.SLATE.2019.22},
  annote =	{Keywords: Genealogy, Domain Specific Language, Temporal Constraints}
}
Document
DOI: 10.4230/LIPIcs.OPODIS.2016.30
Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations

Authors: Tiago Oliveira, Ricardo Mendes, and Alysson Bessani

Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)

Abstract
Resilient register emulation is a fundamental technique to implement dependable storage and distributed systems. In data-centric models, where servers are modeled as fail-prone base objects, classical solutions achieve resilience by using fault-tolerant quorums of read-write registers or read-modify-write objects. Recently, this model has attracted renewed interest due to the popularity of cloud storage providers (e.g., Amazon S3), that can be modeled as key-value stores (KVSs) and combined for providing secure and dependable multi-cloud storage services. In this paper we present three novel wait-free multi-writer multi-reader regular register emulations on top of Byzantine-prone KVSs. We implemented and evaluated these constructions using five existing cloud storage services and show that their performance matches or surpasses existing data-centric register emulations.
Cite as

Tiago Oliveira, Ricardo Mendes, and Alysson Bessani. Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 30:1-30:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{oliveira_et_al:LIPIcs.OPODIS.2016.30,
  author =	{Oliveira, Tiago and Mendes, Ricardo and Bessani, Alysson},
  title =	{{Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations}},
  booktitle =	{20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
  pages =	{30:1--30:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-031-6},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{70},
  editor =	{Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.30},
  URN =		{urn:nbn:de:0030-drops-70999},
  doi =		{10.4230/LIPIcs.OPODIS.2016.30},
  annote =	{Keywords: Byzantine fault tolerance, register emulation, multi-writer, key-value store, data-centric algorithms}
}
  • Refine by Author
  • 2 Almeida, José João
  • 2 Mendes, Rui C.
  • 1 Bessani, Alysson
  • 1 Mendes, Ricardo
  • 1 Mendes, Rui Castro
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Computer-assisted instruction
  • 1 Applied computing → Computer-managed instruction
  • 1 Software and its engineering → Domain specific languages
  • 1 Software and its engineering → Empirical software validation
  • 1 Software and its engineering → Scripting languages
  • Show More...

  • Refine by Keyword
  • 1 Automatic Program Assessment
  • 1 Batch Generation
  • 1 Byzantine fault tolerance
  • 1 Documentation extractor
  • 1 Domain Specific Language
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 2 2021
  • 1 2017
  • 1 2019

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact