Konto erstellenAnmelden

Frühere Suchanfragen

Keine früheren Suchanfragen

Suchoptionen

Nur verfügbar, wenn angemeldet.
ruhr.social ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Eine Mastodon-Gemeinschaft rund um das Ruhrgebiet und die Menschen dort. Diese Instanz wird ehrenamtlich von Enthusiasten moderiert und technisch betreut.

Verwaltet von:

Serverstatistik:

1,5 Tsd.
aktive Profile

ruhr.social: ÜberProfilverzeichnisDatenschutzerklärung

Mastodon: ÜberApp herunterladenTastenkombinationenQuellcode anzeigenv4.3.6

#thesis

1 Beitrag1 Beteiligte*r0 Beiträge heute
Öffentlich
Programming Languages Delft

Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"

"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."

repository.tudelft.nl/record/u

repository.tudelft.nlProgram Matching with Semantic Patterns | TU Delft Repository
#thesis#PatternMatching#MuCalculus
Öffentlich
Programming Languages Delft

Master thesis by Hendy Liang: "Property-Based ASTs: Enabling Language Parametricity in Refactoring Tools"

"By leveraging Tree-Sitter, a parser generator that creates parsers that produce generic, property-based ASTs, this research adapts Renaissance, an existing industrial refactoring tool, to support multi-language extensibility with minimal additional effort."

repository.tudelft.nl/record/u

repository.tudelft.nlProperty-Based ASTs | TU Delft Repository
#LanguageParametricity#refactoring#treesitter
Öffentlich
ISEC @ TU Graz

Last November, David successfully defended his PhD thesis, “Hardware-Assisted Memory Isolation”. We wish him all the best for the future! 🎉

He also answered our most burning questions:

Q: What’s your thesis about? 🧐

A: “My thesis is about improving software security through hardware features. This was achieved by leveraging existing features in unexpected ways (e.g., using memory encryption for memory safety) or by introducing small hardware extensions that can improve the security and performance of software sandboxing.”

Q: What was your favourite part about being a PhD Student @ ISEC? 🎓

A: “The freedom to work on interesting problems!”

#cybersecurity#informationsecurity#tugraz
EntdeckenLive-Feeds
Über