RSS Meetup

Functional programming in industry with a case study in Static Application Security Testing (SAST)

Sala 6.3.27, Ciências ULisboa

Por Dimitris Mostrous (Aikido Security).

In this talk, I will share insights from my experience in functional programmer roles in several startups, highlighting how functional programming is used in industry today and crucially, why it makes sense from a business perspective.

In the second part of the talk we will explore Opengrep, an open source Static Application Security Testing (SAST) tool written in OCaml, supported by a consortium of organisations in the application security space.

Opengrep is designed to search for patterns in source code, with a particular emphasis on vulnerability detection. Users define patterns as code fragments enhanced with matching constructs; these are converted into abstract syntax trees and matched against the AST representation of the target code.

Opengrep also supports taint tracking: identifying places where untrusted user input is passed to trusted subsystems without proper sanitisation.

We will discuss why functional programming is well-suited to this kind of work and mention some of the analyses performed under the hood, including parsing, intermediate representations, constant propagation and dataflow analysis.

Bio: Dimitris Mostrous earned his PhD in Computing at Imperial College London. He's currently the lead maintainer of the open source Opengrep SAST tool (https://opengrep.dev) and OCaml Engineer at Aikido Security (https://aikido.dev). This is his third experience working as functional programmer for startups, having previously worked with Clojure and OCaml in domains such as analytics and crypto payments.

14h00
LASIGE Computer Science and Engineering Research Centre

Seminário do Departamento de Física de Ciências ULisboa, por Ana Marques (FCUL-UL).

Logótipo do EVM 2025

O objetivo é proporcionar a estudantes de todo o país - que estejam a concluir o 2.º ou 3.º ano de licenciaturas em Matemática, Física ou áreas afins - a oportunidade de participar num projeto de investigação com a duração de duas semanas - candidaturas até 28 de maio.

Estátua representativa da biodiversidade do planeta Terra

Seminário no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais, por Pierina Jocelyn Mendoza Yengle.

Estudantes de pós-graduação em Matemática de CIÊNCIAS falam, de forma descontraída e informal, sobre o seu trabalho.

Uma oportunidade para fortalecer a cultura de segurança e bem-estar em CIÊNCIAS.

Earth Systems Seminar, por Afonso Loureiro (Arditi, IDL).

Seminário do Laboratório de Instrumentação e Física Experimental de Partículas, por Marco Pinto (LIP).

BioISI Research Seminar, por Rita B. Santos.

Cartaz do filme "O Melhor dos Mundos"

A 29 de maio o filme "O Melhor dos Mundos” é exibido numa sessão especial em CIÊNCIAS, promovida pela FCiências.ID e o Instituto Dom Luiz. Após a projeção do filme, realiza-se uma mesa redonda com quatro especialistas em Sismologia, que responderão a perguntas do público.

Uma oportunidade única para interagir com a comunidade global de computação científica.

Seminário do Centro de Física Teórica e Computacional, por Pablo Sartori (Instituto Gulbenkian de Ciência, Oeiras, Portugal).

Fotografia do stand da Imprensa da ULisboa

A 95.ª Feira do Livro de Lisboa decorre de 04 a 22 de junho.

Mar

Seminário de Projeto de Investigação (Doutoramento em Biologia - Especialidade de Biologia Marinha e Aquacultura), por  João Noronha Gamito Trigo de Sousa.

Copilot Chat

Nesta sessão, serão exploradas as funcionalidades e benefícios do Microsoft 365 Copilot Chat de forma personalizada à comunidade académica de CIÊNCIAS.

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).

Luís Saraiva (Ciências ULisboa) é o coordenador nacional do evento.

Fotografia de alimentos

Comemoração do Dia Mundial da Segurança dos Alimentos em CIÊNCIAS.

Título/data/local do evento e iconografia representativa de energias renováveis

Junta-te a esta revolução energética e faz a diferença!

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Neste curso ficarás a saber como te podes tornar um permacultor eficiente, produtivo e consciente! O curso está preparado para iniciantes na prática de permacultura.

Formação - Cultivar em Permacultura.

Pessoas a interagirem em frente a um computador portátil

As inscrições para a edição de 2025 da formação decorrem até às 17h do dia 23 de maio.

Curso destinado a estudantes de Mestrado e de Doutoramento, bem como a profissionais que desenvolvam investigação científica na área da saúde.

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Páginas