NU Programming Languages Seminar , Wednesday, 31 MAY 2000 10:00 - noon at 149 Cullinane Hall, Northeastern University: Norman Ramsey, Harvard University, will present his joint work with Simon Peyton Jones, Microsoft Research, "C--: A Single Intermediate Language That Supports Multiple Implementations of Exceptions" (abstract)
NU Programming Languages Seminar , Wednesday, 23 February 2000 0:00 - noon at 149 Cullinane Hall, Northeastern University: Will Clinger will present (will finish his presentation) of the Xi and Harper paper "A Dependently Typed Assembly Language" (abstract)
NU Programming Languages Seminar , Tuesday, 8 February 2000 10:00 - noon at 149 Cullinane Hall, Northeastern University: Igor Siveroni will present David A. Schmidt"s Data Flow Analysis is Model Checking of Abstract Interpretations (abstract)
NU Programming Languages Seminar , Tuesday, 25 January 2000 9:00 - 10:30 am at 149 Cullinane Hall, Northeastern University: Greg Sullivan, MIT AI Lab will present his "Operationally-based Models of Higher-order Imperative Programming Languages" (abstract)
NU Programming Languages Seminar , Monday, 24 January 2000 2:30 - 4:00 pm at 149 Cullinane Hall, Northeastern University: Bernd Brobauer, BRICS, University of Aarhus will present his PEPM 00 paper co-authored by Zhe Yang: "The Second Futamura Projection for Type-directed Partial Evaluation" (abstract)
NU Programming Languages Seminar , Monday, 24 January 2000 1:00 - 2:30 pm at 149 Cullinane Hall, Northeastern University: Zhe Yang, New York University will present his ESOP99 paper co-authored by Olivier Danvy: "An Operational Investigation of the CPS Hierarchy" (abstract)
NU Programming Languages Seminar , Monday, 24 January 2000 Nick Benton and Andrew Kennedy, Microsoft Research at 149 Cullinane Hall, Northeastern University: Nick Benton and Andrew Kennedy, Microsoft Research, Cambridge, UK will present their talk titled "A Note on Exceptional Syntax" (abstract)
CCS Colloquium , Friday, 5 May 2000 2:00-3:00pm at 149 Cullinane Hall, Northeastern University: Muxiang Zhang will present his Ph. D Thesis Defense "Analysis and Design of Stream Ciphers for Wireless Communication Networks" (abstract)
CCS Colloquium , Friday, 28 April 2000 12:00-1:00pm (!) at 149 Cullinane Hall (!!), Northeastern University: Phil Chan, Florida Institute of Technology will present his "Constructing Web User Profiles: A Non-invasive Learning Approach" (abstract)
CCS Colloquium , Thursday, 27 April 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Suprakash Datta, University of Massachusetts at Amherst will present his "Transient and steady-state analysis of packet routing networks" (abstract)
CCS Colloquium , Monday, 10 April 2000 11:00-12:00pm at 149 Cullinane Hall, Northeastern University: George Wyner, Sloan School of Management, MIT, will present his "Let a Thousand Gardeners Prune: Cultivating Distributed Design in Complex Organizations" (abstract)
CCS Colloquium , Friday, 7 April 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Clifford Stein will present his "Scheduling to Minimize Average Completion Time" (abstract)
CCS Colloquium , Monday, 3 April 2000 3:00-4:00pm at 149 Cullinane Hall, Northeastern University: A. Bruce McDonald will present his "The (alpha,t)-cluster framework for adaptive, scalable routing in dynamic wireless ad-hoc networks" (abstract)
CCS Colloquium , Friday, 31 March 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Shriram Krishnamurthi will present his "Extensible Software Systems: Implementation, Languages and Theorems" (abstract)
CCS Colloquium , Monday, 27 March 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Jeffrey Forbes, Computer Science Division, University of California, Berkeley will present his "Learning to Drive" (abstract)
CCS Colloquium , Friday, 10 March 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Vincenzo Liberatore, University of Maryland, College Park, will present his "Caching for Broadcast Disk Systems" (abstract)
CCS Colloquium , Wednesday, 8 March 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: George Kollios will present his "Access Methods For Spatiotemporal Databases" (abstract)
CCS Colloquium , Monday, 6 March 2000 3:00-4:00pm at 149 Cullinane Hall, Northeastern University: Kathryn Fisler, Rice University, will present her "Timing Diagrams as Data Structures in Computer-Aided Verification" (abstract)
CCS Colloquium , Friday, 25 February 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Guevara Noubir, Swiss Federal Institute of Technology in Lausanne will present his "Some Open Issues in Wireless Communications and Group Communications" (abstract)
CCS Colloquium , Wednesday, 23 February 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Cynara Wu, M.I.T., will present her "Dynamic Resource Allocation in CDMA Cellular Communications Systems" (abstract)
CCS Colloquium , Monday, 21 February 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Vassilis Tsaoussidis, Dept. of Computer Science, SUNY Stony Brook will present his "New Generation Transport Protocols for Heterogeneous Wired/Wireless Internet Environments" (abstract)
CCS Colloquium , Friday, 18 February 2000 11:00 - noon at 149 Cullinane Hall, Northeastern University: Stephen G. Kobourov will present his "Visualization of Large Graphs" (abstract)
CCS Colloquium , Monday, 7 February 2000 12:00-1:00pm at 149 Cullinane Hall, Northeastern University: Wonjun Lee, University of Minnesota will present his "QOS Provisioning for Mul timedia Applications" (abstract)
CCS Colloquium , Wednesday, 2 February 2000 3:00 - 4:00 pm at 450 Dodge, Northeastern University: Michael Stonebraker, Chief Technology Officer Informix Software, Inc. and Cohera Corporation will present his "New Challenges in DBMS Research" (abstract)
DemeterBean Seminar , Monday, 6 March 2000 1:30-2:30 at 149 Cullinane Hall, Northeastern University: Nikolay Mirenkov, Professor and Chair, Graduate Department of Information Systems, University of Aizu, Japan, will present his "``Filmification'' of methods and data: a programming technology of the next generation" (abstract)
MIT Event , Friday, 18 February 2000 2PM at 8th floor playroom, MIT: Michael D. Smith will present his "Overcoming the Challenges to Feedback-Directed Optimization" (abstract)
EE Event , Friday, 18 February 2000 11:45 - 1.00 at 422 SNELL BLDG, Northeastern University: Jose Nelson Ameral, University of Delaware will present his "Prefetching Induction Pointers in Recursive Data Structures" (abstract)