News, Projects, and Demos

• Trust and author reputation on the Wikipedia. We color the text of Wikipedia articles according to a computed value of trust. The trust value of each word of a Wikipedia article is computed as a function of the reputation of the original author, as well as the reputation of all authors who subsequently revised the text.
• Direct: directed testing of real-time software, a joint project with Rupak Majumdar of UCLA, with support from the National Science Foundation.
• Ticc: A Tool for Interface Compatibility and Composition. Ticc is a tool for the prototyping and verification of distributed designs.

Research Interests

Applications:	Reputation systems, collaboration on the web and beyond, e-commerce.
System design:	Embedded software design, formal methods for system design.
System verification:	Discrete, real-time, embedded, and probabilistic systems.
Foundations:	Game theory, concurrency theory, automata theory.

Recent Work

• K. Chatterjee, L. de Alfaro, I. Pye. Robust Content-Driven Reputation. Technical Report UCSC-SOE-08-09, School of Engineering, University of California, Santa Cruz, CA, USA. May 2008. Abstract PDF
• B.T. Adler, L. de Alfaro, I. Pye, V. Raman. Measuring Author Contributions to the Wikipedia. Technical Report UCSC-SOE-08-08, School of Engineering, University of California, Santa Cruz, CA, USA. May 2008. Abstract PDF
• B.T. Adler, K. Chatterjee, L. de Alfaro, M. Faella, I. Pye, V. Raman. Assigning Trust to Wikipedia Content. Technical Report UCSC-SOE-08-07, School of Engineering, University of California, Santa Cruz, CA, USA. May 2008. This report supersedes the Technical Report UCSC-CRL-07-09, School of Engineering, University of California, Santa Cruz, CA, USA. Abstract PDF
• P. Roy, D. Parker, G. Norman, L. de Alfaro. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. Technical Report UCSC-SOE-08-05, School of Engineering, University of California, Santa Cruz, CA, USA. May 2008. Abstract PDF
• K. Chatterjee, L. de Alfaro, T.A. Henzinger. Strategy Improvement for Concurrent Safety Games. Technical Report UCSC-SOE-08-04, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. Abstract PDF
• K. Chatterjee, L. de Alfaro, R. Majumdar. The Complexity of Coverage. Technical Report UCSC-SOE-08-03, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. Abstract PDF
• K. Chatterjee, L. de Alfaro, T.A. Henzinger. Qualitative Concurrent Parity Games. Technical Report UCSC-CRL-08-02, School of Engineering, University of California, Santa Cruz, CA, USA. April 2008. Abstract PDF

All my publications, in chronological order

Research

• Reputation and Trust in Collaborative Content. We are working on algorithmical notions of author reputation, and content trust, for collaboratively-generated content on the internet. We have a demo where we color the text of the Wikipedia according to a computed value of trust. The trust value of each word of a Wikipedia article is computed as a function of the reputation of the original author, as well as the reputation of all authors who subsequently revised the text.
• Direct: directed testing of real-time software, a new joint project with Rupak Majumdar of UCLA, with support from the National Science Foundation.

• Ticc: A Tool for Interface Compatibility and Composition. Ticc is a tool for the prototyping and verification of distributed designs. Ticc provides the following features:

  • Modeling of design components and their interaction.

  • Compatibility checking of components in a design.

  • Design simulation and verification.

• Design and Verification Lab (Dvlab), my lab at UCSC. Follow the link to find information on current research directions, tools, and more.

• My research group.

• Theory and software discussion group at UCSC: ,
• Seminar calendar for theory and software at UCSC: , ,

• CMPS 280G: Software Engineering Seminar Calendar: , ,

Interested in research at UCSC? Here is some information for prospective students, postdocs, and visitors.

Conferences

I am involved in the following conferences:

• FOSSACS 2009 (PC Chair),
• EMSOFT 2008 (PC co-Chair), International Conference on Embedded Software, 2008. EMSOFT 2008 is honored to host the ACM Turing Award Lecture by the 2007 ACM Turing Award winners, Edmund Clarke, Allen Emerson, and Joseph Sifakis.
• ICALP 2008 (PC), 35th International Colloquium on Automata, Languages and Programming, Reykjavik, July 2008.
• OOPSLA Onward 2008 (PC), Nashville, October 2008.
• INFINITY 2008 (PC), 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, August 2008.
• AISec 2008 (PC), First ACM Workshop on AI and Security, Alexandria (VA), October 2008.

UCSC

• CCT: I am chair of CCT, the Faculty Senate Committee on Computing and Telecommunications. Email me if there are any issues you feel should be discussed.

Other Links

• Using Latex in OpenOffice: Here is a package that enables you to use Latex in OpenOffice presentations. The package is very much inspired by the TexPoint package of George Necula, and was originally written by Geoffroy Piroux. This is my own version, with (I believe) improved fonts and symbols.

• Vec: an implementation of extensible, functional arrays in Ocaml.

• Is my last name under 'A' or 'D'?

• My personal page

• Françoise Beaufays, and what she does.

• Fun is... (AVI, 25.5 MB)

• Style guidelines for student co-authors

• I use svn for collaborating on papers. Here you can find help, and the list of repositories I use.