Software Engineering Seminar | INFK

The course is an introduction to research in software engineering, based on reading and presenting high quality research papers in the field. The instructor may choose a variety of topics or one topic that is explored through several papers.

The main goals of this seminar are 1) learning how to read and understand a recent research paper in computer science; and 2) learning how to present a technical topic in computer science to an audience of peers.

Date	Message
23.09	Updated organisational slides: "Contact your advisor, and send draft, at least 10 days before your presentation"
23.09	The organisational slides are online
16.09	The seminar will have its first class on Mon 23.09. However, you must have chosen your paper to present by Fri 20.09., by filling in this documents.

Each week, starting from 07.10., two students will each present a paper from the general area of software engineering.

Seminar goals:

Learn how to read and understand a recent research paper in computer science
Learn how to present a technical topic in computer science to an audience of peers

Grading:

Quality of your presentation and subsequent question handling
- How well you understood the paper
- How understandable you presented it
- How effectively your slides communicated (which includes the visual quality of the slides)
The papers have varying difficulty; we will take that into account
Presence and participation (e.g., good questions) during the presentations by other students. If you miss too rmany classes you will fail the course.

Academic Integrity:

Avoid copy-paste as much as possible. For material (especially graphics and anything included by copy-paste) not created by you, but used in your presentation, you have to provide an acknowledgement of the source on the same slide.

Date	Student	Advisor	Paper	Slides
07.10.	16-916-421	Manuel	Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches	⎚
07.10.	17-947-599	Tyler	Is search really necessary to generate high-performance BLAS?	⎚
14.10.	17-936-188	Sam	NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion	⎚
14.10.	17-934-258	Marco	Leveraging Rust Types for Modular Specification and Verification	⎚
21.10.	17-913-542	Tyler	FLAME: Formal linear algebra methods environment	⎚
21.10.	16-929-036	Tyler	Communication lower bounds for distributed-memory matrix multiplication	⎚
28.10.	17-921-891	Joao	A Fast Analytical Model of Fully Associative Caches	⎚
28.10.	17-916-131	Jingxuan	T-Fuzz: Fuzzing by Program Transformation	⎚
04.11.	17-916-818	Sam	MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts	⎚
04.11.	17-916-412	Joao	Optimistic Loop Optimization	⎚
11.11.	17-920-414	Manuel	Compiler Validation via Equivalence Modulo Inputs	⎚
11.11.	17-914-003	Marco	Programming and Proving with Distributed Protocols	⎚
18.11.	17-913-930	Jingxuan	Effective Program Debloating via Reinforcement Learning	⎚
18.11.	17-913-823	Pinjia	Cradle: Cross-backend validation to detect and localize bugs in deep learning libraries	⎚
25.11.	17-932-880	Manuel	Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior	⎚
25.11.	17-913-534	Manuel	One VM to rule them all	⎚
02.12.	16-941-601	Joao	REMIX: Online Detection and Repair of Cache Contention for the JVM	⎚
02.12.	17-923-301	Jingxuan	teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts	⎚
09.12.	16-915-175	Pinjia	TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing	⎚
16.12.	16-914-871	Marco	SecCSL: Security Concurrent Separation Logic	⎚
16.12.	17-948-167	Pinjia	DeepXplore: Automated Whitebox Testing of Deep Learning Systems	⎚