cs.byu.edu
Open in
urlscan Pro
128.187.80.10
Public Scan
Submitted URL: http://cs.byu.edu/
Effective URL: https://cs.byu.edu/
Submission: On November 28 via api from US — Scanned from DE
Effective URL: https://cs.byu.edu/
Submission: On November 28 via api from US — Scanned from DE
Form analysis
0 forms found in the DOMText Content
Computer Science Log In Student Education Undergraduate Future Course Offerings Resources & FAQs Minors Undergrad Programs (BS) About Our Programs Computer Science CS: Animation & Games CS: Bioinformatics CS: Software Engineering CS: Machine Learning Graduate Future Course Offerings Apply for Graduate Program Master's Program (MS) About Computer Science MS Master's Program Forms Doctorate Program (PhD) About Computer Science PhD Doctorate Program Forms Dissertation Resources Advisement Contact an Academic Advisor Meet with a Peer Mentor BYU Academic Calendar Planning Courses (MyMap) Financial Assistance Scholarships for Undergraduates Graduate Financial Aid Resources Inclusion, Diversity, & Equity International Students University Accessibility Center Meet with a Tutor Need Help? Student Employment Opportunities About On-Campus Jobs On-Campus Job Openings Research Lab Openings Internships Career Resources Contact a Career Advisor About On-Campus Jobs Join BYU Handshake Resume & Cover Letter Help About the STEM Fair Community Students Clubs Inclusion, Diversity, & Equity International Students Student Demographics Student Awards Alumni How to Get Involved Alumni Awards Companies Partner With Us Recruit Our Students Sponsor a Capstone Join BYU Handshake Join BYU Connect Contact Us Department About About Us Faculty/Staff Directory Advisory Board Position Openings for Faculty/Staff Contact Us Research About Our Research Research Labs Events & News Events Upcoming Events Seminar Series About the STEM Fair News Recent News Student Awards Donate Computer Science Log In -------------------------------------------------------------------------------- Student Education Undergraduate Back -------------------------------------------------------------------------------- Undergraduate Future Course Offerings Resources & FAQs Minors Undergrad Programs (BS) About Our Programs Computer Science CS: Animation & Games CS: Bioinformatics CS: Software Engineering CS: Machine Learning Graduate Back -------------------------------------------------------------------------------- Graduate Future Course Offerings Apply for Graduate Program Master's Program (MS) About Computer Science MS Master's Program Forms Doctorate Program (PhD) About Computer Science PhD Doctorate Program Forms Dissertation Resources Advisement Back -------------------------------------------------------------------------------- Advisement Contact an Academic Advisor Meet with a Peer Mentor BYU Academic Calendar Planning Courses (MyMap) Financial Assistance Back -------------------------------------------------------------------------------- Financial Assistance Scholarships for Undergraduates Graduate Financial Aid Resources Back -------------------------------------------------------------------------------- Resources Inclusion, Diversity, & Equity International Students University Accessibility Center Meet with a Tutor Need Help? -------------------------------------------------------------------------------- Student Employment Opportunities Back -------------------------------------------------------------------------------- Opportunities About On-Campus Jobs On-Campus Job Openings Research Lab Openings Internships Career Resources Back -------------------------------------------------------------------------------- Career Resources Contact a Career Advisor About On-Campus Jobs Join BYU Handshake Resume & Cover Letter Help About the STEM Fair -------------------------------------------------------------------------------- Community Students Back -------------------------------------------------------------------------------- Students Clubs Inclusion, Diversity, & Equity International Students Student Demographics Student Awards Alumni Back -------------------------------------------------------------------------------- Alumni How to Get Involved Alumni Awards Companies Back -------------------------------------------------------------------------------- Companies Partner With Us Recruit Our Students Sponsor a Capstone Join BYU Handshake Join BYU Connect Contact Us -------------------------------------------------------------------------------- Department About Back -------------------------------------------------------------------------------- About About Us Faculty/Staff Directory Advisory Board Position Openings for Faculty/Staff Contact Us Research Back -------------------------------------------------------------------------------- Research About Our Research Research Labs -------------------------------------------------------------------------------- Events & News Events Back -------------------------------------------------------------------------------- Events Upcoming Events Seminar Series About the STEM Fair News Back -------------------------------------------------------------------------------- News Recent News Student Awards -------------------------------------------------------------------------------- Donate BYU'S COMPETITIVE PROGRAMMING TEAM TAKES EGYPT Our programming team has received a prestigious invitation to participate in the International Collegiate Programming Contest (ICPC) World Finals in Sharm El Sheikh, Egypt. This is BYU's first-ever appearance at the ICPC World Finals. Learn More UPCOMING EVENTS Nov 30 Thu GRAD SEMINAR SERIES 11 a.m. - noon 1170 TMCB See all events Academic Calendar NEWS GRADUATE SEMINAR: BEN GREENMAN Talk title: How Profilers Can Help Navigate Type Migration Sound gradual types strengthen code with formal guarantees, but may require expensive run-time checks depending on how typed and untyped code interact. In this paper, we explore profile-guided strategies to discover gradual codebases that run as quickly as untyped code. One strategy rises to the top, but it succeeds in only 50% of all trials. Going forward, we need better profilers to measure type costs. Our experiment was made possible by the Rational Programmer method for automatically testing hypotheses about human programmers. View News See all news STUDENT STORIES > Computer Science at BYU has helped me achieve my dream job even before > graduating. It has also helped me to be involved in an amazing campus and > tremendous clubs with some of the best students, faculty, and advisors. I > haven't yet created impactful and influential software that helps people all > over the world but connecting with some of the brightest students in the world > and getting into a company where you can find some of the brightest engineers > is a step closer to achieving that goal. Ignacio CS Major from Uruguay. > I had no coding experience before coming to BYU, so I have really learned a > lot in all the CS classes I have taken. Now I am a proficient coder who is > ready to enter the workforce! Adam Senior from California. UNDERGRADUATE PROGRAM Learn everything you need to know about our undergraduate program below. Requirements Courses Scholarships GRADUATE PROGRAM We offer both a Masters and a PhD program in computer science. These research driven programs are perfect to accelerate your career & research. Masters PhD Scholarships Admissions Contact 3361 Talmage Math & Computer Science Building Email: csoffice@cs.byu.edu Phone: (801) 422-3027 Social Links Favorites Donate Directory Our Research College of Physical and Mathematical Sciences Additional Links CS Account Help HBLL CS Research Resources Give Feedback