|
|
|
|
|
|
|
| 1 | 8/31 | F | Welcome to the Department, Course Overview, Q&A | J Moore | |
| 2 | 9/7 | F | Succeeding in Graduate School | Doug Burger and J Moore | |
| 3 | 9/10 | M | Assoc. Chair Greg Lavender | ||
| 9/14 | F | Successful publishing | Doug Burger and J Moore | "The
Task of the Referee" Sample unpublished paper submission Sample unpublished paper reviews |
|
| 4 | 9/17 ENS 109 |
M |
TA Training 2 |
Doug Burger and J Moore | |
| 9/21 | F | Successful Writing and Speaking | William Cook, Doug Burger, and J Moore | "Style:
Toward Clarity and Grace" Slides from William Cook |
|
| 5 | 9/24 | F1 | TA Training 3 |
Assoc. Chair Greg Lavender | |
| 9/28 | F | Discussion on Writing, Reviewing, and Submitting Papers | Doug Burger | ||
| 6 | 10/1 | M | Teaching Assistant Panel |
Julian Bishop, Jeff Diamond, Simha Sethumadhavan, Jacob Schrum | |
| 10/5 | F | Microprocessor Verification | Prof. Warren Hunt | ||
| 7 | 10/8 | M | Panel Discussion: Does AI Belong in Systems? | Prof. Emmett Witchel Prof. Peter Stone |
|
| 10/12 | F |
Computer Security |
Prof. Vitaly Shmatikov Prof. Vijaya Ramachandran |
||
| 8 | 10/15 | M | Machine Learning & Multiagent Systems:
From Robot Soccer to Autonomous Traffic Learning for Natural Language Understanding |
Prof. Peter Stone Prof. Ray Mooney |
|
| 10/19 | F | Graduate Student Research Panel | Lily Mihalkova, Matt Taylor, Justin Brickell, Serita Nelesen | ||
| 9 | 10/22 | M | Is Network a Computer? Writing Programs that run over the Internet |
Prof. Jay Misra |
|
| 10/26 | F | Answer set programming | Prof. Vladimir Lifschitz | ||
| 10 | 10/29 | F | Panel Discussion on Transactional Memory: Is it Worth a Damn or Not? | Prof. Emmett Witchel, Hany Ramadan, Chris Rossbach, Don Porter, Owen Hofmann | |
| 11/2 | F | ACL2: Software
Verification |
Prof. J Moore Doug Burger |
||
| 11 | 11/5 | M | Neural networks and evolutionary computation Learning Theory |
Prof. Risto Miikkulainen Prof. Adam Klivans |
|
| 11/9 Class will be in TAY 3.128. |
F | Graduate Student Panel | Nate Kohl, Yuliya Lierler, Jared Davis, Don Porter, David Kitchen | ||
| 12 | 11/12 | M | Automatic Programming The Biological Data Storm: Saving Lives in the Next Revolution |
Prof. Gordon Novak Prof. Dan Miranker |
|
| 11/16 | F | Research talk #1 Research talk #2 |
Prof. William Cook Prof. Don Batory |
||
| 13 | 11/19 | M | Panel Discussion: Parallel Programming Research |
Prof. James C. Browne Prof. Calvin Lin Prof. Robert van de Geijn Prof. Keshav Pingali |
|
| 14 | 11/26 | M | Unified Approach to
Verification Computational Biology |
Prof. J.C. Browne & Prof.
Calvin Lin Prof. Tandy Warnow |
|
| 11/30 | F | ACL2: Software
Verification Stream Processors for Gaming, Graphics, and General Throughput Computation |
Prof. J Moore Mattan Erez |
||
| 15 | 12/3 | M | CS398T discussion | J Moore | |
| 12/7 | F |
Embodied Cognition Matching: Algorithms and Applications |
Prof. Dana Ballard
Prof. Greg Plaxton |
||