Difference: CS255Spring10 (1 vs. 23)

Revision 232010-04-20 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Added:
>
>
 

Revision 222010-04-14 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 13 to 13
 

Schedule and Handouts (useful for taking notes during class)NEW

Changed:
<
<
  • Lectures in the rest of April: programming language semantics, lambda calculus
  • Lectures on April 12, 14: parallel programming languages
>
>
 

Revision 212010-03-31 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 13 to 13
 

Schedule and Handouts (useful for taking notes during class)NEW

Added:
>
>
 

Revision 202010-03-29 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 13 to 13
 

Schedule and Handouts (useful for taking notes during class)NEW

Added:
>
>
 

Revision 192010-03-25 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Changed:
<
<
>
>
 
  • Homework1 is out (Due: March 1st in class).
  • Project Part 1 is released (Due: Feb. 21st)
  • Jabber IM client ( 255Spring10ta@gmail.com) created for Q&A (1/13)

Revision 182010-03-24 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 12 to 12
 

Schedule and Handouts (useful for taking notes during class)NEW

Changed:
<
<
>
>
 

Revision 172010-03-16 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Added:
>
>
 
  • Homework1 is out (Due: March 1st in class).
  • Project Part 1 is released (Due: Feb. 21st)
  • Jabber IM client ( 255Spring10ta@gmail.com) created for Q&A (1/13)

Revision 162010-02-24 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Added:
>
>
  • Homework1 is out (Due: March 1st in class).
 
  • Project Part 1 is released (Due: Feb. 21st)
  • Jabber IM client ( 255Spring10ta@gmail.com) created for Q&A (1/13)
  • Office hour posted(1/13)
Line: 42 to 43
 
Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the DrScheme environment. \ No newline at end of file
Added:
>
>
META FILEATTACHMENT attachment="assignment1.pdf" attr="" comment="homework1" date="1266987394" name="assignment1.pdf" path="assignment1.pdf" size="41360" stream="assignment1.pdf" tmpFilename="/tmp/n46ueWoFJg" user="XiaoyaXiang" version="1"

Revision 152010-02-22 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Changed:
<
<

What's New
>
>

What's New
 
  • Jabber IM client ( 255Spring10ta@gmail.com) created for Q&A (1/13)
  • Office hour posted(1/13)
  • Course homepage posted(1/12)
Changed:
<
<

Schedule and Handouts (useful for taking notes during class)NEW

>
>

Schedule and Handouts (useful for taking notes during class)NEW

 
Changed:
<
<
>
>
 
Changed:
<
<
>
>
 

Course Description

Revision 142010-02-15 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Added:
>
>
 
  • Jabber IM client ( 255Spring10ta@gmail.com) created for Q&A (1/13)
  • Office hour posted(1/13)
  • Course homepage posted(1/12)

Revision 132010-02-08 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Changed:
<
<
>
>
 

Revision 122010-02-08 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Changed:
<
<
>
>
 

Revision 112010-02-01 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Added:
>
>
 

Revision 102010-01-27 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Added:
>
>
 

Revision 92010-01-25 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Changed:
<
<
* Lecture 2: introduction to program analysis

* Lecture 1: introduction to program analysis

>
>
 

Course Description

Revision 82010-01-18 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 9 to 9
 

Schedule and Handouts (useful for taking notes during class)NEW

Added:
>
>
* Lecture 2: introduction to program analysis
 * Lecture 1: introduction to program analysis

Course Description

Revision 72010-01-13 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 23 to 23
  Instructor: Chen Ding, Prof.

Teaching assistant: Xiaoya Xiang
Changed:
<
<
Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 601
>
>
Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 632
  Office hours: Ding, Fridays, 11am to 12am or by appointment, CSB Rm 710, x51373.
Xiang, Tuesdays 3pm to 4pm, Thursdays 3pm to 4pm, or by appointment, CSB 625, x52527. You may contact us using instant messaging through any Jabber IM client such as a gmail address. Connect to 255Spring10ta@gmail.com.

Revision 62010-01-13 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Changed:
<
<
  • Course gmail account set up(1/13)
>
>
  • Jabber IM client (255Spring10ta@gmail.com) created for Q&A (1/13)
 
  • Office hour posted(1/13)
  • Course homepage posted(1/12)
Deleted:
<
<

Course IM information NEW

 

Schedule and Handouts (useful for taking notes during class)NEW

* Lecture 1: introduction to program analysis

Line: 28 to 25
  Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 601
Changed:
<
<
Office hours: Ding, Fridays, 11am to 12am or by appointment, CSB Rm 710, x51373.
Xiang, Tuesdays 3pm to 4pm, Thursdays 3pm to 4pm, or by appointment, CSB 625, x52527.
>
>
Office hours: Ding, Fridays, 11am to 12am or by appointment, CSB Rm 710, x51373.
Xiang, Tuesdays 3pm to 4pm, Thursdays 3pm to 4pm, or by appointment, CSB 625, x52527. You may contact us using instant messaging through any Jabber IM client such as a gmail address. Connect to 255Spring10ta@gmail.com.
  Grading (total 100%)
* midterm and final exams are 25% each
* the projects total to 40%
* written assignments are 10%

Revision 52010-01-13 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
Added:
>
>
  • Course gmail account set up(1/13)
  • Office hour posted(1/13)
 
  • Course homepage posted(1/12)
Added:
>
>

Course IM information NEW

 

Schedule and Handouts (useful for taking notes during class)NEW

* Lecture 1: introduction to program analysis

Line: 23 to 28
  Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 601
Changed:
<
<
Office hours: N/A
>
>
Office hours: Ding, Fridays, 11am to 12am or by appointment, CSB Rm 710, x51373.
Xiang, Tuesdays 3pm to 4pm, Thursdays 3pm to 4pm, or by appointment, CSB 625, x52527.
  Grading (total 100%)
* midterm and final exams are 25% each
* the projects total to 40%
* written assignments are 10%

Revision 42010-01-13 - ChenDing

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
  • Course homepage posted(1/12)
Added:
>
>

Schedule and Handouts (useful for taking notes during class)NEW

* Lecture 1: introduction to program analysis

 

Course Description

With the increasing diversity and complexity of computers and their applications, the development of efficient, reliable software has become increasingly dependent on automatic support from compilers and other program analysis and translation tools. This course covers principal topics in understanding and transforming programs at the code block, function, program, and behavior levels. Specific techniques for imperative languages include data flow, dependence, inter-procedural, and profiling analyses; resource allocation; and program transformation for locality and parallelism. Necessary parts of programming language theory are also covered, including basic lambda calculus and the correctness of program transformation.

Line: 25 to 29
 

Textbooks and other resources

Changed:
<
<

Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. The book will be available in the university book store. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. The book will be available in the university book store. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the <nop>DrScheme environment.
>
>

Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the DrScheme environment.
 

Revision 32010-01-13 - XiaoyaXiang

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
  • Course homepage posted(1/12)
Deleted:
<
<

Schedule and Handouts (useful for taking notes during class)NEW

 

Course Description

With the increasing diversity and complexity of computers and their applications, the development of efficient, reliable software has become increasingly dependent on automatic support from compilers and other program analysis and translation tools. This course covers principal topics in understanding and transforming programs at the code block, function, program, and behavior levels. Specific techniques for imperative languages include data flow, dependence, inter-procedural, and profiling analyses; resource allocation; and program transformation for locality and parallelism. Necessary parts of programming language theory are also covered, including basic lambda calculus and the correctness of program transformation.

Line: 18 to 15
 

Instructor, office hours, and grading

Changed:
<
<
Instructor: Chen Ding, Prof.

Teaching assistant: Bin Bao
>
>
Instructor: Chen Ding, Prof.

Teaching assistant: Xiaoya Xiang
  Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 601
Changed:
<
<
Office hours: Ding, Fridays, 10am to 11am or by appointment, CSB Rm 710, x51373.
Bao, Mondays 10am to 11am, Thursdays 3pm to 4pm, or by appointment, CSB 631, x50469.
>
>
Office hours: N/A
  Grading (total 100%)
* midterm and final exams are 25% each
* the projects total to 40%
* written assignments are 10%

Textbooks and other resources


Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. The book will be available in the university book store. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. The book will be available in the university book store. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the <nop>DrScheme environment.

Deleted:
<
<
 \ No newline at end of file
Added:
>
>

Revision 22010-01-13 - BinBao

Line: 1 to 1
 
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010

Line: 29 to 29
 

Textbooks and other resources


Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. The book will be available in the university book store. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. The book will be available in the university book store. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the <nop>DrScheme environment.

Deleted:
<
<
 \ No newline at end of file
Added:
>
>
 \ No newline at end of file

Revision 12010-01-13 - XiaoyaXiang

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="ChenDing"

CSC 255/455 Advanced Programming Systems, Spring 2010


What's New
  • Course homepage posted(1/12)

Schedule and Handouts (useful for taking notes during class)NEW

Course Description

With the increasing diversity and complexity of computers and their applications, the development of efficient, reliable software has become increasingly dependent on automatic support from compilers and other program analysis and translation tools. This course covers principal topics in understanding and transforming programs at the code block, function, program, and behavior levels. Specific techniques for imperative languages include data flow, dependence, inter-procedural, and profiling analyses; resource allocation; and program transformation for locality and parallelism. Necessary parts of programming language theory are also covered, including basic lambda calculus and the correctness of program transformation.

Course projects include a program analyzer and optimizer based on Gcc for compiling a subset of the C programming language. Meets jointly with CSC 255, an undergraduate-level course whose requirement includes a subset of topics and a simpler version of the project.

This year a module will be added on languages and techniques for designing and analyzing parallel programs.

Instructor, office hours, and grading

Instructor: Chen Ding, Prof.

Teaching assistant: Bin Bao

Lectures: Mondays and Wednesdays, 2pm-3:15pm, CSB 601

Office hours: Ding, Fridays, 10am to 11am or by appointment, CSB Rm 710, x51373.
Bao, Mondays 10am to 11am, Thursdays 3pm to 4pm, or by appointment, CSB 631, x50469.

Grading (total 100%)
* midterm and final exams are 25% each
* the projects total to 40%
* written assignments are 10%

Textbooks and other resources


Optimizing Compilers for Modern Architectures (UR access through books24x7), Randy Allen and Ken Kennedy, Morgan Kaufmann Publishers, 2001. Chapters 1, 2, 3, 7, 8, 9, 10, 11. lecture notes from Ken Kennedy. The book will be available in the university book store. On-line Errata

Engineering a Compiler, Keith D. Cooper and Linda Torczon, Morgan Kaufmann Publishers. Chapters 1, 8, 9, 10 and 13. lecture notes and additional reading from Keith Cooper. The book will be available in the university book store. On-line Errata

The Little Schemer, Daniel Friedman and Matthias Felleisen, MIT Press. Auxiliary reading.
To play with lambda calculus, use the <nop>DrScheme environment.

 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding URCS? Send feedback