Skip to content
GSoC Organizations / Guide
Account

TOPIC

Program analysis

3 organizations list Program analysis as a topic. Together they took 75 accepted projects from 2016 to 2026.

Open in the directory

In GSoC 2026

1

of 3 organizations

Contributors in 2026

2

0.2% of all slots

Projects since 2016

75

25 per organization

First cycle

2016

Latest 2026

Organizations

3

All cycles

Organizations listing Program analysis

Per cycle

  3. 3
  11. 1
View as table
Organizations listing Program analysis per cycle
Organizations
20162
20172
20183
20192
20202
20211
20221
20232
20242
20252
20261

Accepted projects at those organizations

Per cycle

  1. 13
  11. 2
View as table
Projects at organizations listing Program analysis per cycle
Projects
201613
201710
201810
20198
202010
20213
20222
20236
20246
20257
20262

OFTEN LISTED WITH

Topics these organizations also list

Formal methods2Concurrency1Environment generation1JVM1Model checking1Software model checking1Symbolic execution1Test input generation1Testing1Verification1Verification of concurrent systems1Virtual machine1Assembly1Benchmarking1

COMMON STACK

What Program analysis organizations build with

Java2Python2Android1Bytecode1Distributed Systems1JVM1Smt Solvers1C1C++1Go1Grpc1JavaScript1

GSOC 2026

1 organization in Program analysis this cycle.

Filter the directory
2026 organizations listing Program analysis
OrganizationStack20262016–26CyclesProjectsSave
The JPF teamProgramming languages
AndroidJava+4211/1148

EARLIER CYCLES

2 organizations not in 2026.

Earlier organizations listing Program analysis
OrganizationStack20262016–26CyclesProjectsSave
PythonJavaScript+3–5/1114
RadareSecurityLast in 2020
CRust+6–4/1115

Organizations count toward every topic they list. Participation history is not a prediction of selection. Official GSoC archive