- talks - lists.cs.princeton.edu

Reminder: ACEE Seminar on Thursday, October 15 at 12:30 p.m.: Adam Wierman, Caltech
by Emily C. Lawrence 12 Oct '20

12 Oct '20

[ https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg ] [ https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg ] Register here: [ https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg | https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg ] ABSTRACT Online optimization is a powerful framework in machine learning that has numerous applications to problems in energy and sustainability. In my group at Caltech, we began by applying online optimization to ‘right-size’ capacity in data centers nearly a decade ago; and by now, tools from online optimization have been applied to develop algorithms for geographical load balancing among data centers, demand response, generation planning, energy storage management, and beyond. In this talk, I will highlight both the applications of online optimization and the theoretical progress that has been driven by applications in energy and sustainability. Over the last decade, we have moved from designing algorithms for one-dimensional problems with restrictive assumptions on costs to general results for high-dimensional, non-convex problems that highlight the role of constraints, predictions, delay, multi-timescale control, and more. BIO Adam Wierman is a Professor in the Department of Computing and Mathematical Sciences (CMS) at the California Institute of Technology. He is the director of the Information Science and Technology (IST) initiative and served as executive officer (a.k.a. department chair) of CMS from 2015-2020. He received his Ph.D., M.Sc. and B.Sc. in Computer Science from Carnegie Mellon University in 2007, 2004, and 2001, respectively, and has been a faculty member at Caltech since 2007. Wierman’s research strives to make the networked systems that govern our world sustainable and resilient. He develops new mathematical tools in machine learning, optimization, control, and economics and applies these tools to design new algorithms and markets that can be deployed in data centers, the electricity grid, transportation systems, and beyond. He is best known for his work spearheading the design of algorithms for sustainable data centers, which led to significant industry adoption and for which he was named a Computerworld Honors Laureate. He is a recipient of multiple awards, including the ACM SIGMETRICS Rising Star award, the IEEE Communications Society William R. Bennett Prize, an NSF Career award, and multiple teaching awards. He is also a coauthor on papers that have received best paper awards at a wide variety of conferences across computer science, power engineering, and operations research including ACM Sigmetrics, IEEE INFOCOM, IFIP Performance, and IEEE PES.

1 0

Gregory Chan will present his General Exam on Friday, October 16, 2020 at 4pm via Zoom.
by Nicki Mahler 09 Oct '20

09 Oct '20

Gregory Chan will present his General Exam on Friday, October 16, 2020 at 4pm via Zoom. Link to Zoom: [ https://princeton.zoom.us/j/91727633894 | https://princeton.zoom.us/j/91727633894 ] The members of his committee are as follows: David August (adviser), Aarti Gupta, and Amit Levy Link to Abstract and Reading List: [ https://docs.google.com/document/d/1buQ8SlZ6uixnkxiAqXyS2eKeTgXOp43GtC8RfSB… | https://docs.google.com/document/d/1buQ8SlZ6uixnkxiAqXyS2eKeTgXOp43GtC8RfSB… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Sai Srikar Kasi will present his General Exam on Thursday, October 15, 2020 at 4pm via Zoom.
by Nicki Mahler 08 Oct '20

08 Oct '20

Sai Srikar Kasi will present his General Exam on Thursday, October 15, 2020 at 4pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/5169139659 | https://princeton.zoom.us/j/5169139659 ] The members of his committee are as follows: Kyle Jamieson (Adviser), Amit Levy, Kaushik Sengupta (ELE) Link to Abstract and Reading List: [ https://docs.google.com/document/d/1xGWqiT9wB9Fz7Qek887-oeZv0jMqY-EG/edit | https://docs.google.com/document/d/1xGWqiT9wB9Fz7Qek887-oeZv0jMqY-EG/edit ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Javed Aman will present his General Exam on Monday, October 12, 2020 at 2pm via Zoom.
by Nicki Mahler 08 Oct '20

08 Oct '20

Javed Aman will present his General Exam on Monday, October 12, 2020 at 2pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/7525832349 | https://princeton.zoom.us/j/7525832349 ] The members of his committee are as follows: Mona Singh, Olga Troyanskaya, and Ben Raphael. Link to Abstract and Reading list: [ https://docs.google.com/document/d/1oQKMQC-7C1_nDrHY9qGlOA5GfIeYLMKH4ojKHTv… | https://docs.google.com/document/d/1oQKMQC-7C1_nDrHY9qGlOA5GfIeYLMKH4ojKHTv… ] [ https://docs.google.com/document/d/15iVKaskhsqLA-I__ARw82IF4Os6cb_u9faB8NLV… | https://docs.google.com/document/d/15iVKaskhsqLA-I__ARw82IF4Os6cb_u9faB8NLV… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Kun Woo Cho will present her General Exam "Programmable Metasurface for mmWave Beam Control in Smart Spaces" on Wednesday, October 14, 2020 at 4pm via Zoom
by Nicki Mahler 08 Oct '20

08 Oct '20

Kun Woo Cho will present her General Exam "Programmable Metasurface for mmWave Beam Control in Smart Spaces" on Wednesday, October 14, 2020 at 4pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/91644670793 | https://princeton.zoom.us/j/91644670793 ] The members of her committee are as follows: Kyle Jamieson (adviser), Jennifer Rexford, Amit Levy Link to Abstract and Reading list: [ https://docs.google.com/document/d/1KA8CkZ3tE9vgmieIKwZWGyLGmNF38zdAGmdpc-T… | https://docs.google.com/document/d/1KA8CkZ3tE9vgmieIKwZWGyLGmNF38zdAGmdpc-T… ] [ https://docs.google.com/document/d/1uwN0QqxMqT1DxFryJeN2PdQZKbiUZzxqgIdrMi7… | https://docs.google.com/document/d/1uwN0QqxMqT1DxFryJeN2PdQZKbiUZzxqgIdrMi7… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.

1 0

Fwd: Highlight Seminar on Thursday, October 15 at 12:30 p.m.: Adam Wierman, Caltech
by Jennifer Rexford 02 Oct '20

02 Oct '20

> > From: Andlinger Center for Energy and the Environment <acee(a)princeton.edu> > Subject: Highlight Seminar on Thursday, October 15 at 12:30 p.m.: Adam Wierman, Caltech > Date: October 2, 2020 at 4:19:46 PM EDT > To: ACEEFaculty(a)princeton.edu > Reply-To: Andlinger Center for Energy and the Environment <acee(a)princeton.edu> > > > <https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg> > <https://princeton.zoom.us/webinar/register/WN_lEqS6LEqQueku0tG72vBIg> > ABSTRACT > Online optimization is a powerful framework in machine learning that has numerous applications to problems in energy and sustainability. In my group at Caltech, we began by applying online optimization to ‘right-size’ capacity in data centers nearly a decade ago; and by now, tools from online optimization have been applied to develop algorithms for geographical load balancing among data centers, demand response, generation planning, energy storage management, and beyond. In this talk, I will highlight both the applications of online optimization and the theoretical progress that has been driven by applications in energy and sustainability. Over the last decade, we have moved from designing algorithms for one-dimensional problems with restrictive assumptions on costs to general results for high-dimensional, non-convex problems that highlight the role of constraints, predictions, delay, multi-timescale control, and more. > > BIO > Adam Wierman is a Professor in the Department of Computing and Mathematical Sciences (CMS) at the California Institute of Technology. He is the director of the Information Science and Technology (IST) initiative and served as executive officer (a.k.a. department chair) of CMS from 2015-2020. He received his Ph.D., M.Sc. and B.Sc. in Computer Science from Carnegie Mellon University in 2007, 2004, and 2001, respectively, and has been a faculty member at Caltech since 2007. > > Wierman’s research strives to make the networked systems that govern our world sustainable and resilient. He develops new mathematical tools in machine learning, optimization, control, and economics and applies these tools to design new algorithms and markets that can be deployed in data centers, the electricity grid, transportation systems, and beyond. He is best known for his work spearheading the design of algorithms for sustainable data centers, which led to significant industry adoption and for which he was named a Computerworld Honors Laureate. > > He is a recipient of multiple awards, including the ACM SIGMETRICS Rising Star award, the IEEE Communications Society William R. Bennett Prize, an NSF Career award, and multiple teaching awards. He is also a coauthor on papers that have received best paper awards at a wide variety of conferences across computer science, power engineering, and operations research including ACM Sigmetrics, IEEE INFOCOM, IFIP Performance, and IEEE PES.

1 0

Naorin Hossain will present her General Exam "TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests" on Thursday, September 24, 2020 at 4:30pm via Zoom
by Nicki Mahler 02 Oct '20

02 Oct '20

Naorin Hossain will present her General Exam "TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests" on Thursday, September 24, 2020 at 4:30pm via Zoom. Zoom address: [ https://princeton.zoom.us/j/96195237138 | https://princeton.zoom.us/j/96195237138 ] The members of her committee are as follows: Margaret Martonosi (Adviser), Aarti Gupta, and Amit Levy Link to Abstract and Reading list: [ https://docs.google.com/document/d/15INZKwkigiriz8vCc2ntx2833kFAkAiQT9viVGc… | https://docs.google.com/document/d/15INZKwkigiriz8vCc2ntx2833kFAkAiQT9viVGc… ] [ https://docs.google.com/document/d/1smKDgB4jcnIaS6lpGBaWcFgMW_Mxv6rm8-_4PVM… | https://docs.google.com/document/d/1smKDgB4jcnIaS6lpGBaWcFgMW_Mxv6rm8-_4PVM… ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so. Nicki Mahler Graduate Coordinator Computer Science Department Princeton University

1 1

CITP Special Event: Election Security and Transparency in 2020 - TONIGHT at 7pm ET
by Emily C. Lawrence 17 Sep '20

17 Sep '20

Center for Information Technology Policy Special Event: Election Security and Transparency in 2020 Date: Thursday, September 17, 2020 Time: 7:00 pm - 8:30 pm Event page: [ https://citp.princeton.edu/event/election-security-and-transparency/ | https://citp.princeton.edu/event/election-security-and-transparency/ ] This event is co-sponsored by the League of Women Voters of Berkeley Heights, New Providence, and Summit, New Jersey. Please register here: [ https://princeton.zoom.us/webinar/register/WN_g_huaPqzSqmGrfTTtKUxfQ | https://princeton.zoom.us/webinar/register/WN_g_huaPqzSqmGrfTTtKUxfQ ] “What can we as voters do to protect our elections and our representative government?”, asks the League of Women Voters of Berkeley Heights, New Providence, and Summit, New Jersey. Some of the answers include, be aware of election processes in use, and if those are inadequate, press for reforms. Be aware of election technology in use, and if that is insecure, press for reforms. Those processes and technology must ensure every citizen has the substantive opportunity to vote, and must count every vote (but just once!). Participate, as citizens, in running and observing elections. In the 21st century, new technology has led to new challenges in election security and transparency, but the 2020 pandemic has added special challenges of its own. Andrew Appel will offer his thoughts and insight on the 2020 election process. Bio: Andrew Appel is the Eugene Higgins Professor Computer Science (CS) at Princeton University, and served from 2009-2015 as Chair of Princeton’s CS department. His research is in software verification, computer security, programming languages and compilers, and technology policy. He received his A.B. summa cum laude in physics from Princeton University in 1981, and his Ph.D. in computer science from Carnegie Mellon University in 1985. Professor Appel has been editor in chief of ACM Transactions on Programming Languages and Systems and is a fellow of the ACM (Association for Computing Machinery). He has worked on fast N-body algorithms (1980s), Standard ML of New Jersey (1990s), Foundational Proof-Carrying Code (2000s), and the Verified Software Toolchain (2010-present).

1 0

Nick Giannarakis will present his FPO "An Intermediate Language for Network Verification" on Friday, 9/11/2020 at 3pm via Zoom.
by Nicki Mahler 04 Sep '20

04 Sep '20

Nick Giannarakis will present his FPO "An Intermediate Language for Network Verification" on Friday, 9/11/2020 at 3pm via Zoom. Link to Zoom: [ https://princeton.zoom.us/j/8048625570 | https://princeton.zoom.us/j/8048625570 ] The members of his committee are as follows: Examiners: David Walker (Adviser), Andrew Appel, and Jennifer Rexford; Readers: Aarti Gupta and Ratul Mahajan (University of Washington) A copy of his thesis, is available upon request. Please email ngotsis(a)cs.princeton if you would like a copy of the thesis. Everyone is invited to attend his talk. Abstract follows below: [ https://drive.google.com/file/d/1ejMK4RSAX0lF72EALcMxxPfjXZ4Hh-Mr/view?usp=… | https://drive.google.com/file/d/1ejMK4RSAX0lF72EALcMxxPfjXZ4Hh-Mr/view?usp=… ]

1 0

Cyril Zhang will present his FPO "Regret-Minimizing Algorithms Beyond Classical Optimization and Control" on Thursday, 9/10/2020 at 4:40pm via Zoom.
by Nicki Mahler 03 Sep '20

03 Sep '20

Cyril Zhang will present his FPO "Regret-Minimizing Algorithms Beyond Classical Optimization and Control" on Thursday, 9/10/2020 at 4:40pm via Zoom. Link to Zoom: [ https://princeton.zoom.us/j/95603512563 | https://princeton.zoom.us/j/95603512563 ] The members of his committee are as follows: Readers: Elad Hazan (Adviser) and Yoram Singer; Examiners: Karthik Narasimhan, Mark Braverman, and Sanjeev Arora A copy of his thesis, is available upon request. Please email [ mailto:ngotsis@cs.princeton | ngotsis(a)cs.princeton ] if you would like a copy of the thesis. Everyone is invited to attend his talk. Abstract follows below. Abstract: Temporally correlated data and non-convex programs are two core challenges which lie at the frontier of reconciling theory and practice in machine learning. In this thesis, we present varied perspectives on algorithms and provable learning guarantees in stateful and non-convex environments, such as those encountered in reinforcement learning, control theory, time-series analysis, and deep learning. These ideas are unified by the framework of online convex optimization, which provides robust algorithmic primitives and regret guarantees under minimal assumptions on the data. The recurring theme of leveraging regret minimization beyond classical settings will manifest in several ways, eclectic in their scope. First, we develop a solution concept and ecient algorithms for online non-convex optimization in its most generic form. Next, in a line of theoretical work on prediction and control in the presence of linear time-invariant state transitions, beyond the linear-quadratic-Gaussian assumptions of classical control theory, we use online learning with convex relaxations to bypass the computational and statistical brittleness of the usual system identification pipelines. Finally, we use online convex optimization as a testbed for principled algorithm design, towards improving and better understanding ubiquitous training heuristics in deep learning.

1 0