Isaac Evans

Isaac Evans

San Francisco Bay Area
2K followers 500+ connections

Activity

Join now to see all activity

Experience

  • Semgrep Graphic

    Semgrep

    San Francisco Bay Area

  • -

    Menlo Park, CA

  • -

  • -

    Lexington, MA

  • -

    Cambridge, MA

  • -

  • -

    Cambridge, MA

  • -

  • -

Education

  •  Graphic

    -

    -

    Thesis: Analysis of Defenses Against Code Reuse Attacks on Modern and New Architectures

  • -

    -

Publications

  • A Summary of Team MIT’s Approach to the Virtual Robotics Challenge

    IEEE International Conference on Robotics and Automation

  • Organon: A Symbolic Constraint Framework & Solver

    CSAIL

    Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer's ability to phrase constraints; Organon acts purely as a framework that defines and holds together the key concepts of forms, constraints, and solvers. It has three main components: (1) Forms: Abstract representations of the entities to be constrained. (2) Constraints: Functions that symbolically express requirements on the…

    Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer's ability to phrase constraints; Organon acts purely as a framework that defines and holds together the key concepts of forms, constraints, and solvers. It has three main components: (1) Forms: Abstract representations of the entities to be constrained. (2) Constraints: Functions that symbolically express requirements on the relationships between forms as well as provide information a solver can use to improve the constraint's satisfaction. (3) Solvers: Functions which inspect instantiations of forms and manipulate them in an attempt to satisfy a set of objective constraints.

    Other authors
    • Joseph Lynch
    • Gerald Sussman
    See publication

Projects

  • Dormbase

    - Present

    Dormbase is an open-source dormitory database system that is flexible and expandable. The Dormbase project provides a dorm management system that can evolve over time to suit the changing needs of the various dorms and their residents. Dormbase was a first round winner of the 2012 MIT iCampus prize.

    Other creators
    See project
  • EatOn

    -

    First place winner in the national OnStar Student Developer Challenge. EatOn is an interactive restaurant discovery voice application for use in automobiles

    Other creators
    See project

Recommendations received

View Isaac’s full profile

  • See who you know in common
  • Get introduced
  • Contact Isaac directly
Join to view full profile

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Others named Isaac Evans in United States

Add new skills with these courses