Safe, Productive & Performant: Who Doesn't Want it All?

Wednesday, May 25, 2016
4:20-5:20 pm
UW2 005

Andrew Pardoe
Program Manager, Visual C++ Team, Microsoft
 

 

 

 

Abstract

Managed languages—C#, Java, even scripting languages like JavaScript or Python—are fantastic because there’s an intermediary runtime that can do the dirty work for you. Having higher-level abstractions, rich metadata about the code, and the ability to modify your execution at runtime means you can build incredible developer tools for your language. And most managed languages offer some guarantee of safety, be it type and memory safety (such as C# or Java) or a strong sandboxing model (such as JavaScript or Python) or both.

But that convenience can come with a significant cost. C++ is built as a “zero cost abstraction” language. The high-level abstractions in C++ (such as template metaprogramming, or new features like concepts) must be able to be compiled down to code that executes just as fast as it would in a low-abstraction language such as C.

You can’t make a managed language as fast as C++. Or at least very smart people have tried and failed—this talk will cover some of those efforts at Microsoft. But can you make C++ safe and productive without giving up its performance?

About Andrew Pardoe

Andrew Pardoe has been working in Visual Studio for about 14 years. He started with the C++ team testing the Itanium optimizer and then moved over to the CLR (C# runtime) team to become a PM. After 7 years working on the C# runtime he went to work for an experimental OS group in the Windows organization. In the past year he has moved back to the C++ team where he is responsible for the front-end parser and code analysis.

Emerging Trends in Cyber Security and Pervasive Computing

Wednesday, April 27, 2016
5:45-6:45 pm
DISC 162

See student bios below

 

 

 

Abstract

UWB Students discuss their experiences at the RSA Security Conference (http://www.rsaconference.com/events/us16) and the IEEE Pervasive Computing Conference (http://www.percom.org/Previous/ST2016/).

About the Students

RSA
Rahul Bapat

Rahul is a second year graduate student in the Cyber Security Engineering Program and a research assistant working under Prof. Brent Lagesse. His research interests include Machine Learning, Risk Analysis and Intrusion Detection Systems(IoT). After graduation, Rahul aims to find a spot in the field of  cyber security as a risk analyst.

Chris Lakin

After six years in Marketing, Chris decided to make a career change and earn a Masters in Cyber Security Engineering. On campus, he is Vice-President of OWASP and Vice-President of Whiteboard Programming. Chris's interests include Behavioral Analytics, the Internet of Things, Medical Devices, and Electronic Health Records. After graduation, he hopes to find a career in the Medical Industry and eventually tap into his entrepreneurial roots by starting his own Cyber Security company. 

Skip Lester

Skip is a senior CSSE and Math double major interning at F5 Networks, where he writes tests for clustering software. His research interests include fully homomorphic encryption and ideal  lattice based crypto. After F5, Skip aims to find a role in computer security such as security engineer.

IEEE Percom
Cody Burkard

Cody is a first year graduate student in the cyber security engineering program. He is currently the student President and local chapter lead of OWASP, as well as a research assistant with Professor Lagesse. Cody's research interests are very broad, and include security of machine learning algorithms in adversarial settings, security of pervasive systems, and critical infrastructure security. Upon graduation Cody plans on working as a penetration tester.

Julio Perez

Julio is a senior in the CSSE major. He is a member of OWASP and the gray hats. His research interests include IoT machine learning and security. After he graduates he will be working on web and embedded system development at VoiceBox Technologies.

Architecture, Programming and Performance of the First Personal Supercomputer Intel Xeon Phi

Thursday, April 14, 2016
1:30-3:00 pm
UW2-141

Janusz Kowalik
Visiting Professor, University of Gdansk

 

 

 

Abstract

Dr. Kowalik will introduce the MIC (Many Integrated Core) technology by discussing the programming and software development issues for the coprocessor Phi. He will also compare the MIC coprocessor and GPU accelerators. His research topic is calculating the speedup of parallel software for scientific and engineering applications and the upper bound of speedup improvement. How much can we gain from parallelism?

About Janusz Kowalik

After Dr. Kowalik’s undergraduate and graduate studies at the University of Technology in Gdansk, Poland, he went on to get a Ph.D. from the Polish Academy of Science in Warsaw, Poland. His professional positions include: postdoctoral study at the University of Technology, Trondheim, Norway; being a Research Fellow at the Australian National University in Canberra, Australia; manager of computing technology at the Boeing Company; Professor of mathematics and computer science at Washington State University; and a visiting professor of informatics and the University of Gdansk, Poland. His technical competence include high performance computing, computational mathematics, scientific and engineering computer applications, parallel programming and algorithms.

How to Analyze RNA-Sequencing Data

Thursday, March 3, 2016
11:00 -12:30 am
UWBB 240

Sangsoon Woo
Statistical Geneticist, Axio Research

 

 

 

Abstract

Through recent developments in technology, we can now sequence DNA, RNA, exom regions and whole genome. Dr. Woo will be demonstrating how RNA sequencing data is analyzed using bioinformatics tools after the alignment.

About Sansoon Woo

Sangsoon Woo received a Ph.D. in Biostatistics from the University of Washington. Following that, she worked at the Fred Hutchinson Cancer Research Center as a postdoctoral fellow. During this time she worked on high/low-throughput data analyses with statistical methods and bioinformatics tools. Currently she works at Axio Research as a Statistical Geneticist.

Intelligent Informatics Through Heterogeneous Network Convergence

Wednesday, March 2, 2016
5:45-6:45 pm
DISC 062

Hiroshi Mineno
Associate Professor, Shizuoka University

 

 

 

Abstract

Interactions with distributed intelligent informatics and engineering as well as computer science is key to develop next generation IoT system. The talk discusses general problems in developing smart ubiquitous sensor/actuator network systems, and thereafter presents how to make these systems intelligent through heterogeneous network convergence by using a high fidelity emulation environment.

About Hiroshi Mineno

Professor Hiroshi Mineno obtained a Ph.D. in Engineering from Kyushu University, worked at NTT Service Integration Research Laboratory, and joined Shizuoka University in 2002. At present he is conducting research and teaching at Graduate School of Science and Technology and Department of Computer Science at Shizuoka University as Associate Professor.

Scrum for Maximum Awesome

Friday, February 26, 2016
10:00 - 11:15 am
UW2 031

Joe Justice
Consultant, Scrum Inc.

 

 

 

Abstract

There are new pockets of innovation as Agile practices and Scrum move beyond software.  This presentation shows how Agile software techniques can be applied in multiple domains including physical engineering and manufacturing, and how using Scrum can limit dependencies and constraints associated with traditional project management.

About Joe Justice

Joe Justice is a consultant at Scrum Inc., a TEDx speaker, and coach for agile hardware and manufacturing teams around the world. He is the creator of the eXtreme Manufacturing method, and founder of Team WIKISPEED: an all Scrum volunteer based green automotive-prototyping company, with a goal to change the world for the better. Joe has been featured in Forbes, CNN Money, the Discovery Channel, and others. Joe consults and coaches teams and companies on implementing Scrum at all levels of their organization, in software and physical manufacturing. 

Joe founded Team WIKISPEED in 2006, and with the distributed, collaborative, volunteer team tied for 10th place in the Progressive Insurance Automotive X Prize and in the process formalized eXtreme Manufacturing, a process adapting the fastest moving methods of fast moving software startups to non-software development, testing, and manufacture. As a result, he is lucky enough to serve on the board of advisors for groups from aerospace engineering to manufacturing to education. Joe has spoken and/or launched teams at UC Berkley, Cambridge, Google, Microsoft, Boeing, Lockheed Martin, Raytheon, John Deere, and others; in Vietnam, India, China, Switzerland, Germany, France, Romania, the UK, Brazil, Canada, the United States, and others. Lucky for Joe, this is tremendously enjoyable and rewarding work, resulting in faster time to value in industries from medical devices to construction.

Preventing Errors Before They Happen

Monday, November 16, 2015
5:45-7:00pm
DISC 162

Michael Ernst
University of Washington

 

 

 

Abstract

Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors? Are your users tired of them in your code? This presentation shows you how to guarantee, at compile time, that these run-time exceptions cannot occur. You have nothing to lose but your bugs!

Formal verification is often considered an abstruse art:  it takes a lot of training to be able to formally verify a program, and it takes even more effort to create a formal verification system.  We show that these assumptions are no longer true.  Formal verification can be as natural to programmers as type-checking, and even novices can create their own type system to verify important properties of your code.

About Michael Ernst

Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington. Professor Ernst's research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Dr. Ernst's research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. He is an ACM Fellow (2014) and received the inaugural John Backus Award (2009) and the NSF CAREER Award (2002). His research has received an ACM SIGSOFT Impact Paper Award (2013), 8 ACM Distinguished Paper Awards (FSE 2014, ISSTA 2014, ESEC/FSE 2011, ISSTA 2009, ESEC/FSE 2007, ICSE 2007, ICSE 2004, ESEC/FSE 2003), an ECOOP 2011 Best Paper Award, honorable mention in the 2000 ACM doctoral dissertation competition, and other honors. In 2013, Microsoft Academic Search ranked Ernst #2 in the world, in software engineering research contributions over the past 10 years. Dr. Ernst was previously a tenured professor at MIT, and before that he was a researcher at Microsoft Research.

Practical Programming: The Skills and Mindset You Need to Succeed as a Real-World Programmer

Wednesday, October 7, 2015
6:30-7:30pm
DISC 061

Chip Anderson
StockCharts

 

 

 

Abstract

Chip will talk about his experience transitioning from a programmer to a consultant and then to a company president.  He’ll discuss the skills needed by software developers in order to survive in today’s job market.  He’ll also talk about the challenges he and his team face every day as they maintain and improve their website.  Finally, he will gladly take questions from the audience after his presentation.

About Chip Anderson

After graduating from the University of North Carolina at Chapel Hill, Chip Anderson join Microsoft in 1987 and worked as a Software Engineer on core parts of Windows 1, Windows 2 and Windows 3.0.  He then became one of Microsoft’s first traveling Consultants on the east coast, helping companies understand and adopt key parts of Microsoft’s development methodology.  In 1996, he returned to Redmond to help Microsoft with it’s Java technologies.  After the birth of his son, he left Microsoft and founded StockCharts.com in 1999.  Chip now serves as the president of StockCharts - a subscriber-based financial website that provides high-quality financial charts to online investors.  He has been a featured speaker at numerous conferences and events across North America and he hopes that one day he can drive to Seattle without stopping in traffic.