numairmansur Goto Github PK

followers: 39.0 following: 62.0 repos: 41.0 gists: 28.0

Name: Numair Mansur

Type: User

Company: Amazon Web Services

Bio: Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Twitter: Numair_Mansur

Location: Berlin, Germany

Blog: http://numairmansur.github.io/

Since November 2022, I am an applied scientist at Amazon Web Services, working at the intersection of security, automated reasoning, and generative AI. Before joining AWS, I completed my Ph.D. at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany under the supervision of Prof. Maria Christakis. The overarching goal of my Ph.D. research was to improve software correctness and reliability by making it easier and practical for developers of all skill levels to incorporate state of the art formal methods tools in their software development workflow. My Ph.D. research resulted in the detection (and fixes) of 60+ critical soundness bugs in fundamental program analysis tools such as SMT solvers and Datalog engines.

Numair Mansur's Projects

aad_web

A test home page for Prof. Frank Hutter

amazon-athena-user-guide

The open source version of the Amazon Athena documentation. To submit feedback & requests for changes, submit issues in this repository, or make proposed changes & submit a pull request.

amazon-codeguru-reviewer-user-guide

auto-sklearn

clusterscripts

Cluster Scripts

coala

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

configspace

crab

CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

credsweeper

CredSweeper is a tool to detect credentials in any directories or files. CredSweeper could help users to detect unwanted exposure of credentials (such as personal information, token, passwords, api keys and etc) in advance. By scanning lines, filtering, and using AI model as option, CredSweeper reports lines with possible credentials, where the lin

deep-snake

A snake game trained using simple deep learning implemented in client side javascript.

elina

ELINA: ETH LIbrary for Numerical Analysis

error-localization

http://numairmansur.github.io/Error-Localization/final/final.pdf

experiments

google_scholor_plotting

hpolib

HPOlib is a hyperparameter optimization library. It provides a common interface to three state of the art hyperparameter optimization packages: SMAC, spearmint and hyperopt