This page is an archive, ca. 2021.
ATLAS Analysis Tools in Languages, Architectures, and Systems
ATLAS: program analysis tools to find and prevent bugs without getting lost, working in programming languages, compilers, runtime systems, and computer architectures.
Researchers
Staff:
- Kasey Shen, research programmer (2019-2020)
- Malika Parkhomchuk (Wellesley '23)
- Amy Fung (Wellesley '23)
- Audrey Seo (Wellesley '20)
- Lauren Luo (Wellesley '20)
- Lily Orth-Smith (Wellesley '20)
- Emma Shumadine (Wellesley '20)
- Valerie Zhao (Wellesley '18)
- Ella Chao (Wellesley '18)
- Sam Mincheva (Wellesley '17)
- Kasey Shen (Wellesley '17)
- Sunnia Ye (Wellesley '17)
Collaborators
- Joe Devietti (Penn)
- Yuanfeng Peng (Google)
- Christian DeLozier (US Naval Academy)
- Tiago Cogumbreiro (UMass Boston)
- Mike Bond (Ohio State)
- Man Cao (Google)
- Swarnendu Biswas (IIT Kanpur)
Publications
OOPSLA 2017:
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications,
October 2017
MICRO 2017:
IEEE/ACM International Symposium on Microarchitecture,
October 2017
CC 2017:
International Conference on Compiler Construction,
February 2017
Student Work
- Malika Parkhomchuk (Wellesley '23)
-
Sophomore Early Research Program, 2020-2021
- Amy Fung (Wellesley '23)
-
Sophomore Early Research Program, 2020-2021
- Audrey Seo (Wellesley '20)
-
Language Support for Automated Mastery-Based Evaluation of Introductory Programming Assignments, 2019-2020
- Lauren Luo (Wellesley '20)
-
Dynamic Mitigation of Unsupported Language Features for Low-Level Dynamic Analysis, fall 2019
- Lily Orth-Smith (Wellesley '20)
-
Dynamic Mitigation of Unsupported Language Features for Low-Level Dynamic Analysis, fall 2019
- Emma Shumadine (Wellesley '20)
-
Dynamic Thread Ownership Assertions for Java, summer 2019
- Valerie Zhao (Wellesley '18)
-
Evaluation of Dynamic Binary Instrumentation Approaches: Dynamic Binary Translation vs. Dynamic Probe Injection, undergraduate thesis 2017-2018Honorable Mention, CRA Undergraduate Researcher Awards, 2018Thread Ownership Policy Checking, spring 2017
- Ella Chao (Wellesley '18)
-
Thread Ownership Policy Annotations, spring 2017
- Sam Mincheva (Wellesley '17)
-
Sound Thread Local Analysis for Lockset-Based Dynamic Data Race Detection, undergraduate thesis 2016-2017
- Kasey Shen (Wellesley '17)
-
Thread Ownership Profiling, spring 2017Profiling Synchronization Patterns in Multithreaded Programs, 2015-20162nd place, undergraduate research competition, CCSCNE 2016
- Sunnia Ye (Wellesley '17)
-
Profiling Tools for Multithreaded Programs, 2015
