---
# System prepended metadata

title: GSoCing '23

---

GSoCing '23
===
Do not steal these from me, I will steal your cookies otherwise. 
1. [Adding support for Query Plan Guidance (QPG)  for PostgreSQL on SQLancer](https://github.com/sqlancer/sqlancer/wiki/GSoC-2023-Ideas#support-query-plan-guidance-for-more-database-systems) - {Mail sent} - A lot of people seem interested, not sure how excited I am about this
2. [https://wiki.postgresql.org/wiki/GSoC_2023#PL.2FJava_refactoring_for_support_of_other_JVM_and_polyglot_languages](https://wiki.postgresql.org/wiki/GSoC_2023#PL.2FJava_refactoring_for_support_of_other_JVM_and_polyglot_languages)
3. [Implement Dual Approximated Reachability Algorithm](https://www.sosy-lab.org/gsoc/gsoc2023.php#ideas) - {Ideation done} - {Mail sent} - most excited, but CPA checker issues are too obscure
4. [Improve test coverage for Julia](https://julialang.org/jsoc/gsoc/compiler/#improving_test_coverage_175_hours) - {Mail sent} - Everything on the Julia repo is solved it seems
5. [Test Case Generation/Model-based Testing with Modbat for JPF](https://github.com/javapathfinder/jpf-core/wiki/GSoC-2023-Project-Ideas#mbt-modbat)
6. [Implement variant PCA models in Pharo lang](https://gsoc.pharo.org/pca-methods) - {Learnt the various PCA method, now to implement them!} - {Fixed docs}
7. [IPv6 extended support on Haiku](https://www.haiku-os.org/community/gsoc/2023/ideas#network) - {Got Haiku running, only ISO, not the source build} - {Eh, horrible fucking git, not interested anymore}
8. [Experiment support for post-quantum algorithms in X.509 certificates](https://gitlab.com/gnutls/gnutls/-/wikis/Projects-for-newcomers#experiment-support-for-post-quantum-algorithms-in-x509-certificates) - {Also super interested, working on p11tool PR now}
9. <strike>[MassQL integration into MzMine](https://mzmine-ms-dial-gsoc.github.io/) </strike> - Put this for later because you don't know jackshit about MassSpec.
10. <strike>[BenchExec test rewrite](https://www.sosy-lab.org/gsoc/gsoc2023.php#ideas) - {Commented on a discussion, not enough}</strike>- Figure this out later
11. <strike>[Artichoke: A Arti+Rust based tool to monitor bandwidth, hidden service generator, simulate Tor networks, scan exit nodes and build circuits](https://gitlab.torproject.org/tpo/team/-/wikis/GSoC#2-rustarti-api-exploration-to-build-examplestoolsutilities)</strike> Not my thing, but ❤️ return to this!

<hr>

### Secondary
1. [MDNS / Bonjour / Avahi network discovery](https://www.haiku-os.org/community/gsoc/2023/ideas#network)
2. [Increased Go support](https://www.haiku-os.org/community/gsoc/2023/ideas#network)

### Suggested for Puja
1. Boston-related: [Web Interface for Urban Tree Canopy Detection Using Satellite and Aerial Imagery](https://monum.github.io/gsoc-2023/)
