Compiler positions available for week ending December 27

compilers-jobs@iecc.com
27 Dec 1998 12:53:53 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending December 27 compilers-jobs@iecc.com (1998-12-27)
| List of all articles for this month |

From: compilers-jobs@iecc.com
Newsgroups: comp.compilers,misc.jobs.offered
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 misc.jobs.offered.
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 compilers@iecc.com.




-------------------------------


From: Matt Dwyer <dwyer@cis.ksu.edu>
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
students.


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
    properties.


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
    http://www.cis.ksu.edu/santos
For information about application for advanced degree studies, see
    http://www.cis.ksu.edu/Programs/Grad/info.html




--
Matthew Dwyer
email: dwyer@cis.ksu.edu
www: http://www.cis.ksu.edu/~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.