Week 3 W22 Ece750 T5 Static Analysis For Software Engineering

Two more empirical papers, one about the use of eval in R and one about mutation testing's effectiveness as deployed at Google.

My presentation for class of the paper: Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek.

Continuing on the same theme as last

This

Related to last

This

This

My presentation for class of the paper: Well-typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM compilers.

Domain-specific Languages

Last but not least: * Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan. Data-driven abductive inference ...

We have two papers talking about pointer

Continuing on with core content, we have this

I like to start this course with some empirical studies, which turn out to be a good prerequisite for doing actual useful research.

Hopefully my penultimate presentation for this class: Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis. Making ...

This

Search is a super common task in computer science, including programming languages, and we can view this

This