Mentors interested in:
Software Engineering
Rss Feeds
- William Griswold
at UC San Diego (La Jolla, CA)
Keywords: software engineering, distributed systems, disaster informatics, mobile wireless information systems, medical informatics, publish-subscribe. 28July - Peter Sweeney
at IBM T.J. Watson Research Center (Hawthorne, NY)
Keywords: static analysis, dynamic analysis, performance analysis, automatic performance tuning, automatic performance bottleneck detection, multi-cores, middleware, Java enterprise applications 11June - Steve Roach
at The University of Texas at El Paso (El Paso, TX)
Keywords: runtime monitoring, deductive synthesis, automated software engineering, automated testing, scientific computation 11June - Sharad Singhal
at Hewlett-Packard Laboratories (Palo Alto, CA)
Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 10June - Sharad Singhal
at HP Labs (Palo Alto, CA)
Keywords: Web Services, Cloud Computing, Service Composition, Service Orchestration, Business Processes 9June - Atul Adya
at Google Seattle (Seattle, Washington)
Keywords: distributed systems, databases, transactions, consistency, caching, file systems 9June - Craig Chambers
at Google (Seattle, WA)
Keywords: Programming languages, optimizing compilers, parallel and distributed systems, object-oriented systems 9June - Alessandro Orso
at Georgia Institute of Technology (Atlanta, GA)
Keywords: Software testing, static and dynamic program analysis, software security, web applications security and reliability. 8June - Shriram Krishnamurthi
at Brown University (Providence, RI)
Keywords: programming languages, verification, security, software engineering 8June - Lori Pollock
at University of Delaware (Newark, Delaware)
Keywords: automating software testing support, automatically analyzing word usage in software for improved software maintenance tools, analyzing and optimizing parallel programs, building automatic program analysis for software developer tools 8June - Tevfik Bultan
at University of California at Santa Barbara (Santa Barbara, CA)
Keywords: model checking, static analysis, service oriented computing, concurrency, and software engineering 8June - Daniel Brand
at IBM T.J. Watson Research Center (Yorktown Heights, NY)
Keywords: software robustness, static program analysis, dynamic analysis, defect detection, theorem proving, specification mining, software security, parallelization 8June - Premkumar Devanbu
at University of California, Davis (Davis, CA)
Keywords: Empirical Software Engineering, evaluation of static analysis tools, social and human factors in software engineering, distributed software engineering. 6June - Guofei (Geoff) Jiang
at NEC Laboratories America, Princeton (Princeton, New Jersey)
Keywords: distributed system & networks, performance, reliability & dependability, statistical learning & mining for large scale system management, next generation data center, cloud computing platform, virtualization and resource provisioning, power management 6June - J. Jenny Li
at Avaya Labs Research (formerly part of Bell Labs) (Basking Ridge NJ)
Keywords: Software/network/VoIP reliability, quality and testing.. 5June - Erik Altman
at IBM T.J. Watson Research Center (Hawthorne, NY)
Keywords: multicore, SSD, middleware, webserving, middleware, databases, appserver,multi-tier 5June - Joseph Hellerstein
at Google (Seattle, WA)
Keywords: distributed scheduling, cluster management, machine learning and systems, performance modeling, control theory 5June - Zhendong Su
at University of California, Davis (Davis, CA)
Keywords: program analysis, defect detection, clone detection and analysis, program equivalence detection, testing, automated debugging, specification mining, reliability of numerical software, web security, software security, malware detection and analysis 5June - Vladimir Zolotov
at IBM T.J. Watson Research Center (Yorktown Heights, NY)
Keywords: design automation, timing analysis, statistical timing, circuit analysis, circuit optimization, signal integrity, VLSI testing 4June - Anita Sarma
at University of Nebraska, Lincoln (Nebraska, Lincoln)
Keywords: workspace awareness, interactive exploration of software project, visualization of large scale projects 4June - Alexander Gray
at Georgia Institute of Technology (Atlanta, GA)
Keywords: machine learning, data mining, statistics, high dimensionality, massive datasets, optimization, algorithms, automated program synthesis, computational geometry, linear algebra, data-intensive/distributed computing, astrophysics, mass spec, SVMs 4June - Natarajan Shankar
at SRI International (Menlo Park CA)
Keywords: Automated deduction, formal verification, software engineering, programming languages, type systems, symbolic algorithms, software certification, probabilistic inference, planning. 3June - Insup Lee
at University of Pennsylvania (Philadelphia, PA)
Keywords: real-time systems, embedded systems, cyber-physical systems, high-confidence medical software systems, formal methods, quantitative trust managment 2June - Mats Heimdahl
at University of Minnesota (Minneapolis, Minnesota)
Keywords: Requirements Engineering, Verification, Testing, Validation, Safety, Critical Systems, Certification, Assurance Cases 2June - Ole Mengshoel
at Carnegie Mellon University, Silicon Valley & NASA Ames (San Francisco Bay Area)
Keywords: Bayesian networks; Inference; Machine Learning; Stochastic Local Search; Evolutionary Algorithms; Aerospace Vehicle Health Management; Electrical Power Systems; Real-Time Systems; Dependable Systems; Aerospace Vehicles; Software/Knowledge Engineering. 2June - Akos Ledeczi
at Vanderbilt University (Nashville, TNC)
Keywords: wireless sensor networks, localization, middleware services, MANET, model integrated computing 1June - Yolanda Gil
at University of Southern California, Information Sciences Institute (Los Angeles, CA)
Keywords: intelligent user interfaces, knowledge collection from web volunteers, knowledge-rich problem solving, artificial intelligence in social networking sites, semantic web, scientific workflows. 1June - Robert Michael Panoff
at Shodor Education Foundation (Durham, NC)
Keywords: Computational Science, computational science education, stochastic optimization, systems modeling, agent modeling, digital libraries, interactive computing, multi-core/many-core algorithms, multi-core/many-core learning modules 31May - Lori Clarke
at University of Massachusetts (Amherst, MA)
Keywords: Analysis of concurrent and distributed systems, finite-state verification, requirements engineering, safety analysis, analysis based process improvement 30May - Scott Smolka
at Stony Brook University (Washington, DC)
Keywords: Model Checking, Formal Methods, Process Algebra, Formal Verification, Security Protocols, Systems Biology, Embedded Systems, Hybrid Systems, Ad Hoc Network Protocols 30May - Jason Nieh
at Columbia University (New York, NY)
Keywords: software systems, operating systems, virtualization, file and storage systems, cloud computing, mobile computing, thin-client computing, network computing, Web systems, high-performance computing, security, performance evaluation. 29May - Rachel Bellamy
at Software Technology Dept of IBM Research Hawthorne (Westchester, NY)
Keywords: Psychology of Programming, Cognitive Modeling of Technology Use, Usability Analysis Tools and Methods, Information Foraging Models. 29May - Jaakko Järvi
at Texas A&M University (College Station, TX)
Keywords: generic programming, generative programming, programming languages, type systems, software construction, user interfaces 29May - Lawrence Rauchwerger
at Texas A&M University (College Station, TX)
Keywords: parallel, compilers, library, C++, STL, autoparallelization, TLS, speculation, DSM, Runtime system, MPI, OpenMP, RMI, multicore, manycore, petascale 29May - Alex Aiken
at Stanford University (Stanford, CA)
Keywords: program analysis, verification, constraint resolution, static analysis, dynamic analysis, programming languages, compilation, program optimization, multicore programming 28May - Sam Malek
at George Mason University (Washington, DC)
Keywords: software architecture, self-adaptive software systems, design, distributed and embedded software systems, mobile computing, and quality of service analysis 28May - Gary Olson
at University of California, Irvine (Irvine, California)
Keywords: CSCW, HCI, software engineering, scientific collaboration, virtual teams 27May - Eric Mercer
at Brigham Young University (Provo, Utah)
Keywords: Formal Verification, static analysis, dynamic analysis, software verification, software testing, PathFinder, program analysis, model checking, symbolic execution, unit testing, control flow, multi-core programming, concurrency, deadlock, race condition 27May - David Klappholz
at Stevens Institute of Technology (Hoboken, NJ)
Keywords: recruiting young women into and retaining them in computing majors, gender issues, empirical software engineering research, concept inventories 27May - Olga Sergienko
at GFDL/Princeton (Princeton, NJ)
Keywords: glaciology, ice-sheet modeling 26May - Elaine Weyuker
at AT&T Labs - Research (Florham Park, NJ)
Keywords: Software fault prediction, software defect predication, software testing, empirical software engineering, software measurement and metrics, software engineering 26May - Yannis Smaragdakis
at University of Massachusetts, Amherst (Amherst, MA)
Keywords: program analysis, program generation, programming models for concurrency 26May - Kathryn McKinley
at The University of Texas at Austin (Austin, TX)
Keywords: scalable runtime services, scalable memory management, compiling for future architectures, improving software reliability and security 26May - R Sekar
at Stony Brook University (Stony Brook, NY)
Keywords: Software security, malware defense, intrusion detection program analysis, program transformation, binary rewriting, OS virtualization 25May - Sebastian Elbaum
at University of Nebraska - Lincoln (Lincoln, NE)
Keywords: Software Engineering: software monitoring, software testing, software analysis, end user programming 23May - Bor-Yuh Evan Chang
at University of Colorado at Boulder (Boulder, CO)
Keywords: program analysis, user-centric development tools, language design, verification, shape analysis, types 23May - Yu Zhang (and Colleagues)
at Trinity University (San Antonio, TX)
Keywords: Liberal arts teaching, Undergraduate research 22May - Jeffrey Miller
at University of Alaska, Anchorage (Anchorage, Alaska)
Keywords: Intelligent Transportation Systems (ITS), algorithms (specifically graph algorithms), vehicular ad hoc networks (VANETs), software and network architectures 22May - Rob Miller
at Massachusetts Institute of Technology (Cambridge, MA)
Keywords: human-computer interaction, user interfaces, software engineering, end-user programming, programming systems, web automation, web customization, web mashups, study of programmers, usable security, intelligent user interfaces 22May - Swapna Gokhale
at University of Connecticut (Storrs, CT)
Keywords: Software Reliability, Performance and Reliability Analysis of Web-based Systems, Detection and Analysis of Web Robots 21May

