Luke 1:26-38

²⁶ In the sixth month of Elizabeth’s pregnancy, God sent the angel Gabriel to Nazareth, a town in Galilee, ²⁷ to a virgin pledged to be married to a man named Joseph, a descendant of David. The virgin’s name was Mary. ²⁸ The angel went to her and said, “Greetings, you who are highly favored! The Lord is with you.” ²⁹ Mary was greatly troubled at his words and wondered what kind of greeting this might be. ³⁰ But the angel said to her, “Do not be afraid, Mary; you have found favor with God. ³¹ You will conceive and give birth to a son, and you are to call him Jesus. ³² He will be great and will be called the Son of the Most High. The Lord God will give him the throne of his father David, ³³ and he will reign over Jacob’s descendants forever; his kingdom will never end.” ³⁴ “How will this be,” Mary asked the angel, “since I am a virgin?” ³⁵ The angel answered, “The Holy Spirit will come on you, and the power of the Most High will overshadow you. So the holy one to be born will be called the Son of God. ³⁶ Even Elizabeth your relative is going to have a child in her old age, and she who was said to be unable to conceive is in her sixth month. ³⁷ For no word from God will ever fail.” ³⁸ “I am the Lord’s servant,” Mary answered. “May your word to me be fulfilled.” Then the angel left her.

Reflection:The Holy Spirit is powerful enough to make the impossible become possible. Mary never thought that an angel would appear to her in person much less being told that she would bear a child, our Savior. Facing something like this would have naturally caused doubt and great fear, but the comfort that Mary immediately received comes from the assurance of God’s work through the Spirit. How else could she have responded the way that she did? Truly what seems to be impossible comes to fruition by the power of the Holy Spirit.

Response:There are events that come into our lives that are powerful enough to cause us to stop in our tracks. They can alter the very course that we are currently living on. Whether good or bad, we can either run away from them or trust and believe in our God who is more powerful than any circumstance we might face. When we live for the Lord, sometimes what God requires of us seems impossible and very uncertain. But we have the powerful Holy Spirit alive in us, so we no longer are bound to negative reactions to what is ahead, and we are now freed and enabled to trust that God is in control and that He is able to accomplish what He desires through us. Let’s pray and ask God to help us simply come into humble and thankful agreement with His Word ways, and to respond to Him as Mary did, trusting that He is able to even accomplish the impossible.

QuadMania 2012 featuring Gym Class Heroes! Tickets go on sale this Wednesday for $15, then $18 for students afterward!

PS: We’re giving a free somethingsomething to the first 100 people in line!

Using Static Analysis to Diagnose
Misconfigured Open Source Systems Software

Ariel Rabkin, UC Berkeley

1:00pm Monday 5 March 2012, ITE 325b UMBC

Ten years ago, few software developers worked on distributed systems. Today, developers often run code on clusters, relying on large open-source software stacks to manage resources. These systems are challenging to configure and debug. Fortunately, developments in program analysis have given us new tools for managing the complexity of modern software. This talk will show how static analysis can help users configure their systems. I present a technique that builds an explicit table mapping a program's possible error messages to the options that might cause them. As a result, users can get immediate feedback on how to resolve configuration errors.

Ari Rabkin is a PhD student in Computer Science at UC Berkeley working in the AMP lab. His current research interest is the software engineering and administration challenges of big-data systems. He is particularly interested in applying program analysis techniques to tasks like log analysis and configuration debugging. His broader interests focus on systems and security, including improving system usability by making systems easier to understand, the connections between computer science research and technology policy, developing program analysis techniques that work acceptably well on large, complex, messy software systems.

Host: Anupam Joshi
See http://csee.umbc.edu/talks for more information

Self-sustainable Cyber-physical System Design

Dr. Nilanjan Banerjee
University of Arkansas Fayetteville

1:00pm Tuesday 13 March 2012, ITE 325b UMBC

Renewable energy can enable diverse self-sustainable cyber-physical systems with applications ranging from healthcare to off-grid home energy management. However, there are several challenges that need to be addressed before such systems can be realized. For instance, how do we balance the small and often variable energy budgets imposed by renewables with system functionality? How can we design sensitive physical sensors and efficient harvesting circuits for mW energy sources such as sound and indoor light? For systems such as off-grid homes that interact with humans, how do we balance demand and supply while being cognizant to usability needs?

In this talk, I will present techniques that address these challenges. Specifically, I will propose a Hierarchical Power Management paradigm that combines platforms with varied energy needs to balance energy consumption and functionality, the design of an efficient harvester for sound scavenging, and sensitive ECG sensors. I will also present a measurement study that reveals the energy management challenges faced by off-grid home residents. Finally, I will conclude with the design of a solar replayer platform that allows immense flexibility in evaluating solar panel driven systems, and works for a wide range of panels.

Nilanjan Banerjee is an Assistant Professor in the department of Computer Science and Computer Engineering at University of Arkansas Fayetteville. He graduated with a M.S. and a Ph.D. from the University of Massachusetts at Amherst in 2009 and a BTech. (Hons.) from IIT Kharagpur in 2004. He has won the Yahoo! Outstanding dissertation award at UMass, a best undergraduate thesis award at IIT Kharagpur, and an Outstanding Researcher award at University of Arkansas. He is a 2011 NSF Career awardee and has won three other NSF awards (including the NSF I-Corp grant). His research interests span renewable energy driven systems, healthcare systems, and mobile systems.

Host: Anupam Joshi
See http://csee.umbc.edu/talks for more information