The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
Yoav Etsion, Dan Tsafrir, Scott Kirkpatrick, Dror ...
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
Di Wu, Qi Li, Mei He, Barry W. Boehm, Ye Yang, Sup...
My research examines the practical and social impact of technology on the urban homeless. To accomplish this, I have conducted interviews with the homeless to understand how techn...
Creativity, collaboration, and cultural understanding are becoming increasingly important in our workplace and society. As educators, we are therefore challenged to create new opp...