Informatik-Seminar
Last changed on June 7, 2018
Themen
Programming Language Features
- Empirical analysis of programming language adoption
- An experiment about static and dynamic type systems
- To type or not to type: quantifying detectable bugs in JavaScript
- An empirical study on program comprehension with reactive programming
- An empirical study on the impact of static typing on software maintainability
- An Empirical Investigation into Programming Language Syntax
Software Development Practices
- Belief & Evidence in Empirical Software Engineering
- Observations on Knowledge Transfer of Professional Software Developers during Pair Programming
- The costs and benefits of pair programming
- Expectations, outcomes, and challenges of modern code review
- A Perspective on Blending Programming Environments and Games: Beyond Points, Badges, and Leaderboards
- Debugging Data-Flows in Reactive Programs
- Meaningful Identifier Names: The Case of Single-Letter Variables
Code Comprehension
- How programmers read regular code: A controlled experiment using eye tracking
- Tracking Students’ Cognitive Processes During Program Debugging—An Eye-Movement Approach
- On Novices’ Interaction with Compiler Error Messages: A Human Factors Approach
- Is this code written in English? A study of the natural language of comments and identifiers in practice
Code Quality
- When and why your code starts to smell bad
- A Large Scale Study of Programming Languages and Code Quality in GitHub
- Syntax, predicates, idioms: what really affects code complexity?
Education
- Meta-analysis of faculty’s teaching effectiveness: Student evaluation of teaching ratings and student learning are not related
- To Scratch or not to Scratch? A controlled experiment comparing plugged first and unplugged first programming lessons
- Comparing Textual and Block Interfaces in a Novice Programming Environment
- Turning Student Groups into Effective Teams
Security
- An empirical study of privacy-violating information flows in JavaScript web applications
- Formal verification of a realistic compiler