Research paper subject ideas related to rust/static analysis/programming languages? (lemmy.ml)

submitted 1 year ago by AverageLinuxEnjoyer@lemmy.ml to c/rust@programming.dev

3 comments fedilink hide all child comments

Hello! I'm a 3rd year CS student, and next semester I'd like to write a research paper (it'd be my first) related to rust, static analysis or programming languages, or even all of them to some degree. Something about functional programming would work as well.

Any ideas of something interesting that I could research and write about?

you are viewing a single comment's thread
view the rest of the comments

[-] kornel@lemmyrs.org 2 points 1 year ago

I’d love static analysis that finds which functions may panic, which are guaranteed not to. On a related note, it’d be nice to be able to hoist panics out of loops and coalesce multiple consecutive assertions into one (llvm can’t do it, because partially done work is a side effect).

this post was submitted on 29 Jul 2023

13 points (100.0% liked)

Rust

5980 readers

105 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago

MODERATORS

snowe@programming.dev

Ategon@programming.dev

EdTheLegendary@programming.dev

kahnclusions@programming.dev

torcherist@programming.dev