Compiler positions available for week ending December 27
27 Dec 1998 12:53:53 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending December 27 (1998-12-27)
| List of all articles for this month |

Newsgroups: comp.compilers,
Date: 27 Dec 1998 12:53:53 -0500
Organization: Compilers Central
Keywords: jobs

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to


From: Matt Dwyer <>
Subject: PhD Studentships in Program Analysis (Kansas)
Date: Wed, 23 Dec 1998 12:18:49 -0600
Organization: Kansas State University

The Laboratory for Specification, Analysis and Transformation of
Software (SAnToS) at Kansas State University announces openings
for several funded Ph.D. studentships for Autumn 1999.

The laboratory consists of 5 faculty members, Matthew Dwyer, John
Hatcliff, Michael Huth, David Schmidt, and Allen Stoughton, as well
as several visiting and post-doctoral researchers, doctoral and masters

The lab's research is devoted to theory and application of such topics
as program logics, static analysis, semantics, abstract
interpretation, partial evaluation, and model checking.

Current projects include:
- Development and application of a common framework for expressing
    data-flow analyses, abstract interpretations, and model checking,
    where temporal logic is used as the common language for discourse.

- Application of partial evaluation to naive static analysis algorithms
    so as to generate useful implementations of slicing, code inlining,
    flow analysis, etc.

- Design and implementation of tools for compiling Java source code to
    abstracted transition systems that can be used by non-formal methods
    experts to model check rudimentary safety properties.

- Comparative empirical evaluation of existing approaches to finite-state
    verification to characterize effectiveness of automated
    verification with regards to classes of systems and correctness

The lab has strong ties to both the programming languages and software
engineering research communities. Laboratory members, including
students, actively participate through publication, presentation, and
committee membership in top international conferences.

Students with interests in either foundational or systems aspects of
program analysis will find the lab an excellent place to further their
studies and are encouraged to apply.

For more information about the work in SAnToS, consult the web-site
For information about application for advanced degree studies, see

Matthew Dwyer
phone: (785) 532-6350
fax: (785) 532-7353
post: Department of Computing and Information Sciences
              Nichols Hall
              Kansas State University
              Manhattan, KS 66506

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.