GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com โ€” pcanelas - Overview

@pcanelas pcanelas Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@pcanelas
pcanelas
Follow
View pcanelas's full-sized avatar
๐Ÿ‘จโ€๐Ÿ’ป

Paulo Canelas pcanelas

๐Ÿ‘จโ€๐Ÿ’ป
Follow
Ph.D. Student at S3D at Carnegie Mellon University and LASIGE, University of Lisbon
34 followers ยท 39 following
  • Pittsburgh, Pennsylvania
  • https://pcanelas.com
  • https://orcid.org/0000-0002-0154-8989
  • @pcanelassantos

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLO

Highlights

  • Pro

Organizations

@SonarSource @squaresLab @cmu-rss-lab
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
pcanelas/README.md

I am a Software Engineer at Remediation Experience @ SonarSource. I got my PhD from Carnegie Mellon University and University of Lisbon working under the supervision of Alcides Fonseca, Sara Silva, and Christopher S. Timperley. My research focused on empirically studying bugs and developing program analysis techniques to detect errors in software systems. I have worked on code generation using evolutionary computation, and I am closely researching the application of AI, programming languages, and software engineering techniques to robot software.

Overall, I am interested in Program Analysis, Code Generation & Repair, and Mixed-method Studies.

Pinned Loading

  1. rospec rospec Public

    A Domain Specification Language for ROS-based Software

    Python 6

  2. alcides/aeon alcides/aeon Public

    Programming Language designed for Program Synthesis with SMT-validation.

    Python 52 7

  3. alcides/GeneticEngine alcides/GeneticEngine Public

    Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

    Python 52 11

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 โ€” GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800ร—600. No cookies required.