UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Highlights
- Pro
Pinned Loading
-
uber/NullAway
uber/NullAway PublicA tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
-
typetools/checker-framework
typetools/checker-framework PublicPluggable type-checking for Java
-
ucr-riple/NullAwayAnnotator
ucr-riple/NullAwayAnnotator PublicA tool to help adapting code bases to NullAway type system.
698 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
Loading
Contribution activity
April 2025
Created 12 commits in 3 repositories
Created 1 repository
-
msridhar/TIP
Scala
This contribution was made on Apr 2
Created a pull request in uber/NullAway that received 6 comments
Update to Error Prone 2.38.0
Fixed a couple of minor new warnings. Also, pulling in EP 2.38.0 pulls in the latest version of Guava for our tests, and this Guava version has mor…
+19
−13
lines changed
•
6
comments
Opened 8 other pull requests in 3 repositories
uber/NullAway
6
merged
-
JSpecify: handle varargs whose element type is a type variable
This contribution was made on Apr 16
-
Ensure classes null-marked by library model detected in all places
This contribution was made on Apr 13
-
Fix multiple issues with
NewClassTree
s that have enclosing expressionsThis contribution was made on Apr 6 -
Test on JDK 24
This contribution was made on Apr 4
-
Don't check synchronized blocks within unannotated code
This contribution was made on Apr 2
-
Update to Checker Framework 3.49.2
This contribution was made on Apr 2
wala/WALA
1
open
-
Support JDK 24
This contribution was made on Apr 4
cs-au-dk/TIP
1
open
-
Bump Scala version to be compatible with recent JDK versions
This contribution was made on Apr 2
Reviewed 2 pull requests in 2 repositories
uber/NullAway
1 pull request
-
Ensure classes null-marked by library model detected in all places
This contribution was made on Apr 13
wala/WALA
1 pull request
-
Support JDK 24
This contribution was made on Apr 11
Created an issue in typetools/checker-framework that received 2 comments
Model possible MatchException
s in control-flow graphs
In various cases, recent Java language constructs like switch
expressions may throw a MatchException
even when the matching is statically checked t…
2
comments
Opened 4 other issues in 3 repositories
uber/NullAway
2
open
-
Document relationship between recent Guava versions and JSpecify mode
This contribution was made on Apr 10
-
Support running on JDK 24 in JarInfer once WALA supports it
This contribution was made on Apr 4
typetools/checker-framework
1
open
-
Unsoundness in Nullness Checker with record patterns
This contribution was made on Apr 10
wala/WALA
1
open
-
Support running on JDK 24
This contribution was made on Apr 4