Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Highlights
- Pro
Pinned Loading
-
typetools/checker-framework
typetools/checker-framework PublicPluggable type-checking for Java
-
checkerframework-gradle-plugin
checkerframework-gradle-plugin PublicGradle plugin to use the Checker Framework for Java
-
awslabs/aws-crypto-policy-compliance-checker
awslabs/aws-crypto-policy-compliance-checker PublicA CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
-
njit-jerse/specimin
njit-jerse/specimin PublicSPECIfication MINimizer. A different kind of slicer for Java.
1,305 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
njit-jerse/specimin,
kelloggm/martinjkellogg.com,
Kevin-TD/c-resource-leak-checker
and 23 other
repositories
Loading
Contribution activity
April 2025
Created 18 commits in 2 repositories
Opened 2 pull requests in 1 repository
njit-jerse/specimin
2
open
-
Correctly handle switches that use an unresolved enum as the selector
This contribution was made on Apr 3
-
Address various issues related to the crash in #402
This contribution was made on Apr 1
Reviewed 3 pull requests in 3 repositories
typetools/checker-framework
1 pull request
-
Fix exponential-time handling of
@This
in CalledMethodsCheckerThis contribution was made on Apr 15
typetools/templatefora-checker
1 pull request
-
Bump versions.checkerFramework from 3.49.1 to 3.49.2
This contribution was made on Apr 2
kelloggm/checkerframework-gradle-plugin
1 pull request
-
Update to version 3.49.2 of the Checker Framework.
This contribution was made on Apr 1
26
contributions
in private repositories
Apr 8 – Apr 14