Cse 143x

Last Updated:Oct. 13   2021-2022AutumnWinterSpringTitleCommentRequired100    Required/Core120   Principles of CSnot planning to offerCore142Wortzman / WortzmanWortzman / WortzmanRegesIntro Prog JavaCapstone143Schafer / SchaferReges / RegesK. Lin / K. LinIntro Prog II JavaSeminar143XReges  Intro Prog I+II Java154Fitz Gibbon & WolmanWolmanFitz Gibbon & WolmanWeb Programming160Ru. AndersonFitz Gibbon Data Programming163 SchaferSchaferIntermediate Data Programming180INFOSTATMaasIntroduction to Data Science131  x?Digital PhotographyAnother degree name means the instructor190BGrossman et al  Direct-Admit Seminarin collaboration with advisors 190YNatsuharaNatsuhara 14x DA Sidecar Workshop 190ZBrickerBrickerBrickerSTARSis from that program (EE, STAT, INFO, ...)390HASchaferxWortzman142 Honors Seminarfor a cross-listed course390HBRegesRegesK. Lin143 Honors Seminar200-300 Majors   x: course will be offered, instructor announced laterEE205 EE Signal Conditioningx?: course may be offered311Zatloukal / ZatloukalWeberWeber / WeberFoundations I312KarlinTsun / TsunTessaro / BeameFoundations IIWinter will be single double-size section at 9:30MWF331WilcoxPerkins / PerkinsZatloukal / ZatloukalSoftware Design and Implementation332WeberRu. Anderson / Ru. AndersonRi. AndersonData Structures and Parallelism333ThachukHsia / HsiaPerkinsSystems Programming340 BrickerBrickerInteraction Programming341WilcoxGrossmanWilcoxLanguages344TangSuciuTangIntro to Data Management351Hsia / HsiaWolfsonRu. Anderson / Ru. AndersonThe Hardware/Software Interface369 HsiaWyseDigital Logic371EEEEHsiaAdvanced Logic390B FanFanAcademic Skill Building Through Bottom-Up Computing390ZIbrahimxxMathematics for Computation Workshop391SchaferSchaferSchaferUnix Tools400 Majors, Non-Capstones   401Perkins RuzzoCompilers (joint with M501)402   Domain Specific Languages (joint with M502)403  JustSoftware Engineering421A. RaoY. LeeOveis GharanAlgorithms422  J. LeeToolkit for Modern Algorithms427RuzzoS. Wang Computational Biology431 Beame Complexity440ZhangReineckeFogartyHCI I442HeerHeer Visualization444 MaasMaasDatabases (joint with M544)446Morgenstern&DuOhJamieson&SchmidtMachine LearningFall and Spring are joint with 546, Fall is 2 lectures/week, Winter and Spring are 3 lectures/week447 N. SmithTsvetkovNLP (joint with M547)Winter is joint with 517, Spring is not451X. WangKimuraZahorjanOS452 WilcoxT. AndersonDistributed Systems455 RedmonRedmonComputer Vision456   Story Design for Animation457Popovic SeitzGraphics458Mones  Animation459   Character Animation461GollakotaHeimerlMahajanNetworks464  MonesAdv Topics in Animation469EEEEEEComputer Architecture I470  CezeComputer Architecture II473MooreShapiroMooreAI474EEEEIyerEmbedded SW478 Boots Autonomous Robots484KohlbrennerKohno Security (joint with M584)486CHEME  Intro to Synthetic Biology (joint with 586)joint with EE423, BIOE423487 Seelig Advanced Synthetic Biology490  WilcoxWeb Browser Engineering490T. Anderson  Cloud Computing, "453"can also be taken as 5xx490G1Redmon  Deep Learningcan also be taken as 5xx for 5th-year Masters, but not joint with 543490CTessaro  Cryptography490A Gottesman & Lazowska Entrepreneuship: Company-Building (w/ 599A1,P590A)490  J. SmithWireless Communication490   Physical Computing490Q   Quantum Computation490NR. Rao  Neural Engineering490   ICTD490J   Animation: (topic varies by quarter)492P1  SuPatterns for Career Success492E -> 480Grossman/MooreMoorexComputer Ethics (2 cr. Seminar)Spring will be Moore and/or Grossman492L Lazowska & Grossman Leadership Seminar Series492R Cakmak Intro to CSE Research Seminar 492T   CS Pedagogy (2 cr. Seminar, instructor permission)492JNguyen & ChampionNguyen & ChampionNguyen & ChampionCareer Seminar495CaspiCaspiCaspiProject PracticumCapstones    428  MostafaviComp Bio Capstone441   HCI II454   Internet Systems460 Mones Animation Capstone475PatelEEEEHW Systems481SEC  KohnoSecurity Capstone481 Zhang Social Computing481D  PopovicGames Capstone481i   Sound Capstone481Althoff  Data Science Capstone481   Neural Engineering Capstone481   HCI Capstone481C  CakmakRobotics Capstone481V Kemelmacher Virtual Reality Capstone481NLP  N. SmithNLP capstone481SYS   OS Capstone481W   World Challenges Capstone482Heimerl  Community Networking482A   Accessibility Capstonenot offered this year482K Ri. Anderson Tech for Resource-Constrained Env.300-400 Non-Majors   373K. LinK. Lin / K. LinChampionData Structures374ChampionHazenPerkinsIntermediate Programming Concepts and Tools390  RegesC++ Programmingnew pilot410 Zahorjan OS/Arch412  FroehlichVisualization413  Languagesnot offered this year414Maas / MassMaasLeangDatabase Systems415 MooreHazenAI416STAT xML417WeberRuzzo Theory5th Year MS    M 501Perkins RuzzoCompilers (joint with 401)M 502   Domain Specific Languages (joint with 402)M 544 MaasMaasDatabases (joint with 444)M 547 (take 517 instead)TsvetkovNLP (joint with 447)M 584KohlbrennerKohno Security (joint with 484)599T. Anderson  Cloud Computing (joint with "453")599Redmon  Deep Learning (joint with 490G1)this is not the same as the spring 543 course, but don't take bothBreadth    501   Compilers503 ErnstSE505   Programming Languages507Torlak  Computer-Aided Reasoning for Software510 Fogarty HCI512  BattleVisualization515  OhStatistical Methods517N. Smith NLPjoint with 447521Oveis Gharan  Algorithms525  Random Algorithms526R. Lin Cryptography527S. Lee  Comp Bio5xx Mostafavi Computational Genomicsexact title and breadth approval pending531  A. RaoComplexity I535J. Lee  Theory of Convex Optimization541 Jamieson Interactive Learning542   Reenforcement Learning543  DuDeep Learningnot joint with 4xx course this year544   Databasesno longer planning to offer this year546Morgenstern&Du Jamieson&SchmidtMachine Learningjoint with 446547 STATMachine Learning for Big Data548   Architecture550Mahajan  Systems for all551   OS 552  Distributed Systems556 Schulz Computational Fabrication557   Graphics561   Networks562  GollakotaMobile & Wireless Systems564   Security567   Digital Systems Design571  FoxRobotics573 HajishirziAI576  ShapiroComputer Vision580   Computing for Social Good581Reinecke  Computer Ethicsnumber pending, likely to be offered under 599, not yet approved for breadth, but likely to beOther Grad    590 Karlin First-Year Seminar522   Algorithms II528  R. RaoComputational Neuroscience532   Complexity Theory549   High-Performance Computer Architecture579   Optimal Control586CHEME  Synthetic Biology (joint with 486)599Ri. Anderson  Computing and Global Health: Support for the global rollout of Covid-19 vaccines599Battle  Interactive Data Analysis Systems599   TBD599Hofmann E-Textiles599Schmidt  TBD599 Just Empirical Research Methodsmay become breadth course599 J. Lee Quantum Algorithmsmay become breadth course599 Iyer TBD599 Morgenstern TBD599 Oveis Gharan TBD599 Tsvetkov TBD599  KohlbrennerHardware Security599  R. LinTBD599  PeterData Centers599  SchulzSelected Topics in Computational Fabrication599  S. WangTBD599A1 Gottesman & Lazowska Entrepreneurship: Company-Building (w/ 490A, P590A)PMP    will have at least 4 Spring coursesP501Perkins  CompilersP503  Software EngineeringP505   Programming LanguagesP510   HCIP517   NLPP521   AlgorithmsP527   Computational Biology
Sours: https://s3-us-west-2.amazonaws.com/www-cse-public/education/time-sched/teaching2021-2022.html


AD1024 (real name: Mike He) is a Senior student at Paul G. Allen School of Computer Science & Engineering. His research interests include Program Synthesis, Programming Language Theory (specifically Type Theory related), Formal Verification and Compiler Designs. He currently is looking for a PhD position. He is a member of SAMPL and PLSE Research Group. He loves classical music, anime and Japanese popculture.

He is adviced by Zachary Tatlock and co-adviced by Steven Lyubomirsky.

Github/CodeWars: AD1024


$^*$: Listed publication

  • $^*$3LA: A Verified Compilation Flow for Deep Learning Accelerators (Jun. 2020 $\Rightarrow$ Now)
    • Flexible Matching: Enhancing flexibility for compilers to exploit potential workload that can be assigned to accelerators
  • $^*$Dynamic Tensor Rematerialization: A Heuristic-based Gradient Checkpointing Algorithm that supports automatic checkpointing on arbitrary Deep Learning Models (Nov. 2019 $\Rightarrow$ Now)
  • Relay: A High-Level Intermediate Representation for Deep Learning (Oct. 2019 $\Rightarrow$ 2020)
  • UW Solar Data: Data Monitoring Dashboard for Solar Panels (Jan. 2019 $\Rightarrow$ Jun. 2019)

  • Kirisame, M.*, Lyubomirsky, S.*, Haan, A.*, Brennan, J., He, M., Roesch, J., Chen, T., Tatlock, Z. (2020, June 18). Dynamic Tensor Rematerialization. ICLR 2021. September 19, 2020. https://arxiv.org/abs/2006.09616 (*: Equal contribution)
  • Huang, B.*, Lyubomirsky, S.*, Tambe, T.*, Li, Y., He, M., Smith, G.H., Wei, G., Gupta, A., Malik, S., & Tatlock, Z. (2021). From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap.(*: Equal contribution)

  • MICRO’21 Program Committee (Artifact Evaluation)
  • CSE 505: Principle of Programming Languages (Spring 2021), Teaching Assistant (Grading & Lecture / Homework Dev)

Note:bold stands for highly recommended courses.

Computer Science (Major)

  • CSE 143X: Computer Programming II (Accelerated)
  • CSE 332: Data Structure and Parallelism
  • CSE 333: System Programming
  • CSE 402 (501): Domain-Specific Languages
  • CSE 421: Algorithms
  • CSE 431: Complexity Theory
  • CSE 451: Operating Systems
  • CSE 457: Computer Graphics
  • CSE 473: AI (Artificial Intelligence)
  • CSE 490P: Special Topics: Advanced PL (PL + Verification) (by James Wilcox)
  • CSE 490L (453): Datacenter System (IP)
  • CSE 505: Principle of Programming Languages
  • CSE 507: Computer-Aided Reasoning for Software
  • CSE 550: System For All (IP)


  • MATH 12X: Calculus
  • MATH 307: Differential Equation
  • MATH 308: Linear Algebra


  • PHIL 100: Introduction to Philosophy
  • PHIL 470: Intermediate Logic
  • PHIL 471: Advanced Logic

VLPA (Visual, Language and Performing Art)

  • MUSIC 390/HONORS 398: Special Topics on Music
  • JAPAN 101~103: First-Year Japanese

Took in Waseda Summer Session 2019

  • History I: Japanese Contemporary History
  • Culture III: Japanese Popular Culture and Globalization
  • Talk in Japanese II: Japanese Language Course


  • ANTH/JSIS A/GWSS 328: Gender & Sexuality in China

Fun Fact

I love classical music and enjoy playing the violin. I’ve been playing the violin for 0x11 years and passed the Level 9 test certified by the Central Conservatory of Music.

Some recordings are available here: AD1024 @ Bilibili

I was a part-time translator / proofreading editor in 🦈Gawr Gura🦈’s fansub team. Gura is a contract Virtual Youtuber of Hololive EN.

Sours: https://ad1024.space/about
  1. Who makes picket house furnishings
  2. Uc berkeley bioengineering
  3. Llama designs


Head TA

University of Washington

Seattle, WA

Lead and organize weekly Exploration Sessions for Intro Series class (1500+ students), mentor 75+ TAs, work closely with professors to discuss grading criteria and class curriculum, work closely with TA Coordinators to handle administrative details

August 2018 - Present

TA Coordinator

University of Washington

Seattle, WA

Interviewing and selecting new TAs, organizing weekly training sessions for new TAs, running weekly TA Community meetings, supervise and mentor 75+ TAs, administer TA evaluations, work closely with staff to handle administrative details

March 2017 - August 2018

CSE Intro Series TA

University of Washington

Seattle, WA

Lead class of 25 students, assisted students with homework assignments, graded exams and assignments, proctored exams, attended weekly community planning meetings.

March 2015 - August 2017


Developed tools to facilitate Java learning in classes. Ran Hackathon event for 25 high school students. Taught Java online to other students.

August 2015 - September 2015


Conducted market research on the information security challenges related to the Internet of Things. The research focused on the healthcare, automotive and home monitoring industries.

August 2014

Education University of Washington

University of Washington

Paul G. Allen School of Computer Science & Engineering

Master's of Science

Computer Science

September 2018 - December 2019

University of Washington

Paul G. Allen School of Computer Science & Engineering

Bachelor's of Science

Computer Science - Data Science Option

September 2014 - December 2018


Programming Languages & Tools

Leadership Positions

  • TA Coordinator
  • Dawg Daze Team Captain
  • Boy Scouts of America - Eagle Scout

Hobbies Philmont Guitar Playing

My love for playing guitar has given me opportunities to expand my experiences beyond my community. I worked with Buddies Without Borders, a nonprofit organization, to aid in fundraising efforts by creating a music video to raise disaster awareness for natural disasters such as floods and earthquakes. I also have performed live several times at a Silicon Valley business' (Accretive Wealth) award ceremony. These performances stretch my creative thinking and inspire me to continue to develop my musical language to appeal to larger and more diverse audiences. I teach guitar in my spare time as well, so if you are looking to learn feel free to contact me! :)


Biliscreen Android Application

Ubicomp Lab

Selected to be part of a research team to utilize machine learning and computer vision to build an application that scans human eyes to identify the level of bilirubin to assist in the early identification of pancreatic cancer and Jaundice. Developed algorithms to classify the eye using machine learning and computer vision. Currently developing this app for the Ubiquitous Computing Lab at UW as part of a research program.

Spring 2018

SimpleDb (Database Management System)


Built a robust Database Management System that can recover from crashes, process several transactions concurrently, and manage several database files. SimpleDb has 4 main components I built, a storage manager, query processor, shared utilities manager, and a log manager for recovery. Developed over the course of 10 weeks in a Database Internals course.

Winter 2018

Shuffle Tool


Built a simple website that uses a javascript text to shuffle lines of string. Developed for CSE 14x TA Community Meetings.

Fall 2017

Campus Paths Android Application


Built modular software that can be easily expanded on. The inspiration was to follow a model view and controller design in the application. Implemented Dijkstra's algorithm so that the app finds the shortest path between two building around UW Campus. Developed over the course of 9 weeks in a Software Design & Implementation course at UW.

Summer 2017

File Directory Search Engine


Built data structures to process queries based on key words found in files, a file index system (inverted index) to save an index of files in a directory, and a web server to host the search engine. Developed over the course of 9 weeks in a Systems Programming course at UW.

Summer 2017

Sours: https://ayazlatif.github.io/

CSE 143X // Computer Programming I & II : Notes

After years of tinkering around with HTML, CSS and JavaScript, trying to make the most of my remaining time at University of Washington, I decided to take a formal approach to learning the fundamentals while having access to one of the highest regarded computer science programs in the country. The accelerated class combines CSE 142 & 143 into one quarter, creating an intense, unforgiving pace of learning material. Where design isn’t about crafting a solution rather creating an expression of an idea, I enjoy having concrete solutions to problems: the code either compiles and runs or it doesn’t. It’s taken a lot of effort to balance the time needed to properly absorb the concepts with my two other design projects this quarter. Sometimes it’s hard to justify spending large amounts of my week on work that, at the moment, leaves me with little to show for it. I have no doubt, however, that the time I am spending learning to program now will have been worthwhile in the end.

Sours: https://www.ericfreistadt.com/post/111591514463/cse-143x-computer-programming-i-ii-notes

143x cse

About Me

Hi, I’m Michael Lee. This website currently serves as a way for me to showcase my projects and dump miscellaneous tidbits in the form of a blog. Currently, I’m mostly interested in programming and computer science, so most of the content will be CS-oriented.

Want to know more about me? My resume page contains a fairly good summary of what I’ve been up to.

Current projects and focuses

  • Classes I’m taking
    • Machine Learning, Graphics, Networks, and Intro to Embedded
  • Projects
  • Teaching:
    • Currently TA-ing: CSE 311, the “introduction to theory/discrete math” course
    • Other courses I’ve TA-ed:
      • CSE142, CSE 143, and CSE 143x – first and second introductory courses at UW. CSE 143x is an accelerated version of the course that covers material from both CSE 142 and 143.
      • CSE 332 – data structures, algorithms, and parallelism.
  • Things I’ve written/am writing
    • CSE 14x Style Guide – an (unofficial) style guide for CSE 14x series. Covers both Java-specific guidelines, commenting guidelines, and general code structure guidelines. Mostly finished, but is missing some content and could use some copy-editing.
    • Curated Programming resources – a collection of hand-picked resources for learning programming. In limbo, and will probably go through a bunch of changes when I find the time. (Maybe over summer?)

Latest posts

About this website

This website is statically generated using Jekyll, using Yeoman (see generator-jekyllrb). The CSS is built on top of Twitter-Bootstrap, using SASS.

Unless otherwise noted, any content on this website is dual-licensed under the Creative Commons Attribution 4.0 International License and the MIT License – pick whichever is more convenient for you.

The source code for this website can be found on Github.

I have an RSS feed.

Sours: https://michael0x2a.com/

University of Washington Information School

Lower-Division Courses

In order to be considered for admission, applicants who are current UW students must complete all four prerequisite courses. They must be completed by the end of the quarter prior to submitting your application to the Informatics program.

Prospective students who have completed all listed prerequisites and would like to take additional classes before applying to the program are encouraged to take any courses in the program. (If you are interested in taking Informatics courses but are not currently in the program, please see our Add Code Policy.)

Prerequisite Courses

The course designations given are for courses taken at the UW. However, we are happy to accept non-UW courses. Please refer to the information below regarding transfer credits:

Additional Information

  • Prerequisite courses must be completed with a grade of 2.0 or higher, AP/IB scores (if awarded credit by the UW), or Cr (if a Cr/NC class).
  • If you have taken multiple classes that fulfill the same requirement, we will consider the course where you earned the highest grade. 
  • Prerequisite courses must be completed by the end of the quarter prior to submitting your application.
    • Exceptions:
      • Transfer students who started at the UW in Winter quarter are not expected/required to have taken INFO 200 in order to be eligible for the next Autumn quarter admission.
      • Transfer students who started at the UW in Autumn quarter are not expected/required to have INFO 200 in order to be eligible for the next Winter quarter admission.
      • Transfer students are only allowed one “grace quarter” where INFO 200 is not required (described above). If they chose to apply in a future cycle, they would be considered a current UW student and INFO 200 would be required.
  • If you need assistance finding I&S courses, please use the General Education Requirement Course Search tool.

Add Codes

If you are interested in taking Informatics courses but are not currently in the program, please see our Add Code Policy.

Sours: https://ischool.uw.edu/programs/informatics/prerequisites

Now discussing:

(Graduate) Math Courses

  • Math 504/505/506—Algebra
    • Groups, modules, rings, fields, Galois theory, representation theory, homological algebra, etc.
  • Math 507/508/509—Algebraic Structures (notes on github: 508, 509)
    • Advanced commutative algebra, Lie groups and algebras, and homological algebra.
  • Math 534/535/536—Complex Analysis
    • Complex variables, contour integration, conformal maps, harmonic functions, the Dirichlet problem, etc.
  • Math 544/545/546—Topology and Geometry of Manifolds
    • Topological and smooth manifolds, algebraic topology, covering space theory, differential geometry, etc.
  • Math 561/562—Combinatorics
    • Counting, posets, generating functions, inclusion/exclusion, graph theory, etc.
  • Math 567/568/569—Algebraic Geometry (notes on github)
    • Affine and projective varieties, rings of functions, the Nullstellensatz, localization, dimension, algebraic curves, divisors, cohomology, genus, and the Riemann-Roch theorem.
  • Math 581B/582B—Algebraic Groups and their Representations (notes on github)
    • Group schemes, Hopf algebras and representations; the Barsotti-Chevalley theorem, existence of quotients, descent, etc. Infinitesimal theory, the Borel fixed point theorem, parabolic subgroups, representations and highest weight theory.
  • Math 582H—Hopf Algebras (notes on github)
    • Hopf algebras, quantum groups, duality, actions, and representations of Hopf algebras and tensor and fusion categories.
  • Math 583H—Cohomology Theories, Triangulated Categories, and Applications (notes on github)
    • Hochschild cohomology, group cohomology, homotopy and derived categories, dualizing complexes, and Artin-Schelter regular algebras.
  • Math 600—Directed Reading
    • Group Schemes and Representations Autumn 2018-Winter 2020 (with Prof. Julia Pevtsova)
    • Abelian Categories Spring 2018 (with Prof. James Zhang)
    • Representation Theory Winter-Spring 2017 (with Prof. Julia Pevtsova)
    • Algebraic Topology Autumn 2016 (with Prof. Steve Mitchell)

Computer Science Courses

  • CSE 143x—Accelerated Computer Programming I/II
  • CSE 373—Data Structures and Algorithms
  • CSE 512—Data Visualization
  • CSE 517—Natural Language Processing

Statistics Courses

  • STAT 509—Introduction to Mathematical Statistics

Thanks to the following for their contributions to this site:

  • Background: "What the Hex" - Angel Micevski
  • Website fonts (unicode fonts based on Donald Knuth's Computer Modern font family) provided by Andrey V. Panov
  • "Dangerous Bend" symbol based on Knuth's Dangerous Bend symbol, which is in turn based on that of Bourbaki.
Sours: https://nicocourts.com/courses

1290 1291 1292 1293 1294