[world map]

Summary

Name:B. Thomas Adler
Aliases: Bo, Beau, Božidar, Thumper, Thistle, Boseph
Location: Santa Cruz, CA
Employment: Consultant, part-time PhD student
Description:5'8", medium build
Notes: Wanted in connection with unusual network activity. Considered witty and abrasive; proceed with caution.
Current Alert: Subject has recently been contacted by an agent for the Director of National Intelligence.

Subject

[img of Bo Adler]

Notes

Subject purports to be a graduate student studying computer science, but does not show any signs of Advancing to Candidacy. Associates with intellectuals engaged in critiques of the government, and pursues other subversive activities such as "free software". Brief summary of work experience can be found in subject's resume.

Research

Subject conducts research in the Design and Verification Lab at UC Santa Cruz. Primary research interest is software engineering, particularly writing correct programs/specifications and the languages used to express ideas. Recent research projects:

  • average reward timed games: game theory applied to computer systems; practical uses include scheduling, generating module assumptions, and worst-case resource usage.
  • collaborative reputation: automatic reputation assignment in Wikipedia; practical uses include flagging text which should receive more scrutiny, measuring contribution, and applying to CVS repositories. Early presentation: PDF
  • natural language processing: automatic tagging of documents.

Publications

Conferences

  1. B. Adler, L. de Alfaro. A Content-Driven Reputation System for the Wikipedia. In WWW 2007: Proceedings of the 19th International World Wide Web Conference, ACM Press, 2007. PDF
  2. B. Adler, L. de Alfaro, L. Dias Da Silva M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. In CAV 06: Computer-Aided Verification, LNCS 4144, Springer-Verlag, 2006. PDF
  3. B. Adler, L. de Alfaro, M. Faella. Average Reward Timed Games. In FORMATS 05: International Conference on Formal Modelling and Analysis of Timed Systems, LNCS 3829, Springer-Verlag, 2005. PDF PDF

Patents

  1. D. Marvit, A. Reinhardt, B. Adler, B. Wilcox, H. Matsumoto. Context Dependent Gesture Response. US Patent Pending DocID 20050212767, September 2005. HTML,
  2. D. Marvit, A. Reinhardt, B. Adler, H. Matsumoto. Environmental Modeling for Motion Controlled Handheld Devices. US Patent Pending DocID 20050212759, September 2005. HTML,
  3. D. Marvit, B. Adler, A. Reinhardt, B. Wilcox. Handheld Device with Preferred Motion Selection. US Patent Pending DocID 20050212758, September 2005. HTML,
  4. D. Marvit, B. Adler, H. Matsumoto. Distinguishing Tilt and Translation Motion Components in Handheld Devices. US Patent Pending DocID 20050212757, September 2005. HTML,
  5. D. Marvit, A. Reinhardt, B. Adler, H. Matsumoto. Gesture Based Navigation of a Handheld User Interface. US Patent Pending DocID 20050212756, September 2005. HTML,
  6. D. Marvit, A. Reinhardt, B. Adler, B. Wilcox. Motion Controlled Remote Controller. US Patent Pending DocID 20050212753, September 2005. HTML,
  7. D. Marvit, A. Reinhardt, B. Adler. Selective Engagement of Motion Input Modes. US Patent Pending DocID 20050212752, September 2005. HTML,
  8. D. Marvit, A. Reinhardt, B. Adler, B. Wilcox, H. Matsumoto. Customizable Gesture Mappings for Motion Controlled Handheld Devices. US Patent Pending DocID 20050212751, September 2005. HTML,
  9. D. Marvit, B. Adler, H. Matsumoto. Motion Sensor Engagement for a Handheld Device. US Patent Pending DocID 20050212749, September 2005. HTML,
  10. D. Marvit, A. Reinhardt, B. Adler, H. Matsumoto. User Definable Gestures for Motion Controlled Handheld Devices. US Patent Pending DocID 20050210417, September 2005. HTML,
  11. M. Mitsuoka, K. Nagahashi, D. Marvit, H. Matsumoto, B. Adler. Automated Negotiation. US Patent Pending DocID 20040172371, September 2004. HTML,
  12. D. Leahy, J. Challinger, B. Adler, S. Ardon. Scalable virtual world chat client-server system. US Patent 6,219,045, April 2001. HTML,

Other

  1. B. Adler. Long-Run Average Rewards for Priced Timed Games. M.S. Thesis. UC Santa Cruz, 2007. PDF
  2. B. Adler. Scan of the Month 25. Technical Report Top Five, Honeynet Project, November 2002. PDF (Problem)
  3. B. Adler. Scan of the Month 21. Technical Report, Honeynet Project, June 2002. PDF (Problem)
  4. B. Adler. RAM RAID: Improving Web Access. In Sys Admin, June 2002:29-32.
  5. B. Adler, B. Threatt. Scan of the Month 20. Technical Report Top Two, Honeynet Project, May 2002. PDF (Problem)