CARNEGIE MELLON UNIVERSITY · UNITED STATES
Machine-SUIF Control Flow Analysis Library
Master's · Taught in en
At a glance
—
Duration
7.0
IELTS
€52k
Tuition / yr
en
Language
Master's
Level
- Dominator AnalysisKey Feature
- Natural Loop AnalysisKey Feature
- Forward and Reverse Graph AnalysisFlexibility
- Detailed CFG InformationAnalysis Depth
- Open Source (SUIF)Accessibility
The Machine-SUIF Control Flow Analysis (CFA) library is an advanced computing tool designed for analyzing program control flow. It extends the existing control flow graph (CFG) library by offering sophisticated functionalities like dominator analysis and natural-loop analysis. This library is crucial for understanding program structure and optimizing code by identifying key relationships within the control flow. The `DominanceInfo` class allows you to compute dominator sets, construct a dominator tree, and determine dominance frontiers for a given graph, whether processed in forward or reverse directions. Building upon this, the `NaturalLoopInfo` class helps in identifying natural loops, calculating loop depths for each node in the CFG, and pinpointing loop boundaries. This tool is ideal for researchers and students focused on compiler design, program optimization, and static analysis of software.
Curriculum
The Machine-SUIF Control Flow Analysis library focuses on two main areas: Dominator Analysis and Natural Loop Analysis. Both are implemented through dedicated C++ classes that interact with a Control Flow Graph (CFG) representation.
- Core Concepts
- DominanceInfo ClassCFA.DOM
- NaturalLoopInfo ClassCFA.LOOP
- Dominator Analysis Details
- Immediate Dominators
- Dominator Sets
- Dominance Frontiers
- Postdominator Analysis
- Reverse Dominance Frontiers
- Natural Loop Analysis Details
- Identifying Natural Loops
- Loop Depth Computation
- Loop Boundary Predicates
Frequently asked questions
- What are the estimated tuition and living costs for the Machine-SUIF Control Flow Analysis Library Master's program?
- The estimated tuition for the 2026-2027 academic year is $60,900 USD. Estimated living expenses for the same period are $34,018 USD, excluding health insurance.
- What are the main topics covered in the Machine-SUIF Control Flow Analysis Library program?
- The program focuses on Dominator Analysis and Natural Loop Analysis, implemented through dedicated C++ classes for analyzing Control Flow Graphs (CFGs).
- What are the application deadlines for the Machine-SUIF Control Flow Analysis Library Master's program?
- The application opens on September 9, 2026, for Fall 2027 admissions. The exact application deadline typically falls in December for the Fall intake; please check the SCS Online Graduate Application Instructions.
- What are the English proficiency requirements for international applicants?
- Applicants whose native language is not English must submit a TOEFL iBT score of at least 100 overall.
- Are GRE scores required for admission to this program?
- No, GRE scores are not required for this program and will be disregarded if submitted.
- What scholarships or funding opportunities are available for this program?
- Available opportunities include the Rales Fellowship Program, Graduate Student Conference Funding, Professional Engagement Funding, and Scholarly Project Funding, each with specific application and eligibility criteria.
Entry requirements
Undergraduate DegreeStrongly encouraged in Computer Science, Biology, Chemistry, or Biomedical Engineering (or a combination).
College-level courseworkAt least one life science, statistics, and some programming.
Ideal CandidatesSome coursework in algorithms and data structures.
TOEFL iBTMinimum 100 overall.
GRE scores are not required and will be disregarded if submitted. English language waivers are not issued based on previous study in English-speaking institutions or countries.
Fees
Tuition (international)For Master's programs, the estimated tuition for the academic year 2026-2027 is $60,900 USD. This is split into $30,450 for the Fall semester and $30,450 for the Spring semester.
Tuition (home)For Master's programs, the estimated tuition for the academic year 2026-2027 is $60,900 USD. This is split into $30,450 for the Fall semester and $30,450 for the Spring semester.
LivingThe estimated total living expenses for the academic year 2026-2027 are $34,018 USD, excluding tuition and health insurance. This includes $14,752 for housing, $8,664 for food, $2,212 for books and supplies, $4,098 for personal and miscellaneous costs, $1,756 for travel, $302 for transportation, and $490 for technology fees. Health insurance costs are to be determined.
These figures are estimates for the 2026-2027 academic year and are subject to change. Estimated loan fees of $1,500 apply only to students borrowing federal loans.
How to apply
1. Access the Online ApplicationUse the School of Computer Science online application for admissions.
2. Prepare Required DocumentsGather all necessary documents in PDF format, including transcripts, resume, statement of purpose, and recommendation letters.
3. Submit English Proficiency ScoresIf English is not your native language, submit a TOEFL iBT score of at least 100. Expired scores may be accepted if you recently completed a degree in the US and can provide an official score report with your picture.
4. Request Recommendation LettersEnsure three letters of recommendation are submitted, with at least two from faculty or recent employers.
5. Complete Statement of PurposeWrite a statement detailing your research interests, experience, and objectives. You may also include an optional paragraph on your contributions to outreach or promoting diversity, equity, and inclusion.
6. Disregard GRE FieldIf prompted for a GRE date, enter any future date as GREs are not required for this program.
Scholarships
Rales Fellowship Program—
Graduate Student Conference Funding—
Professional Engagement Funding—
Scholarly Project Funding$750
Frequently asked questions
What are the estimated tuition and living costs for the Machine-SUIF Control Flow Analysis Library Master's program?
+
The estimated tuition for the 2026-2027 academic year is $60,900 USD. Estimated living expenses for the same period are $34,018 USD, excluding health insurance.
What are the main topics covered in the Machine-SUIF Control Flow Analysis Library program?
+
The program focuses on Dominator Analysis and Natural Loop Analysis, implemented through dedicated C++ classes for analyzing Control Flow Graphs (CFGs).
What are the application deadlines for the Machine-SUIF Control Flow Analysis Library Master's program?
+
The application opens on September 9, 2026, for Fall 2027 admissions. The exact application deadline typically falls in December for the Fall intake; please check the SCS Online Graduate Application Instructions.
What are the English proficiency requirements for international applicants?
+
Applicants whose native language is not English must submit a TOEFL iBT score of at least 100 overall.
Are GRE scores required for admission to this program?
+
No, GRE scores are not required for this program and will be disregarded if submitted.
What scholarships or funding opportunities are available for this program?
+
Available opportunities include the Rales Fellowship Program, Graduate Student Conference Funding, Professional Engagement Funding, and Scholarly Project Funding, each with specific application and eligibility criteria.