This Week's Stories:
1. We are excited to announce registration for UC Tech 2023: Resilient, Rising & Reinspired is now open!
As you know, putting together an innovative program with inspiring keynote speakers and a multitude of great sessions takes time to bring together. Our program has been carefully planned to center around our conference theme and tracks that offer something for everyone!
View the Program & Get Registered
View online conference program | Print the program
Register now - in-person attendance is limited so reserve your seat today!
Note: The link above is for general registration. If you are listed as the primary presenter for a session, a sponsor, workstream lead, UC Tech Ambassador, or a UC Tech Programming Committee member, please do not use the registration link above. Check your inbox for a dedicated link that will allow you to register according to your role.
Travel & Lodging
If you’ll be flying in for the conference, we recommend Oakland International Airport (OAK) for ease of transportation. The Residence Inn Berkeley and Hotel Shattuck Plaza are the two lodging options where we have reserved a discounted block of rooms for conference attendees. Be sure to use the dedicated links on the lodging page to book your rooms to get the discounted rate! Learn more: travel info | lodging options.
UC Tech Awards: Last Days, Nominations - deadline extended to May 8
The UC Tech Awards Program celebrates the achievements of UC employees in designing, implementing, or managing high-impact technology initiatives. The UC Information Technology Leadership Council sponsors the program each year and selects awardees based on the complexity, impact, and mission alignment of their work affecting digital transformation. The awards provide UC-wide recognition for technology efforts of strategic importance that advance the university’s mission of teaching, research, public service, and patient care; and/or improve the effectiveness of business operations. Nominate a colleague or apply by May 8 | Learn more about the awards
Stay Connected
There are several ways to stay informed or ask questions about UC Tech:
· Be sure to subscribe to the UC IT Blog where we will share announcements.
· Email questions to the UC Tech Programming Committee at uctech@berkeley.edu.
· Join the conversation on Slack #uctech-conference and/or #events.
2. BruinTech 2023 Spring Conference Community Speakers
Calling all BruinTech folk!
BruinTech invites you to be a part of the BruinTech 2023 Spring Conference! We are excited to offer community members an opportunity to showcase their expertise and passion for IT or UCLA-related topics. Each presenter will have 20-30 minutes to present on the topic of their choice.
Wednesday, May 24
1:00 PM - 2:00 PM (20-30 minute intervals)
Virtual Zoom conference
Other speakers for the conference will cover a broad range of topics, such as change management, design systems, and social media. The conference planning committee will select community speakers from respondents.
If you would like a chance to share your interests with a wider audience, please fill out this form. The deadline to apply is 5:00 PM on May 8.
For questions, please reach out to bruintech@ucla.edu.
3. Mark your calendars for BruinTech Spring Conference 2023!
Tuesday, May 23
10:30am - 12pm and 1-2:15pm
Wednesday, May 24
11am - 12pm and 1-2:15pm
Thursday, May 25
1pm - 4pm
Tuesday and Wednesday (May 23-24), will be held virtually, while Thursday (May 25), will be in-person.
Join us along with UCLA's IT Strategic Partners on May 25 for presentations, mingling, food and drinks -- the non-alcoholic kind! We're including a professional headshot photo! Keep an eye out for our official agenda announcement.
Take part in the in-person events on:
Thursday, May 25 1:00 - 4:00 pm
RSVP for the in-person mixer
4. CS Talks on UCLA campus
CS 201 | Verifying Array Programs Sans Loop Invariants
May 09, 2023, 4:15 pm - 5:45 pm, 3400 Boelter Hall, 420 Westwood Plaza Los Angeles California 90095
Speaker: Supratik Chakraborty
Affiliation: Indian Institute of Technology
ABSTRACT: We consider sequential programs with multiple loops, where the iteration count of each loop depends on a set of parameters. Examples of such programs include those that manipulate data structures of parametric sizes, or iteratively compute scalar functions of the parameters. Properties of such programs can often be expressed as parameterized Hoare triples, where the pre- and post-conditions depend on the parameters on which the loop iteration bounds depend. We present a technique called generalized full-program induction for reasoning about a large class of such programs, while bypassing the need for computing loop invariants for each loop. This approach effectively shifts the granularity of inductive reasoning from individual loops to the entire program comprised of possibly many loops. We have implemented this technique in two tools called Vajra and Diffy. Our experiments show significant performance improvements using full-program induction vis-a-vis other state-of-the-art techniques. Full-program induction is a key back-end engine in the tool VeriAbs that has been the winner in the ReachSafety category of SVCOMP (software verification competition) for the last few years.
BIO: Supratik Chakraborty is Bajaj Group Chair Professor in the Department of Computer Science and Engineering at IIT Bombay. His research interests include constrained sampling and counting, automated synthesis, formal verification, automata theory and logic. He is particularly interested in the development of scalable algorithmic techniques with strong guarantees for reasoning about different computational models. Supratik is a Distinguished Member of ACM and an elected Fellow of Indian National Academy of Engineering. Hosted by Professor George Varghese.
CS 201 | Breaking Language Barriers with Massive Multilingual Machine Translation
May 11, 2023, 4:15 pm - 5:45 pm, 3400 Boelter Hall, 420 Westwood Plaza Los Angeles California 90095
Speaker: Lei Li
Affiliation: UC Santa Barbara
ABSTRACT: Developing high-quality machine translation (MT) systems is crucial for cross-language communication. However, building massively multilingual MT systems is incredibly challenging, particularly for low-resource languages used by underserved communities. In this talk, I will introduce our group’s research, which addresses critical challenges in MT through three fundamental aspects: a) Learning optimal vocabulary, b) Learning high-quality unified models for massive languages, and c) Learning to align with human experts in evaluating translation quality. We have developed the LegoMT model that currently supports 440 languages — the most extensive language coverage. Our work has been deployed into VolcTrans and Huggingface. TikTok and Lark are using VolcTrans to serve their one billion users, significantly enhancing cross-cultural communication and entertainment. Finally, I will share my vision for advancing MT for 1000 languages.
BIO: Lei Li is an assistant professor in Computer Science Department at University of California Santa Barbara. He received Ph.D. from Carnegie Mellon University School of Computer Science. He is a recipient of ACL 2021 Best Paper Award, CCF Young Elite Award in 2019, CCF distinguished speaker in 2017, Wu Wen-tsün AI prize in 2017, and 2012 ACM SIGKDD dissertation award (runner-up). Previously, he founded ByteDance AI Lab in 2016 and led the research in NLP, ML, Robotics, and Drug Discovery. He launched ByteDance’s machine translation system VolcTrans and AI writing system Xiaomingbot. Hosted by Professor Kai-Wei Chang.
5. UCLA IT Job Listings
|
