DOCSLIB.ORG

Final Program

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Final Program Final Program The SIAM Conference on Control and Its Applications is sponsored by the SIAM Activity Group on Control and Systems Theory (SIAG/CST) The SIAM Activity Group on Control and Systems Theory fosters collaboration and interaction among mathematicians, engineers, and other scientists in those areas of research related to the theory of systems and their control. It seeks to promote the development of theory and methods related to modeling, control, estimation, and approximation of complex biological, physical, and engineering systems. The SIAG organizes a biennial conference, sponsors minisymposia at SIAM meetings and periodic conferences, and maintains a member directory and an electronic discussion group. Every two years, the activity group also awards the SIAG/Control and Systems Theory Prize to a young researcher for outstanding research contributions to mathematical control or systems theory and the SIAG/CST Best SICON Paper Prize to the author(s) of the two most outstanding papers published in the SIAM Journal on Control and Optimization (SICON). Society for Industrial and Applied Mathematics 3600 Market Street, 6th Floor Philadelphia, PA 19104-2688 USA Telephone: +1-215-382-9800 Fax: +1-215- 386-7999 SIAM 2013 Mobile App Conference E-mail: [email protected] Scan the QR code to the right with any QR reader and download the TripBuilder ® EventMobile app Conference Web: www.siam.org/meetings/ to your iPHONE, iPAD, iTOUCH, ANDROID or Membership and Customer Service: (800) 447-7426 (US & BLACKBERRY mobile device. You can also visit Canada) or +1-215-382-9800 (worldwide) www.tripbuilder.net/mobileweb/apps/siam2013 2 2013 SIAM Annual Meeting • SIAM Conference on Control & Its Applications General Information Table of Contents William M. McEneaney Maurice Robin General Information .............................2 University of California, San Diego, USA Digiteo, France Exhibitor Information ..............................8 (CT13 liaison) Shanjian Tang AWM Workshop ....................................10 Jennifer Mueller Fudan University, China Colorado State University, USA Workshop Celebrating Diversity .........12 Antonio Vicino Dirk Roose University of Siena, Italy Student Days .........................................14 K.U. Leuven, Belgium Lizette Zietsman Special Events .......................................17 Christiane Rousseau Virginia Tech, USA Invited Presentations ............................20 Université de Montréal, Canada Prizes and Awards Luncheon ............27 Sebastian Wieczorek General Information AN13 Program Schedule .....................33 University of Exeter, United Kingdom SIAM Registration Desk AN13/AWM Poster Session ..................60 Chai-Wah Wu IBM T. J. Watson Research Center, USA The SIAM registration desk is located in the CT13 Program Schedule ....................113 Atlas Foyer of the Town and Country Resort CT13 Poster Session.............................135 & Convention Center. It is open during the following hours: AN13 Speaker and Organizer Index 147 Control and Its Applications Organizing Committee Sunday, July 7 CT13 Speaker and Organizer Index .156 7:00 AM - 8:00 PM Organizing Committee Co-chairs AN13 & CT13 Budget..Inside back cover Monday, July 8 Fariba Fahroo 7:30 AM - 4:30 PM Air Force Office of Scientific Research, USA Annual Meeting Organizing Wei Kang Tuesday, July 9 Committee Naval Postgraduate School, USA 8:00 AM - 4:30 PM Organizing Committee Co-chairs Organizing Committee Wednesday, July 10 Bruce Hendrickson 8:00 AM - 4:30 PM Sandia National Laboratories, USA Murat Arcak Thursday, July 11 Hinke M. Osinga University of California at Berkeley, USA 8:00 AM - 4:30 PM University of Auckland, New Zealand Francesco Bullo University of California at Santa Barbara, Friday, July 12 USA Organizing Committee 8:00 AM - 4:30 PM Ricardo Carretero Tryphon Georgiou San Diego State University, USA University of Minnesota, USA Diego Dominici Qi Gong State University of New York at New Paltz, University of California at Santa Cruz, USA Conference Location USA Daniel Hernández - Hernández Technical sessions for both conferences will Omar Ghattas Centro de Investigación en Matemáticas, be held at the Town and Country Resort & University of Texas, Austin, USA A.C. (CIMAT), Mexico Convention Center. John Guckenheimer Naira Hovakimyan Town and Country Resort & Convention Cornell University, USA University of Illinois at Urbana-Champaign, Center 500 Hotel Circle North Christopher R. Johnson USA University of Utah, USA Matthew James San Diego, California 92108 Chandrika Kamath Australian National University, Australia Phone Number: +1-619-291-7131 Lawrence Livermore National Laboratory, William M. McEneaney Toll Free Reservations: (800)-772-8527 USA University of California, San Diego, USA (USA and Canada) (AN13 liaison) Hiroshi Kokubu Fax: +1-619-294-4681 Kyoto University, Japan Bozenna Pasik-Duncan Hotel Website: http://www.towncountry.com/ Kerry Landman University of Kansas, USA The University of Melbourne, Australia 2013 SIAM Annual Meeting • SIAM Conference on Control & Its Applications 3 Hotel Telephone Number IBM Corporation Leading the applied IDA Center for Communications Research, To reach an attendee or to leave a message, mathematics La Jolla call +1-619-291-7131. The hotel operator community . can either connect you with the SIAM IDA Center for Communications Research, Princeton registration desk or to the attendee’s room. Join SIAM and save! General Information Messages taken at the SIAM registration Institute for Defense Analyses, Center for SIAM members save $130 on full desk will be posted to the message board Computing Sciences registration for the 2013 SIAM Annual located in the registration area. Lawrence Berkeley National Laboratory Meeting and SIAM Conference on Control and Its Applications! Join your peers Lockheed Martin in supporting the premier professional Mathematical Sciences Research Institute society for applied mathematicians and Check-in and Check-out Max-Planck-Institute for Dynamics of computational scientists. SIAM members Times for the Town and Complex Technical Systems receive subscriptions to SIAM Review, SIAM Country News, and Unwrapped, and enjoy substantial Mentor Graphics discounts on SIAM books, journal Check-in time is 3:00 PM. The MITRE Corporation subscriptions, and conference registrations. Check-out time is 11:00 PM. National Institute of Standards and Technology (NIST) If you are not a SIAM member and paid the National Security Agency (DIRNSA) Non-Member or Non-Member Childcare Naval Surface Warfare Center, Dahlgren Mini Speaker/Organizer rate to attend the For local childcare information, please Division conference, you can apply the difference contact the concierge at the Town and between what you paid and what a member Country Resort & Convention Center at NEC Laboratories America, Inc. would have paid ($130 for a Non-Member +1-619-291-7131. Oak Ridge National Laboratory, managed by and $65 for a Non-Member Mini Speaker/ UT-Battelle for the Department of Energy Organizer) towards a SIAM membership. PETROLEO BRASILEIRO S.A. – Contact SIAM Customer Service for details SIAM Corporate Members PETROBRAS or join at the conference registration desk. & Sponsors Philips Research SIAM corporate members provide their Sandia National Laboratories If you’ve already paid the Non-Member employees with knowledge about, access registration fee for the conference, we’ll to, and contacts in the applied mathematics Schlumberger-Doll Research deduct the $130 member discount from your and computational sciences community Tech X Corporation dues – join for 18 months of membership through their membership benefits. Corporate Texas Instruments Incorporated through 2014 for $78, or join for the rest of membership is more than just a bundle 2013 for just $9. of tangible products and services; it is an U.S. Army Corps of Engineers, Engineer expression of support for SIAM and its Research and Development Center programs. SIAM is pleased to acknowledge United States Department of Energy If you’ve already paid the Non-Member its corporate members and sponsors. In Mini Speaker/Organizer registration fee recognition of their support, non-member for the conference, we’ll deduct the $65 attendees who are employed by the following List current May 2013. member discount from your dues – join for organizations are entitled to the SIAM 18 months of membership through 2014 for member registration rate. Funding Agency $143, or join for the rest of 2013 for just SIAM and the Conference Organizing $74. Committee wish to extend their thanks and appreciation to the U.S. National Science Corporate/Institutional Free Student Memberships are available to Foundation. The U.S. National Science students who attend an institution that is an Members Foundation supports the SIAM Conference Academic Member of SIAM www.siam.org/ The Aerospace Corporation on Control and Its Applications and the membership/acadlist.htm, are members of Workshop Celebrating Diversity (WCD). Air Force Office of Scientific Research Student Chapters of SIAM, or are nominated Both events are being held in conjunction AT&T Laboratories - Research by a Regular Member of SIAM. with the 2013 SIAM Annual Meeting. Bechtel Marine Propulsion Laboratory The Boeing Company Join onsite at the registration desk, go to CEA/DAM www.siam.org/joinsiam to join online or download an application form, or contact DSTO- Defence Science and Technology SIAM Customer Service Organisation Hewlett-Packard 4 2013 SIAM Annual Meeting • SIAM
Load more

Recommended publications
  • Arxiv:1510.00844V3 [Cs.DC] 16 Nov 2016 Splitting (As Opposed to Replicating) Input Submatrices Across Processor Layers
    EXPLOITING MULTIPLE LEVELS OF PARALLELISM IN SPARSE MATRIX-MATRIX MULTIPLICATION ARIFUL AZAD∗, GREY BALLARDy , AYDIN BULUC¸ z , JAMES DEMMELx , LAURA GRIGORI{, ODED SCHWARTZk, SIVAN TOLEDO∗∗, AND SAMUEL WILLIAMSyy Abstract. Sparse matrix-matrix multiplication (or SpGEMM) is a key primitive for many high-performance graph algorithms as well as for some linear solvers, such as algebraic multigrid. The scaling of existing parallel implementations of SpGEMM is heavily bound by communication. Even though 3D (or 2.5D) algorithms have been proposed and theoretically analyzed in the flat MPI model on Erd}os-R´enyi matrices, those algorithms had not been implemented in practice and their complexities had not been analyzed for the general case. In this work, we present the first implementation of the 3D SpGEMM formulation that exploits multiple (intra-node and inter-node) levels of parallelism, achieving significant speedups over the state-of-the-art publicly available codes at all levels of concurrencies. We extensively evaluate our implementation and identify bottlenecks that should be subject to further research. Key words. Parallel computing, numerical linear algebra, sparse matrix-matrix multiplication, 2.5D algorithms, 3D algorithms, multithreading, SpGEMM, 2D decomposition, graph algorithms. AMS subject classifications. 05C50, 05C85, 65F50, 68W10 1. Introduction. Multiplication of two sparse matrices (SpGEMM) is a key operation for high-performance graph computations in the language of linear alge- bra [31, 40]. Examples include graph contraction [25], betweenness centrality [13], Markov clustering [47], peer pressure clustering [43], triangle counting [4], and cycle detection [49]. SpGEMM is also used in scientific computing. For instance, it is often a performance bottleneck for Algebraic Multigrid (AMG), where it is used in the set- up phase for restricting and interpolating matrices [7].
    [Show full text]
  • NEWSLETTER Issue: 491 - November 2020
    i “NLMS_491” — 2020/10/28 — 11:56 — page 1 — #1 i i i NEWSLETTER Issue: 491 - November 2020 COXETER THE ROYAL INSTITUTION FRIEZES AND PROBABILIST’S CHRISTMAS GEOMETRY URN LECTURER i i i i i “NLMS_491” — 2020/10/28 — 11:56 — page 2 — #2 i i i EDITOR-IN-CHIEF COPYRIGHT NOTICE Eleanor Lingham (Sheeld Hallam University) News items and notices in the Newsletter may [email protected] be freely used elsewhere unless otherwise stated, although attribution is requested when reproducing whole articles. Contributions to EDITORIAL BOARD the Newsletter are made under a non-exclusive June Barrow-Green (Open University) licence; please contact the author or David Chillingworth (University of Southampton) photographer for the rights to reproduce. Jessica Enright (University of Glasgow) The LMS cannot accept responsibility for the Jonathan Fraser (University of St Andrews) accuracy of information in the Newsletter. Views Jelena Grbic´ (University of Southampton) expressed do not necessarily represent the Cathy Hobbs (UWE) views or policy of the Editorial Team or London Christopher Hollings (Oxford) Mathematical Society. Stephen Huggett Adam Johansen (University of Warwick) ISSN: 2516-3841 (Print) Susan Oakes (London Mathematical Society) ISSN: 2516-385X (Online) Andrew Wade (Durham University) DOI: 10.1112/NLMS Mike Whittaker (University of Glasgow) Early Career Content Editor: Jelena Grbic´ NEWSLETTER WEBSITE News Editor: Susan Oakes Reviews Editor: Christopher Hollings The Newsletter is freely available electronically at lms.ac.uk/publications/lms-newsletter. CORRESPONDENTS AND STAFF MEMBERSHIP LMS/EMS Correspondent: David Chillingworth Joining the LMS is a straightforward process. For Policy Digest: John Johnston membership details see lms.ac.uk/membership.
    [Show full text]
  • Newsletter · Thursday 18Th
    KEEP UPDATED NEWSLETTER · THURSDAY 18TH ICIAM'S JOURNEY Like its predecessors, a congress such as ICIAM 2019 would have never been countries like South Africa. ICIAM possible without the organization and supervision of the International Council has the ability to promote for Industrial and Applied Mathematics (ICIAM), a formal entity created in 1990 mathematics all over the world". to supervise these quadrennial meetings. From Paris 1987 to Valencia 2019 many things have changed, and not just in the field of Industrial and Applied The current and future presidents Mathematics. of the Council agree in that ICIAM 2019 in Valencia has been an The original societies that founded ICIAM (GAMM, IMA, SIAM, and SMAI) are absolute success. "In my opinion now surrounded by many other members from around the world and the everything has worked very well Council has expanded its activities significantly since 2004. despite the huge number of participants", says Esteban. "The The Council is responsible for choosing the venue and the 27 invited speakers, conferences are of high quality and which are chosen with a diverse criteria, not only mathematically and in general, especially in the main geographicall, but also with respect to academic vs. industrial work, gender or conferences —invited and prizes— type of academic institution. Furthermore, it is also responsible for overseeing the lecturers have made a real the selection of the five ICIAM prizes —Collatz, Lagrange, Maxwell, Su Buchin, Ya-Xiang Yuan recalls attending ICIAM in effort to present their results in a and Pioneer— awarded every congress. its 1995 edition in Hamburg. "We were comprehensible and pleasant way only 20 Chinese and now we're like 300, for a great variety of participants as well as create a database with all so the same thing can happen to working in very diverse areas ".
    [Show full text]
  • Mathematical Finance SIAM Books General and Recreational Maths
    Mathematics Pure Mathematics Applied Mathematics Statistics and Probability Mathematical Finance SIAM books General and Recreational Maths www.cambridge.org/mathematics 2007 Contents Highlights – SIAM Books Analysis and Probability 1 Cambridge University Press is delighted to announce Discrete Mathematics and a new arrangement with the Society of Industrial Foundations 2 and Applied Mathematics (SIAM), which means that Geometry and Topology 3 outside North America, and some parts of Asia, SIAM books will be available directly from Cambridge Algebra and Number Theory 6 University Press. If you are unsure what this means Computational Science 8 for you, please contact your local Cambridge office Dynamical Systems, Mechanics (details of these can be found on the inside back cover and Modelling 9 of this catalogue) or bookseller. Mathematical Physics and Biology 11 This catalogue contains only a selection of these Statistics, Applied Probability and books. However, you can browse all the SIAM titles Optimization 13 currently available from Cambridge (with many more Mathematical Finance 16 to come!) by visiting our web page: Classics in Mathematical Finance 17 www.cambridge.org/siam Computer Science 18 Cambridge University Press is also pleased to offer the SIAM Books 20 30% Members’ Discount on SIAM books. General and Recreational Maths 23 SIAM membership details can be obtained from www.siam.org/membership/ Author and Title Index 25 www.cambridge.org/mathematics This catalogue contains a selection of our most recent publishing in this area. Please visit our website for a full and searchable listing of all our titles in print and also an extensive range of news, features and resources.
    [Show full text]
  • AN13 and CT13 Abstracts
    AN13 and CT13 Abstracts Abstracts are printed as submitted by the authors. Society for Industrial and Applied Mathematics 3600 Market Street, 6th Floor Philadelphia, PA 19104-2688 USA Telephone: +1-215-382-9800 Fax: +1-215-386-7999 Conference E-mail: [email protected] Conference web: www.siam.org/meetings/ Membership and Customer Service: 800-447-7426 (US & Canada) or +1-215-382-9800 (worldwide) 2 2013 SIAM Annual Meeting • SIAM Conference on Control & Its Applications Table of Contents Annual Meeting (AN13) Abstracts ...............................................3 Control & Its Applications (CT13) .............................................127 SIAM Presents Since 2008, SIAM has recorded many Invited Lectures, Prize Lectures, and selected Minisymposia from various conferences. These are available by visiting SIAM Presents (http://www.siam.org/meetings/presents.php). 2013 SIAM Annual Meeting • SIAM Conference on Control & Its Applications 3 AN13 Abstracts 4 AN13 Abstracts IC1 system including cars, buses, pedestrians, ants and molecu- Social Networks as Information Filters lar motors, which are considered as ”self-driven particles”. We recently call this interdisciplinary research on jamming Social networks, especially online social networks, are of self-driven particles as ”jamology”. This is based on driven by information sharing. But just how much informa- mathematical physics, and and includes engineering appli- tion sharing is influenced by social networks? A large-scale cations as well. In the talk, starting from the backgroud experiment measured the effect of the social network on the of this research, simple mathematical models, such as the quantity and diversity of information being shared within asymmetric simple exclusion process and the Burgers equa- Facebook. While strong ties were found to be individu- tion, are introduced as basis of all kinds of traffic flow.
    [Show full text]
  • Download SC18 Final Program
    Program November 11-16, 2018 The International Conference Exhibits November 12-15, 2018 for High Performance KAY BAILEY HUTCHISON CONVENTION CENTER Computing, Networking, DALLAS, TEXAS, USA Storage, and Analysis Sponsored by: MICHAEL S. RAWLINGS Mayor of Dallas November 11, 2018 Supercomputing – SC18 Conference: As Mayor of Dallas, it is my pleasure to welcome SC18 – the ultimate international conference for high performance computing, networking, storage, and analysis – to the Kay Bailey Hutchison Convention Center! I applaud SC18 for bringing together high-performance computing (HPC) professionals and students from across the globe to share ideas, attend and participate in technical presentations, papers and workshops, all while inspiring the next generation of HPC professionals. Dallas is the No. 1 visitor destination in Texas and one of the top cities in the nation for meetings and conventions. In addition to having the resources to host major events and conventions, Dallas is a greatly diverse American city and a melting pot of cultures. This important convergence of uniqueness and differences is reflected throughout the sights and sounds of our city. Dallas' authentic arts, music, food, historic landmarks and urban lifestyle all contribute to the city's rich cultural makeup. Let the bold, vibrant spirit of Dallas, with a touch of Texas charm, guide the way to your BIG Dallas moments. Our city is filled with the unique experiences one can only have in Dallas – from cuisine by celebrity chefs, to the cultural landscape in one of the nation’s largest arts districts, to first-class shopping - make the most of your time in our great city! From transportation to hotels, restaurants, retail and entertainment venues, Dallas is ready to roll out our red carpet to host SC18.
    [Show full text]
  • Guannan Zhang's CV
    Guannan Zhang, Ph.D. Senior Research Staff Joint-Faculty Professor Computer Science and Mathematics Division Department of Mathematics and Statistics Oak Ridge National Laboratory Auburn University Oak Ridge, TN 37831-6211 Auburn, AL 36849 Tel: (865) 241-4503, Fax: (865) 241-0381 Email: [email protected] Email: [email protected] Education 2009 – 2012 Ph.D. in Computational Science, Florida State University, Tallahassee, Florida Thesis advisor: Prof. Max D. Gunzburger 2009 – 2011 M.S. in Computational Science, Florida State University, Tallahassee, Florida Thesis advisor: Prof. Max D. Gunzburger 2007 – 2009 M.S. in Mathematics, Shandong University, Jinan, Shandong, China Thesis advisors: Prof. Weidong Zhao and Prof. Shige Peng 2003 – 2007 B.S. in Mathematics, Shandong University, Jinan, Shandong, China Professional experience 2020 – Senior Research Staff, Computer Science and Mathematics Division, Oak Ridge National Labo- ratory, Oak Ridge, Tennessee 2015 – 2020 Research Staff, Computer Science and Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, Tennessee 2012 – 2015 Research Associate, Computer Science and Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, Tennessee 2012 – 2014 Distinguished Staff Fellow (Householder Fellow), Computer Science and Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, Tennessee 2014 – Joint-Faculty Professor, Department of Mathematics and Statistics, Auburn University, Auburn, Alabama Research interests High-dimensional function approximation Uncertainty quantification and related applications Scientific machine learning and artificial intelligence Stochastic differential equations and stochastic optimization Numerical solution of parameterized differential equations 1/9 Grants & constracts Current funding support 2019 – 2021 DOE - Advanced Scientific Computing Research, A Stochastic Optimal Control Framework For Quantifying And Reducing Uncertainties In Deep Learning: $800,000, Principal Investigator.
    [Show full text]
  • Plenary Speakers
    FoCM95 Park City: Plenary speakers: WEEK 1 Marie-Francoise Roy, Universite de Rennes Shmuel Winograd, IBM Dima Y. Grigoriev, Pennsylvania State University Richard S. Varga, Kent State University Steve Smale, University of California, Berkeley John CannyUniversity of California, Berkeley Felipe Cucker, Universitat Pampeu Fabra, Spain Victor Pan, Herbert H. Lehman College, CUNY Michael Shub, IBM Roger Brockett, Harvard University WEEK 2 Henryk Wozniakowski, University of Warsaw David Donoho, University of California, Berkeley and Columbia University Yosef Yomdin, Weizmann Institute of Science, Israel Margaret H. Wright, AT&T Bell Laboratories N. Karmarker, AT&T Bell Laboratories Manuel Blum, University of California, Berkeley Roger Temam, Indiana University Arkadi Nemirovski, Israel Institute of Technology Hubertus Th.Jongen, Reinisch-Westf Tech Hochschule James M. Renegar, Cornell University WEEK 3 Herb Keller, California Institute of Technology Gene H. Golub, Stanford University Alexandre J. Chorin, University of California, Berkeley T. Y. Li, Michigan State University James Yorke, University of Maryland Lenore Blum, MSRI Eugene L. Allgower, Colorado State University Arieh Iserles, University of Cambridge, UK James W. Demmel, University of California, Berkeley W. Dahmen, Reinisch-Westf Tech Hochschule WEEK 4 Ronald A. DeVore, University of South Carolina, Columbia Ulrich Kulisch, University of Karlsruhe Victor A. V. Vassiliev, Institute for System Studies, Moscow Jacques Louis Lions, College de France Henryk Wozniakowski, University of
    [Show full text]
  • Grey Ballard [email protected] PO Box 7311 • Computer Science Department • Wake Forest University • Winston Salem, NC 27106
    Grey Ballard [email protected] www.wfu.edu/~ballard PO Box 7311 • Computer Science Department • Wake Forest University • Winston Salem, NC 27106 Professional Assistant Professor 2016 { present Wake Forest University Department of Computer Science, Winston Salem NC Harry S. Truman Postdoctoral Fellow 2013 { 2016 Sandia National Laboratories, Livermore CA Education Ph.D. in Computer Science Fall 2008 { Spring 2013 University of California Berkeley, with a Designated Emphasis in Computational Science and Engineering Advisor: James Demmel, Thesis: Avoiding Communication in Dense Linear Algebra M.A. in Mathematics Fall 2006 { Spring 2008 Wake Forest University, Advisor: John Baxley B.S. in Mathematics and Computer Science Fall 2002 { Spring 2006 Wake Forest University, summa cum laude with honors in mathematics and honors in computer science Honors and Awards WFU Award for Excellence in Research 2021 Awarded to early-career faculty member for significant research, creative activity, or scholarly activity NSF CAREER Award 2020-2024 National Science Foundation Faculty Early Career Development Program Dunn-Riley Faculty Fellowship 2020-2022 Wake Forest Faculty Fellowship Program ACM Senior Member 2021 Recognizes those ACM members with at least 10 years of professional experience who have demonstrated performance through technical leadership, and technical or professional contributions ICDM Best Paper Award 2015 Awarded by the program committee, with coauthors Tamara Kolda, Ali Pinar, and C. Seshadri ACM Doctoral Dissertation Award - Honorable Mention
    [Show full text]
  • David Samuel Bindel Research Interests Education Professional
    David Samuel Bindel Associate Professor of Computer Science http://www.cs.cornell.edu/~bindel/cv/cv.pdf Department of Computer Science [email protected] Cornell University www.cs.cornell.edu/~bindel Ithaca, NY 14853 Office: 607-255-5395 Research interests • Applied numerical linear algebra • Scientific computing • High-performance computing • Spectral network analysis methods • Optimization via surrogate models • Finite element analysis • Computational tools for electrical power grids • Simulation tools for micro-electro-mechanical systems (MEMS) Education May 1999 B.S. in Mathematics and in Computer Science, University of Maryland, College Park December 2006 Ph.D. in Computer Science, University of California, Berkeley Advisors: James Demmel (Computer Science Division and Department of Mathematics) Sanjay Govindjee (Department of Civil Engineering) Dissertation title: Structured and Parameter-Dependent Eigensolvers for Simulation-Based Design of Resonant MEMS Professional Experience Summer 2017-present. Associate Professor, Department of Computer Science, Cornell University Spring 2019. Visiting Scholar, Department of Statistics, University of Chicago Fall 2018. Faculty Research Participant, Argonne National Laboratory Summer 2009-Summer 2017. Assistant Professor, Department of Computer Science, Cornell University Fall 2006-Summer 2009. Courant Instructor of Mathematics, New York University Fall 1999-Summer 2006. Graduate Student Researcher, CS Division, UC Berkeley Fall 2005 and Spring 2001. Graduate Student Instructor, CS Division, UC Berkeley 1 Awards 2020 James and Mary Tien Excellence in Teaching Award Highest award for teaching in Cornell's College of Engineering. 2019 KDD Best Research Paper Award 2018 Cornell COE Research Excellence Award Awarded annually to two Cornell engineering professors at each level. 2018 ASPLOS Most Influential Paper Award 2018 Recognizes a historical ASPLOS paper that has had major influence on the field.
    [Show full text]
  • Nil Ib N O Ir Ali Mi S Na El Oo B Ilp Itl
    ecneicS retupmoC retupmoC ecneicS ecneicS - o t- o l t aA l aA DD DD 9 9 / / OOnn BBiilliinneeaarr TTeecchhnniiqquueess ffoorr 0202 0202 a p pa p r p a r K a K ii t t t aM t aM SSiimmiillaarriittyy SSeeaarrcchh aanndd BBoooolleeaann MMaattrriixx M ultiplication Multiplication MMaatttit iK Kaarprpppaa noi taci lpi t luM xi r taM naelooB dna hcraeS yt i ral imiS rof seuqinhceT raeni l iB nO noi taci lpi t luM xi r taM naelooB dna hcraeS yt i ral imiS rof seuqinhceT raeni l iB nO BBUUSSININESESS + + ECECOONNOOMMY Y NSI I NBS NBS 879 - 879 - 259 - 259 - 06 - 06 - 5198 - 5198 7 - 7 ( p ( r p i n r t i n t de ) de ) AARRT T+ + NSI I NBS NBS 879 - 879 - 259 - 259 - 06 - 06 - 6198 - 6198 4 - 4 ( ( dp f dp ) f ) DDESESIGIGNN + + NSI I NSS NSS 9971 - 9971 - 4394 4394 ( p ( r p i n r t i n t de ) de ) AARRCCHHITIETCECTUTURRE E NSI I NSS NSS 9971 - 9971 - 2494 2494 ( ( dp f dp ) f ) SSCCIEINENCCE E+ + TETCECHHNNOOLOLOGGY Y tirvn tlaA ot laA ot isrevinU yt isrevinU yt CCRROOSSSOOVEVRE R ceic fo o oohcS f l cS o oohcS i f l cS i ecne ecne DDOOCCTOTORRAAL L ecneicS retupmoC retupmoC ecneicS ecneicS DDISISSERERTATTAITOIONNS S DDOOCCTOTORRAAL L +hfbjia*GMFTSH9 +hfbjia*GMFTSH9 fi.otlaa.www . www a . a a l a t o l t . o fi . fi DDISISSERERTATTAITOIONNS S ot laA ytot laA isrevinU yt isrevinU 0202 0202 Aalto University publication series DOCTORAL DISSERTATIONS 9/2020 On Bilinear Techniques for Similarity Search and Boolean Matrix Multiplication Matti Karppa A doctoral dissertation completed for the degree of Doctor of Science (Technology) to be defended, with the permission of the Aalto University School of Science, at a public examination held at the lecture hall T2 of the school on 24 January 2020 at 12.
    [Show full text]
  • PUBLICATIONS of MAX GUNZBURGER Books
    PUBLICATIONS OF MAX GUNZBURGER Books 1. Finite Element Methods for Viscous Incompressible Flows: A Guide to Theory, Practice and Algorithms; Academic, Boston, 1989. 2. Perspectives in Flow Control and Optimization; SIAM, Philadelphia, 2003. 3. Least Squares Finite Element Methods; Springer, Berlin, 2009; with P. Bochev. 4. An Algorithmic Introduction to Numerical Methods for Uncertainty Quantification for PDEs with Random Inputs; to be published by Springer, Berlin, 2016; with C. Webster. Edited books 5. Incompressible Computational Fluid Dynamics: Trends and Advances; Cambridge, Cambridge, 1993; with R. Nico- laides. 6. Optimal Control and Design; Birkha¨user, Boston, 1995; with J. Borggaard, J. Burkardt, and J. Peterson. 7. Flow Control; Springer, New York, 1995. Journal articles 1. Diffraction of shock waves by a moving thin wing; J. Fluid Mech 42, 1970, 585-608; with L. Ting. 2. Motion of decaying vortex rings with non-similar vorticity distributions; J. Engrg. Math. 6, 1972, 53-61. 3. Antisymmetric problems in shock diffraction theory; Z. Angew. Math. Phys. 24, 1973, 83-104; with V. Yang. 4. Long time behavior of a decaying vortex; Z. Angew. Math. Mech. 53, 1973, 751-760. 5. Mathematical formulation for the propagation of sound through a turbulent jet; J. Engrg. Math. 10, 1976, 219-230; with C. Liu, L. Maestrello, and L. Ting. 6. Frequency modulation at a moving material interface and a conservation law for wave number; J. Sound Vib. 48, 1976, 169-178; with G. Kleinstein. 7. On the mathematical conditions for the existence of periodic fluctuations in nonuniform media; J. Sound Vib. 48, 1976, 345-357; with G.
    [Show full text]