Faculty

Institution

Unit

Venue

Heather Miller

Assistant Professor Software and Societal Systems

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

Heather Miller is currently serving as a School Of Computer Science Assistant Professor Software and Societal Systems at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Heather Miller

Carnegie Mellon University

Assistant Professor Software and Societal Systems

You can click a keyword to filter the displayed items

computer science programming languages systems engineering distributed systems functional programming machine learning natural language processing software analysis parallel computing information technology human-computer interaction linguistics software testing logic in computer science programming language theory concurrency theory concurrent programming fault injection distributed computing informatics reliability engineering service computing mobile computing databases automated reasoning concurrency (computer science) software ecosystems logic programming llm fine-tuning large language models npm ecosystem tool diffusion empirical study semidirect products customizable type feedback rehabilitation computational linguistics motor control organizational communication language learning language resources communication security data privacy data security system testing testing technique test management security testing method startup ecosystem computer accessibility online learning accessible education parallel processing graph processing parallel learning data flows stream processing asic implementation marriage privacy leakage usable security type theory formal modeling robustness testing program checking self-improving pipelines functional electrical stimulation neuroprosthetic hand implicit function types service-level fault injection online setting parallel graph processing multi-lane flowpools detailed look op-based crdts human-compiler interaction theory of computation formal methods parallel programming programming language design

Notable Scholarly Works

Notable Federal Grants

Collaborators

RTBAS: Defending Llm Agents Against Prompt Injection and Privacy Leakage. arXiv (Cornell University) (2025)

information securitycomputer sciencedata securitydata privacycomputer securitycommunication securityusable securityprivacy leakage

Can My Microservice Tolerate an Unreliable Database? Resilience Testing With Fault Injection and Visualization. (2024)

Michael AssadChristopher S. MeiklejohnHeather MillerStephan Krusche

resiliencesystems engineeringfault injectiondatabasesunreliable databaserobustness testing

Sparse Matrix in Large Language Model Fine-Tuning. arXiv (Cornell University) (2024)

llm fine-tuninglanguage modelsnatural language processinglanguage resourceslanguagelarge language modelssparse matrixlinguistics

DSPY: Compiling Declarative Language Model Calls Into Self-Improving Pipelines. arXiv (Cornell University) (2023)

Khattab, OmarSinghvi, ArnavMaheshwari, ParidhiZhang, ZhiyuanSanthanam, KeshavVardhamanan, SriHaq, SaifulSharma, AshutoshJoshi, Thomas T.Moazam, HannaMiller, HeatherZaharia, MateiPotts, Christopher

computer sciencemachine learningnatural language processingprogramming languagesself-improving pipelinescomputational linguisticsprogramming language theorylinguistics

For-Each Operations in Collaborative Apps. (2023)

Matthew WeidnerRia PradeepBenito GeordieHeather Miller

computer sciencecollaborative appsmobile computingmachine learningfor-each operationshuman-computer interaction

Message From the Seip Chairs of Icse 2022. (2022)

Mark HarmanHeather Miller

Method Overloading the Circuit. (2022)

Christopher MeiklejohnLydia StarkCesare CelozziMatt RanneyHeather Miller

circuit analysisengineeringcircuit designsystems engineeringcircuit systemmethod engineeringneural circuitselectrical engineering

Service-Level Fault Injection Testing. (2021)

Christopher S. MeiklejohnAndrea EstradaYiwen SongHeather MillerRohan Padhye

service-level fault injectionsecurity testing methodsoftware testingsystems engineeringfault injectiontesting techniquetest managementsystem testingreliability engineeringservice computing

Composing and Decomposing Op-Based Crdts With Semidirect Products. Proceedings of the ACM on Programming Languages (2020)

Matthew WeidnerHeather MillerChristopher Meiklejohn

computer scienceop-based crdtsnatural language processingsystems engineeringsemidirect products

Heard It Through the Gitvine: An Empirical Study of Tool Diffusion Across the Npm Ecosystem. (2020)

Hemank LambaAsher TrockmanDaniel ArmaniosChristian KästnerHeather MillerBogdan Vasilescu

organizational communicationtechnologyinformation technologysoftware ecosystemstool diffusionempirical studystartup ecosystemnpm ecosystem

1
2
3
4
5
11
10 / page

Heather Miller

Assistant Professor Software and Societal Systems

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

Heather Miller is currently serving as a School Of Computer Science Assistant Professor Software and Societal Systems at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Heather Miller

Carnegie Mellon University

Assistant Professor Software and Societal Systems

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

RTBAS: Defending Llm Agents Against Prompt Injection and Privacy Leakage. arXiv (Cornell University) (2025)

information securitycomputer sciencedata securitydata privacycomputer securitycommunication securityusable securityprivacy leakage

Can My Microservice Tolerate an Unreliable Database? Resilience Testing With Fault Injection and Visualization. (2024)

Michael AssadChristopher S. MeiklejohnHeather MillerStephan Krusche

resiliencesystems engineeringfault injectiondatabasesunreliable databaserobustness testing

Sparse Matrix in Large Language Model Fine-Tuning. arXiv (Cornell University) (2024)

llm fine-tuninglanguage modelsnatural language processinglanguage resourceslanguagelarge language modelssparse matrixlinguistics

DSPY: Compiling Declarative Language Model Calls Into Self-Improving Pipelines. arXiv (Cornell University) (2023)

Khattab, OmarSinghvi, ArnavMaheshwari, ParidhiZhang, ZhiyuanSanthanam, KeshavVardhamanan, SriHaq, SaifulSharma, AshutoshJoshi, Thomas T.Moazam, HannaMiller, HeatherZaharia, MateiPotts, Christopher

computer sciencemachine learningnatural language processingprogramming languagesself-improving pipelinescomputational linguisticsprogramming language theorylinguistics

For-Each Operations in Collaborative Apps. (2023)

Matthew WeidnerRia PradeepBenito GeordieHeather Miller

computer sciencecollaborative appsmobile computingmachine learningfor-each operationshuman-computer interaction

Message From the Seip Chairs of Icse 2022. (2022)

Mark HarmanHeather Miller

Method Overloading the Circuit. (2022)

Christopher MeiklejohnLydia StarkCesare CelozziMatt RanneyHeather Miller

circuit analysisengineeringcircuit designsystems engineeringcircuit systemmethod engineeringneural circuitselectrical engineering

Service-Level Fault Injection Testing. (2021)

Christopher S. MeiklejohnAndrea EstradaYiwen SongHeather MillerRohan Padhye

service-level fault injectionsecurity testing methodsoftware testingsystems engineeringfault injectiontesting techniquetest managementsystem testingreliability engineeringservice computing

Composing and Decomposing Op-Based Crdts With Semidirect Products. Proceedings of the ACM on Programming Languages (2020)

Matthew WeidnerHeather MillerChristopher Meiklejohn

computer scienceop-based crdtsnatural language processingsystems engineeringsemidirect products

Heard It Through the Gitvine: An Empirical Study of Tool Diffusion Across the Npm Ecosystem. (2020)

Hemank LambaAsher TrockmanDaniel ArmaniosChristian KästnerHeather MillerBogdan Vasilescu

organizational communicationtechnologyinformation technologysoftware ecosystemstool diffusionempirical studystartup ecosystemnpm ecosystem

1
2
3
4
5
11
10 / page

Similar Faculty Members

Jayadev Misra

Institution

University of Texas at Austin

distributed system

distributed computing

Ugo Buy

Institution

University of Illinois Chicago

design automation

technology

William Scherlis

Institution

Carnegie Mellon University

data security

security management

Zhong Shao

Institution

Yale University

computer science

systems engineering

Prasad Jayanti

Institution

Dartmouth College

concurrent algorithms

concurrency (computer science)

Gopal Gupta

Institution

University of Texas at Dallas

automation

knowledge representation and reasoning

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Christian Collberg

Institution

University of Arizona

data security

information security

I-Ting Angelina Lee

Institution

Washington University in St. Louis

cloud computing

parallel software

Similar Faculty Members

Jayadev Misra

Institution

University of Texas at Austin

distributed system

distributed computing

Ugo Buy

Institution

University of Illinois Chicago

design automation

technology

William Scherlis

Institution

Carnegie Mellon University

data security

security management

Zhong Shao

Institution

Yale University

computer science

systems engineering

Prasad Jayanti

Institution

Dartmouth College

concurrent algorithms

concurrency (computer science)

Gopal Gupta

Institution

University of Texas at Dallas

automation

knowledge representation and reasoning

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Christian Collberg

Institution

University of Arizona

data security

information security

I-Ting Angelina Lee

Institution

Washington University in St. Louis

cloud computing

parallel software