Chair of Programming Languages and AI
print
Breadcrumb Navigation
Content

Oberseminar PLAI

The PLAI Oberseminar ordinarily takes place at Wednesdays 10:00 in Room L 109, Oettingenstr. 67.

Upcoming Seminars

  • 30 April 2025, 10:30: Michael Himmelberg: Revisiting IFDS Optimizations (BSc Defense)
  • 30 April 2025, 11:00: Magnus Zoeschinger: Automatic Modularization of Software Projects for,LLM-based Transpilation (BSc Thesis Pitch)
  • 30 April 2025, 11:20: Oliver Braunsdorf: BorrowSanitizer - Presenting Slides for RustWorkshop@ETAPS
  • 07 May 2025, 10:30: Moritz Dannehl: What Instructions Matter the Most (DLSP dry-run)
  • 07 May 2025, 11:00: Burak Toca: Rethinking the Post-Learning Stage of Binary Code Similarity Detection (Bsc Thesis Defense)
  • 14 May 2025, 10:30: Kasimir Rothbauer: Mining Taint Specifications (BSc Pitch)
  • 14 May 2025, 11:00: Heiko Leffers: Disk-Assisted Vulnerability Scanning (BSc Pitch)
  • 28 May 2025, 10:30: Matias Gobbi: CodeX - Contextual Flow Tracking for Browser Extensions

Past Seminars

  • 23 April 2025, 11:00: Nadja Heinecke: Evaluierung von Frameworks zur Kompilierung von Paketen mit Debug/Source-Information in unterschiedlichen Konfigurationen (BSc pitch)
  • 23 April 2025, 10:30: Moritz Böhm - Security Testing of Web Applications with DSE in ExpoSE (MSc Defense)
  • 23 April 2025, 10:00: Jakob Friedrich: Studying cases of Affiliate Fraud in the CWS - Honey (MSc Pitch)
  • 16 April 2025, 10:00: Oliver Braunsdorf and Moritz Dannehl - PLOW Project Pitch
  • 04 April 2025, 13:30: Marco Korinth: A behavioral malware detector for npm packages (BSc Defense)
  • 04 April 2025, 13:00: Leila Masimli: Measuring CodeQL performance against obfuscation techniques (BSc Defense)
  • 26 March 2025, 11:20: Christian Wagner: Automated Testing for Haskell Exercises in ProMo (B.Sc Thesis Pitch)
  • 26 March 2025, 11:00: Esat Avci: Automated Error Clustering for Haskell Exercises in ProMo (B.Sc Thesis Pitch)
  • 26 March 2025, 10:30: Julian Finkenzeller: Rückverfolgung von binären Funktionen in Programmen zu ihrem Quellcode (BSc Pitch)
  • 26 March 2025, 10:00: Darius-Andrei Manea: Incorporating Machine Learning into Spectral Analysis for Program Clone Detection (BSc Defense)
  • 19 March 2025, 10:40: Evan Zulfikar: Deferring Flow-Sensitivity of Alias-Aware IFDS Algorithms to the Path Reconstruction Phase (BSc Pitch)
  • 19 March 2025, 10:20: Felix Motzet: Replicate results from research done for CWS - Arcanum (B.Sc Thesis Pitch)
  • 19 March 2025, 10:00: Patrick Jan Adam: Replicate results from research done for CWS - DoubleX (B.Sc Thesis Pitch)
  • 12 March 2025, 11:30: Kevin Chen: Improving binary function embeddings through feature impact evaluation (Master Defense)
  • 12 March 2025, 11:00: Nadja Heinecke: Evaluierung von Frameworks zur Kompilierung von Paketen mit Debug/Source-Information in unterschiedlichen Konfigurationen (BSc pitch)
  • 12 March 2025, 10:30: Valentin Wach - Driller (BSc Defense)
  • 12 March 2025, 10:00: Simon Böhm - Log Anomaly Detection in Dynamic Environments (MSc Defense)
  • 19 February 2025, 10:00: Ruben Triwari: Comparing Natural Language Embeddings for Libc Functions as Rich Labels (BSc Defense)
  • 31 January 2025, 10:00: Merlin Sievers: Towards Fuzzing ARM-based Co-Processor Firmware (in E102a!)
  • 15 January 2025, 11:00: Dominik Ramaj: Exploring possible function name normalization for machine learning (BSc Defense)
  • 15 January 2025, 10:30: Victor Hucklenbroich: Devising practical attacks against spectral analysis for program clone detection (BSc Defense)
  • 15 January 2025, 10:00: Sebastian Marinus Paster: Devising prospective attacks against spectral analysis for program clone detection (BSc Defense)
  • 08 January 2025, 10:00: Daniel Bratic: Rethinking Preprocessing in Binary Code Similarity Detection (Bsc Thesis Pitch)
  • 11 December 2024, 10:00: Nicholas Loubser: Developing a Benchmark for Malware Detection in npm (BSc Defense)
  • 04 December 2024, 10:30: Tsveta Kolova: Optimal Placement of Memory Safety Checks in Control-Flow-Graphs (B.Sc Thesis Pitch)
  • 04 December 2024, 10:00: Michael Himmelberg: Revisiting IFDS Optimizations (BSc Pitch)
  • 27 November 2024, 10:30: Tongxi Xu:Generalizing Code Representations for Binary Code Similarity Detection Using Function Name (Msc Thesis Pitch)
  • 27 November 2024, 10:00: Sarah Koch: Improving Transformer performance by inserting a priori knowledge (MSc Practical pitch)
  • 13 November 2024, 10:00: Hamidreza Aslani: Software diversity as dataset augmentation for binaries using diverse compilation settings (BSc Defense)
  • 30 October 2024, 10:30: Tobias Stöckel: Detecting Open Source Software in IoT binaries (BSc Thesis)
  • 30 October 2024, 10:00: Sophie Schmidt: FuzzDriver Generation for open-source libraries with ChatGPT (Bsc Thesis)
  • 23 October 2024, 10:00: Andreas Schlott: Grammar-based Fuzzing using ML (BSc Thesis Pitch)
  • 16 October 2024, 10:30: Van Nguyen: Comprehensive Framework for Analyzing and Detecting Malicious Browser Extensions (MSc Pitch)
  • 16 October 2024, 10:00: Moritz Böhm: Symbolic Execution of Sanitizer Code in Web Applications (MSc Pitch)
  • 10 September 2024, 13:00: BA Thesis Defense - Johanna Hübner: Dynamic Analysis for Measuring the Share of Safe and Unsafe Rust Code in Mixed-Language Applications
  • 12 August 2024, 10:00: Burak Toca: Evaluating and Optimizing the Inference Stage for BCSD (Bsc Thesis Pitch)
  • 15 July 2024, 10:00: Utku Hayta: Re-Evaluating Fuzzware for Linux-based firmware (BSc Thesis Pitch)
  • 01 July 2024, 10:00: Kevin Chen: Exploring possible features and architectures for DEXTER binary code embedding (MSc Thesis Pitch)
  • 28 June 2024, 11:00: Mihai Christodorescu (Google): Challenges and Opportunities in LLM-based Program Analysis
  • 24 June 2024, 10:40: Sebastian Marinus Paster: Devising attacks against spectral analysis for clone detection (BSc Thesis Pitch)
  • 24 June 2024, 10:20: Darius-Andrei Manea: Incorporating machine learning into spectral analysis for program clone detection (BSc Thesis Pitch)
  • 24 June 2024, 10:00: Lea Korn: Re-Evaluating BinShot (BSc Thesis Pitch)
  • 17 June 2024, 10:00: Marco Singhof: Fuzzing Testsuite - Exploiting vulnerabilities in a reproducible manner (BSc Thesis Defense)
  • 10 June 2024, 10:40: Dominik Ramaj: Exploring possible functions names normalization for XFL (BSc Thesis Pitch)
  • 10 June 2024, 10:30: Thimo Ruhland: Classical Machine Learning for Binary analysis (MSc pitch)
  • 10 June 2024, 10:00: Korbinian Meier: Control-Flow Graph Recovery: Angr vs. Ghidra (BSc Thesis Pitch)
  • 04 June 2024, 14:00: Tobias Stöckel: Detecting Open Source Software in IoT binaries (BSc Thesis Pitch)
  • 04 June 2024, 13:30: Ihor Chornyi: Source-to-Source Transpilation (BSc Defense)
  • 04 June 2024, 13:00: Johanna Hübner: Dynamic Analysis for Measuring the Share of Safe and Unsafe Rust Code in Mixed-Language Applications (BSc Thesis Pitch)
  • 03 June 2024, 10:30: Sophie Schmidt: FuzzDriver Generation for open-source libraries with ChatGPT (Bsc Thesis Pitch)
  • 27 May 2024, 10:30: Valentin Wach: Driller (Bsc Thesis Pitch)
  • 13 May 2024, 10:00: Hamidreza Aslani: Software diversity as dataset augmentation for binary code (BSc pitch)
  • 29 April 2024, 10:00: Victor Hucklenbroich: Devising Attacks against Spectral Analysis for Program Clone Detection (BSc Thesis Pitch)
  • 22 April 2024, 10:00: Marco Singhof: Fuzzing Testsuite - Exploiting vulnerabilities in a reproducible manner (BSc Thesis Pitch)
  • 15 April 2024, 11:30: Atai Ruslanov: Exploring possible features for DEXTER binary code embedding (BSc Thesis Pitch)
  • 15 April 2024, 11:00: Leila Masimli: Measuring CodeQL performance against obfuscation techniques (BSc Thesis Pitch)
  • 25 March 2024, 11:45: Ruben Triwari: Rich Semantic Labels for Code Models (BSc Thesis Pitch)
  • 25 March 2024, 11:00: Martin Yankov: Monitoring of the Node Package Manager (MSc Thesis Pitch)
  • 11 March 2024, 11:00: Simon Böhm - Anomaly Detection for Log Messages from Multiple Sources (MSc Thesis Pitch)
  • 15 January 2024, 11:00: Fabian Froh: Cross-Version Static Analysis with CodeQL for Detecting Malicious Code (MSc Thesis)
  • 08 January 2024, 11:00: Marco Korinth: Classifying code modifications in npm packages (BSc Thesis Pitch)
  • 19 December 2023, 10:00: Nicholas Loubser: Malware detection in Open Source Packages using Locality-sensitive Hashing (BSc Thesis Pitch)
  • 04 December 2023, 10:00: Korab Zoigu: LLM Automated black-box adversarial prompting for large language models (MSc Thesis Pitch)
  • 27 November 2023, 11:00: Tristan Benoit: Thesis Defense Rehearsal
  • 20 November 2023, 10:00: Fabian Froh: Differential Static Analysis for Detecting Malicious Updates to Open Source Packages
  • 13 November 2023, 10:00: Fabian Froh: Differential Static Analysis for Detecting Malicious Updates to Open Source Packages
  • 23 October 2023, 11:00: Ihor Chornyi (BSc-Pitch): Deep learned-based Transpilation
  • 18 September 2023, 10:00: Michael Schwarz: When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
  • 11 September 2023, 14:00: Andrei Sabelfeld (Chalmers): Black Ostrich: Web Application Scanning with String Solvers
  • 24 July 2023, 16:15: Xingjian Chen (Master-Abschlussvortrag): Lifted inference using conditional probability logic
  • 17 July 2023, 17:00: Thomas O. (Master-Abschlussvortrag): Static Vulnerability Detection for Decompiled Firmware Binaries
  • 17 July 2023, 16:15: Lars E. (Master-Abschlussvortrag): Third Party Library Detection Using Code Structures
  • 04 July 2023, 10:15: Tristan Benoit: Program Clone Search with Spectral Graph Theory (in L 109)
  • 03 July 2023, 16:30: Ameen Almiftah (Bachelor-Abschlussvortrag): SimPLoID - Simulations with probabilistic logic for infectious disease dynamics
  • 26 June 2023, 16:15: Kilian Rückschloß: Probevorträge für ICLP