| Curriculum Vitae |
| Research Interests |
- Compositional program synthesis
- Aspect-oriented software development
- Software development environments
- User interface design
- Replication
- Practical deployable tools
|
| Professional Summary |
- 23 years of experience in software development.
- Extensive background in communications, software tools, and
programming languages.
- Developed applications for Windows/NT, Windows, UNIX, DOS.
- Language experience includes Java, C, C++, and Pascal.
|
| Education |
University of California, San Diego
June, 2002 |
- Master of Science in Computer Science
Concentration in
Software Engineering
|
University of California, San Diego
June 1981 |
- Bachelor of Arts in Computer Science
Physics and Economics
minors
|
| Selected Papers |
| L. Carver,
Building
a Real-World Application with Aspect-Oriented Modules and Hyper/J, Master's
thesis, Univeristy of Califorina, San Diego, Department of Computer Science and
Engineering, June 2002. |
| L. Carver,
Composition
Behaviors for Application Construction, Workshop on Aspect Oriented Design,
First International Conference on Aspect Oriented Software Development
(AOSD'02), 2002 |
| L. Carver,
Using
Brackets to Corral Jumping Aspects, Workshop on Advanced Separation of
Concerns, Conference on Object-Oriented Programming, Systems, and Languages
(OOPSLA'2K), 2000 |
| L. Carver,
Combining
Selector-Guarded Blocks: Difficulties From the Option-Processing Task,
Workshop on Aspects and Dimensions of Concerns, European Conference on
Object-Oriented Programming (ECOOP'2K), 2000 |
| L. Carver,
A
Practical Hyperspace Application: Lessons From the Option-Processing
Task,Workshop on Multi-Dimensional Separation of Concerns in Software
Engineering, International Conference on Software Engineering
(ICSE'2K), 2000 |
| L. Carver and W. G. Griswold,
Sorting
Out Concerns, Workshop on Multi-Dimensional Separation of Concerns,
Conference on Object-Oriented Programming, Systems, and Languages
(OOPSLA'99), 1999 |
| Experience |
Pnambic Computing
Owner/President
1995-Present
|
- Software development tools and consulting.
- Complete Internet solutions for small businesses.
|
IBM T. J. Watson Research
Center
Intern
2000 |
- Research intern with the Software by Composition group.
Developed bracket-from extensions to Hyper/J™ Java composition
tool.
|
Microsoft Corporation
SDE/Workgroup
Applications
1992-1995 |
- Developer on Exchange™. Responsible for server store,
including FastTransfer, the client-server batch transfer protocol for mail
messages. Ported Exchange Server from X86 to Alpha and MIPS architectures.
- Responsible for programmability in forms routing package.
Integrated Object Basic with the development environment and designed Object
Basic extensions for forms routing.
|
Microsoft Corporation
Lead SDE/Systems
Tools
1990-1992 |
- Led the SCM version control project. Designed and implemented
key version management algorithms and improved database performance three-fold
in later stages.
- Initiated the SWAT bug tracking project. The design provided
flexible data capture and state handling, with user customizable windows.
- Standardized internal distribution of Microsoft products and
development tools.
|
Boeing Aerospace
Software Engineer
1987-1990 |
- Led the development of a portable object-oriented CASE system.
The team developed versions for both VAX/VMS and UNIX engineering
workstations.
- Designed a user interface tool kit to support multiple
environments. The team implemented versions to support both the X windowing
system and a command line environment.
|
Simpact Corporation
Software
Engineer
1985-1987 |
- Designed and implemented an interprocessor communications
package for a real-time remote monitoring system. The package supported
synchronization of telemetry data, diskless boot, remote terminal access,
database download, and error-recovery capabilities.
|
Software Products, International
Programmer
1983-1985 |
- Created a programming language with embedded SQL operations for
a relational database.
- Developed a serial communications package for a PC.
|
Science Applications, Inc
Software
Engineer
1980-1983 |
- Constructed the parser for an Ada compiler.
- Developed a serial communications package.
- Implemented an electronic mail system for a PDP-11.
- Developed data processing and simulation programs for
commercial research groups.
|
UC, San Diego
Assistant Programmer
1978-1980 |
- Developed data processing and simulation programs for
university and government research groups.
|
| Skills |
| High-Level Languages |
- Java, C++, C, Pascal, Ada, FORTRAN
|
| Scripting Languages |
- HTML, Perl, Tcl/Tk, Visual Basic, ASP, JavaScript
|
| Assembly Langauges |
- IBM-PC (8080, etc.), HP-1000, DEC PDP-11
|
| Operating Systems |
- DOS, Windows, Windows/NT, Windows/2000, UNIX
|
| Hardware |
- Intel x86, DEC Alpha, MIPS
|