Projects

Blelloch, Guy Blelloch, Guy- Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. Blair, Michael R. Blair, Michael R.- MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. Brajnik, Giorgio Brajnik, Giorgio- University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. Blackwell, Alan Blackwell, Alan- University of Cambridge - Human-computer interaction, visual interaction. Briscoe, Ted Briscoe, Ted- University of Cambridge - Speech and language processing, computational linguistics. Bacon, Jean Bacon, Jean- University of Cambridge - Distributed systems. Breugel, Franck van Breugel, Franck van- York University, Ontario - Concurrent programming languages, semantics, specification languages. Brandt, Felix Brandt, Felix- Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, a… Bradfield, Julian Bradfield, Julian- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. Boisvert, Ronald F. Boisvert, Ronald F.- NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. Bertozzi, Massimo Bertozzi, Massimo- University of Parma - Computer vision, learning in vision, artificial intelligence. Bundy, Alan Bundy, Alan- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. Bhattacharyya, Pushpak Bhattacharyya, Pushpak- Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Dis… Bednarik, Roman Bednarik, Roman- University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. Becker, Simon M. Becker, Simon M.- University of Technology Aachen - Software Engineering, Incremental Integration. Briot, Jean-Pierre Briot, Jean-Pierre- Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-progr… Balakrishnan, M. Balakrishnan, M.- Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture Banerjee, Subhashis Banerjee, Subhashis- Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics Ball, Thomas Ball, Thomas- Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. Brankovic, Ljiljana Brankovic, Ljiljana- University of Newcastle - Security of statistical databases. Bultan, Tevfik Bultan, Tevfik- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. Bernstein, D. J. Bernstein, D. J.- University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking Borning, Alan Borning, Alan- University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. Bruce, Kim B. Bruce, Kim B.- Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes … The Beauty of LaTeX The Beauty of LaTeX- Essay by Dario Taraborelli comparing the font rendering and typographic accuracy in WYSIWYG word processors to that in LaTeX. Why TeX? Why TeX?- An article from TUGboat by Jim Hefferon of St Michael's College. Why LaTeX? Why LaTeX?- Advantages and disadvantages of using LaTeX versus Adobe Pagemaker and Microsoft Word. Word Processors: Stupid and Inefficient Word Processors: Stupid and Inefficient- Article explaining the disadvantages of word processors when compared with a TeX or LaTeX system. Arabeyes Arabeyes- Metaproject to fully support the Arabic language in the Unix/Linux environment, to be a central location to standardize Arabization. Links, downloads, projects. gtranslator gtranslator- GNOME gettext i18n editor. Provides FAQ, information, and download.