GithubHelp home page GithubHelp logo

Hi there 👽

I'm a PhD Candidate at the University of Lisbon. I perform research in security, software engineering, productivity, program analysis, machine learning, software maintainability and best practices.

🍵 My projects:

  • Secbench - A dataset of 676 security patches (mutli-language, single-commits).
  • Security Patches Dataset - Collection of datasets for vulnerability prediction -- monthly updated.
  • SECOM - A convention for security commit messages.
  • SECOMlint - A linter for security commit messages. It measures compliance against SECOM.
  • SAST - A collection of static analyzers for security.
  • Lithium-Slicer - A test minimization tool to help developers create smaller test inputs (i.e., code snippets) in their bug reports (program slicer based on the Mozilla lithium tool).
  • ... and many more that will soon be published.

✨ Contributions:

  • Infer - I've added models to Meta/Facebook's static analyzer to boost the detection of performance issues in C/C++ (12 weeks internship).

Sofia Reis's Projects

awesome-static-analysis icon awesome-static-analysis

A curated list of static analysis tools, linters and code quality checkers for various programming languages

cf-tool icon cf-tool

Collaborative Filtering using mdc or correlation to recommend movies

codeql icon codeql

GitHub Satellite 2020 workshops on finding security vulnerabilities with CodeQL for Java/JavaScript.

drag-shop icon drag-shop

@College_Project: Hybrid mobile application able to be customized to any kind of business and it allows both shop owner to manage their business anywhere, anytime in a quick and easy way.

easy-as-abc icon easy-as-abc

Easy as ABC it's a prolog program that resolves an easy as abc problem using retrictions.

jd-core icon jd-core

JD-Core is a JAVA decompiler written in JAVA.

ldso-univento icon ldso-univento

@College_Project: Social network website where the user can search for academic events of all kind and where the students' union can promote their own events.

lithium-slicer icon lithium-slicer

⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).

navqdsl icon navqdsl

@College_Project: DSL for specifying queries in navigation systems graphs.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.