Skip to content



@SoCalPLS @SyGuS-Org @padhi-homelab @padhi-ocaml


  1. Generates loop invariants for program verification

    OCaml 33 16

  2. Beautiful pseudocode for the Web

    JavaScript 82 21

  3. Code for my personal webpage.

    HTML 1 1

  4. A language definition for BibTeX in the PrismJS syntax highlighting framework.


420 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

Created a pull request in awslabs/aws-templates-for-cbmc-proofs that received 4 comments

Negative tests for CBMC flags

This PR introduces a suite of negative tests. In future, we should see an alarm (a failed CI job) if any of these tests fail, which would indicate …

+411 −1 4 comments

Created an issue in diffblue/cbmc that received 13 comments

goto-cc incompatible with cbmc's --malloc-may-fail and --malloc-fail-null

CBMC version: 5.13.0 Operating system: Linux 64-bit Minimal example: #include <assert.h> #include <stdlib.h> int main (void) { int*p = malloc(sizeo…


Joined the padhi-ocaml organization

4 contributions in private repositories Sep 2 – Sep 17

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.