51 Search Results for "Simões, Alberto"


Volume

OASIcs, Volume 113

12th Symposium on Languages, Applications and Technologies (SLATE 2023)

SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal

Editors: Alberto Simões, Mario Marcelo Berón, and Filipe Portela

Volume

OASIcs, Volume 102

Third International Computer Programming Education Conference (ICPEC 2022)

ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal

Editors: Alberto Simões and João Carlos Silva

Volume

OASIcs, Volume 94

10th Symposium on Languages, Applications and Technologies (SLATE 2021)

SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal

Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, Filipe Portela, and Maria João Pereira

Volume

OASIcs, Volume 91

Second International Computer Programming Education Conference (ICPEC 2021)

ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal

Editors: Pedro Rangel Henriques, Filipe Portela, Ricardo Queirós, and Alberto Simões

Volume

OASIcs, Volume 83

9th Symposium on Languages, Applications and Technologies (SLATE 2020)

SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference)

Editors: Alberto Simões, Pedro Rangel Henriques, and Ricardo Queirós

Volume

OASIcs, Volume 81

First International Computer Programming Education Conference (ICPEC 2020)

ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)

Editors: Ricardo Queirós, Filipe Portela, Mário Pinto, and Alberto Simões

Volume

OASIcs, Volume 56

6th Symposium on Languages, Applications and Technologies (SLATE 2017)

SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal

Editors: Ricardo Queirós, Mário Pinto, Alberto Simões, José Paulo Leal, and Maria João Varanda

Volume

OASIcs, Volume 38

3rd Symposium on Languages, Applications and Technologies

SLATE 2014, June 19-20, 2014, Bragança, Portugal

Editors: Maria João Varanda Pereira, José Paulo Leal, and Alberto Simões

Volume

OASIcs, Volume 29

2nd Symposium on Languages, Applications and Technologies

SLATE 2013, June 20-21, 2013, Porto, Portugal

Editors: José Paulo Leal, Ricardo Rocha, and Alberto Simões

Volume

OASIcs, Volume 21

1st Symposium on Languages, Applications and Technologies

SLATE 2012, June 21-22, 2012, Braga, Portugal

Editors: Alberto Simões, Ricardo Queirós, and Daniela da Cruz

Document
Complete Volume
OASIcs, Volume 113, SLATE 2023, Complete Volume

Authors: Alberto Simões, Mario Marcelo Berón, and Filipe Portela

Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)


Abstract
OASIcs, Volume 113, SLATE 2023, Complete Volume

Cite as

12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 1-206, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@Proceedings{simoes_et_al:OASIcs.SLATE.2023,
  title =	{{OASIcs, Volume 113, SLATE 2023, Complete Volume}},
  booktitle =	{12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
  pages =	{1--206},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-291-4},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{113},
  editor =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023},
  URN =		{urn:nbn:de:0030-drops-185130},
  doi =		{10.4230/OASIcs.SLATE.2023},
  annote =	{Keywords: OASIcs, Volume 113, SLATE 2023, Complete Volume}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Alberto Simões, Mario Marcelo Berón, and Filipe Portela

Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)


Abstract
Front Matter, Table of Contents, Preface, Conference Organization

Cite as

12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@InProceedings{simoes_et_al:OASIcs.SLATE.2023.0,
  author =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
  pages =	{0:i--0:xii},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-291-4},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{113},
  editor =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.0},
  URN =		{urn:nbn:de:0030-drops-185141},
  doi =		{10.4230/OASIcs.SLATE.2023.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
Hierarchical Data-Flow Graphs

Authors: José Pereira, Vitor Vieira, and Alberto Simões

Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)


Abstract
Data-Flows are crucial to detect the dependency of statements and expressions in a programming language program. In the context of Static Application Security Testing (SAST), they are heavily used in different aspects, from detecting tainted data to understanding code dependency. In Checkmarx, these data flows are currently computed on the fly, but their efficiency is not the desired, especially when dealing with large projects. With this in mind, a new caching mechanism is being developed, based on hierarchical graphs. In this document, we discuss the basic idea behind this approach, the challenges found and the decisions put in place for the implementation. We will also share the first insights on speed improvements for a proof of concept implementation.

Cite as

José Pereira, Vitor Vieira, and Alberto Simões. Hierarchical Data-Flow Graphs. In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 11:1-11:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@InProceedings{pereira_et_al:OASIcs.SLATE.2023.11,
  author =	{Pereira, Jos\'{e} and Vieira, Vitor and Sim\~{o}es, Alberto},
  title =	{{Hierarchical Data-Flow Graphs}},
  booktitle =	{12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
  pages =	{11:1--11:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-291-4},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{113},
  editor =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.11},
  URN =		{urn:nbn:de:0030-drops-185252},
  doi =		{10.4230/OASIcs.SLATE.2023.11},
  annote =	{Keywords: Data Flow, Static Application Security Testing, Hierarchical Graphs}
}
Document
Type Annotation for SAST

Authors: Marco Pereira, Alberto Simões, and Pedro Rangel Henriques

Published in: OASIcs, Volume 113, 12th Symposium on Languages, Applications and Technologies (SLATE 2023)


Abstract
Static Application Security Testing (SAST) is a type of software security testing that analyzes the source code of an application to identify security vulnerabilities and coding errors. It helps detect security vulnerabilities in software code before deployment reducing the risk of exploitation by attackers. The work presented in this document describes the work performed to upgrade Checkmarx’s SAST tool allowing the execution of vulnerability detection taking into account expression types. For this to be possible, every expression in the Document Object Model needs to have a specific type assigned accordingly to the kind of operation and to the different operand types. At the current stage, this project is already supporting the expression type annotation for three programming languages: C, C++ and C#. This support has been done through the addition of a new Resolver Rule to the Resolver stage, allowing for the generalization of languages. We also compare the complexity of writing vulnerability detection queries with or without access to type information.

Cite as

Marco Pereira, Alberto Simões, and Pedro Rangel Henriques. Type Annotation for SAST. In 12th Symposium on Languages, Applications and Technologies (SLATE 2023). Open Access Series in Informatics (OASIcs), Volume 113, pp. 12:1-12:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@InProceedings{pereira_et_al:OASIcs.SLATE.2023.12,
  author =	{Pereira, Marco and Sim\~{o}es, Alberto and Henriques, Pedro Rangel},
  title =	{{Type Annotation for SAST}},
  booktitle =	{12th Symposium on Languages, Applications and Technologies (SLATE 2023)},
  pages =	{12:1--12:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-291-4},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{113},
  editor =	{Sim\~{o}es, Alberto and Ber\'{o}n, Mario Marcelo and Portela, Filipe},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2023.12},
  URN =		{urn:nbn:de:0030-drops-185261},
  doi =		{10.4230/OASIcs.SLATE.2023.12},
  annote =	{Keywords: Static Application Security Testing, Type Annotation, C, C++, C#}
}
Document
Down-Translating XML: The Python Way

Authors: Alberto Simões and José João Almeida

Published in: OASIcs, Volume 104, 11th Symposium on Languages, Applications and Technologies (SLATE 2022)


Abstract
Nowadays, the most used approach to process an XML file is based on the processing of a DOM structure and a set of operations that collects or edits information in the model using some kind of selectors (usually CSS-like or XPath). Nevertheless, the process of performing a depth-first walk through the DOM, and synthesizing values, is a simple way to traverse and transform an entire XML document. In this document we discuss the details on the implementation and usage of a Python package for XML document processing based on this structure. Given the existence of similar tools for other programming languages, we will mainly focus on the used approach, that takes advantage of the Python style guides and development patterns.

Cite as

Alberto Simões and José João Almeida. Down-Translating XML: The Python Way. In 11th Symposium on Languages, Applications and Technologies (SLATE 2022). Open Access Series in Informatics (OASIcs), Volume 104, pp. 15:1-15:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@InProceedings{simoes_et_al:OASIcs.SLATE.2022.15,
  author =	{Sim\~{o}es, Alberto and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{Down-Translating XML: The Python Way}},
  booktitle =	{11th Symposium on Languages, Applications and Technologies (SLATE 2022)},
  pages =	{15:1--15:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-245-7},
  ISSN =	{2190-6807},
  year =	{2022},
  volume =	{104},
  editor =	{Cordeiro, Jo\~{a}o and Pereira, Maria Jo\~{a}o and Rodrigues, Nuno F. and Pais, Sebasti\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2022.15},
  URN =		{urn:nbn:de:0030-drops-167617},
  doi =		{10.4230/OASIcs.SLATE.2022.15},
  annote =	{Keywords: XML, Python, Depth-First Processing}
}
  • Refine by Author
  • 40 Simões, Alberto
  • 17 Queirós, Ricardo
  • 8 Portela, Filipe
  • 6 Almeida, José João
  • 6 Leal, José Paulo
  • Show More...

  • Refine by Classification
  • 9 Computing methodologies → Natural language processing
  • 7 Applied computing → Education
  • 4 Computing methodologies → Language resources
  • 4 Information systems → World Wide Web
  • 4 Theory of computation → Formal languages and automata theory
  • Show More...

  • Refine by Keyword
  • 9 Preface
  • 9 Table of Contents
  • 8 Conference Organization
  • 7 Front Matter
  • 2 Frontmatter
  • Show More...

  • Refine by Type
  • 41 document
  • 10 volume

  • Refine by Publication Year
  • 10 2021
  • 9 2020
  • 5 2013
  • 5 2017
  • 5 2022
  • Show More...

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