Expert

2008-7-21

Account:

Password:

	Carl K. Chang
	Lori A. Clarke
	Alan Davis
	Tom DeMarco
	Martin Fowler
	Carlo Ghezzi
	Tom Gilb
	Kegang Hao
	Watts S.Humphrey
	Dehua Ju
	Willis K. King
	Craig Larman
	Chengfei Liu
	Steve McConnell
	Leon Osterweil
	Roger Pressman
	James Robertson
	Suzanne Robertson
	Dieter Rombach
	Beijun Shen
	Mary Lou Soffa
	Alexander L. Wolf
	Edward Yourdon
	Zhiying Zhou

EXPERT

Lori A. Clarke

	Lori A. Clarke
	Experience Professor, Department of Computer Science, University of Massachusetts (September 1986-present), Associate Professor, (September 1981-August 1986), Assistant Professor, (September 1976-August 1981), Instructor (September 1975-August 1976). Research interests include software verification and validation of distributed and sequential systems and infrastructure support for distributed object technology.

空格Professor Lori A. Clarke is a member of the Computer Science faculty at the University of Massachusetts, Amherst. She is an ACM Fellow, a member of the IEEE Publication Board, and an elected member of the Computing Research Association?s Board of Directors. She is a former IEEE Distinguished Visitor, ACM National Lecturer, associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF advisory board, ACM SIGSOFT secretary/treasurer, vice-chair and chair, as well as a 1990 recipient of the University of Massachusetts Chancellor's Medal, and a 1993 recipient of a University Faculty Fellowship. She has written numerous papers, served on many program committees, and was program co-chair of the 14th International Conference on Software Engineering. She is general chair of the 2003 International Conference on Software Engineering. She has been a Principal Investigator on a number of NSF and ARPA/DARPA projects.

空格Dr. Clarke has worked in the area of software testing and analysis for many years. She was one of the primary developers of symbolic execution, a technique used to reason about the behavior of software systems and to select test data. With Richardson, she developed one of the first approaches for specification-based testing. With Podgurski, Richardson, and Zeil she showed how the more popular test coverage criteria relate to each other. This paper was cited, ten years after the conference, as one of the most influential papers of ICSE 8. This led to work with Thompson and Richardson that demonstrated how fault-based approaches fail to provide necessary fault detection conditions, thus revealing a major weakness in this approach. With Podgurski, she defined a general, language-independent model of program dependencies, which generalizes Weiser's work on program slicing. In the environments area Clarke, along with Wileden and Wolf, debunked the benefits of a nested program structure and then proposed an alternative component interaction model. With Tarr, she also developed one of the first database programming language, Pleiades . Recently her work has focused on analysis of concurrent systems. With Cobleigh, Dwyer, Naumovich and Osterweil, she has developed FLAVERS, a static analysis tool that uses data flow analysis techniques to verify user-specified properties. FLAVERS is an efficient technique that allows users to selectively improve the accuracy of the program model as needed to improve the accuracy of the results.

Expert Articles

FLAVERS: A Finite State Verification Technique For Software Systems

http://www.informatik.fernuni-hagen.de/import/pi5/lehre/seminar1920/Literatur1920ss02/AFiniteStateVerificationTechniqueFor.pdf

Finite State Verification For Software Systems

http://www.isr.uci.edu/events/dist-speaker01-02/clarke01.ppt

Finite State Verification: An Emerging Technology For Validating Software Systems

http://portal.acm.org/citation.cfm?id=348946&coll=portal&dl=ACM&CFID=5916385&CFTOKEN=28527827

Extending FLAVERS To Check Properties On Infinite Executions Of Concurrent Software Systems

http://cis.poly.edu/gnaumovi/home/papers/liveness-flavers.pdf

Publications By Prof. Lori Clarke

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Clarke:Lori_A=.html

Verifying Properties Of Process Definitions

http://www.cc.gatech.edu/~harrold/issta00/cfp/slides/cobleigh.issta2000.ppt

Classifying Properties: An Alternative To The Safety-Liveness Classification

http://cis.poly.edu/gnaumovi/home/papers/property-taxonomy.pdf

A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

http://www.computer.org/tse/ts1990/e0965abs.htm

Using Partial Order Techniques To Improve Performance Of Data Flow Analysis Based Verification

http://cis.poly.edu/gnaumovi/home/papers/po-flavers.pdf

An Efficient Algorithm For Computing MHP Information For Concurrent Java Programs

http://cis.poly.edu/gnaumovi/home/papers/mhp-java-fse99.pdf

Data Flow Analysis For Checking Properties Of Concurrent Java Programs

http://cis.poly.edu/gnaumovi/home/papers/flavers-java.pdf

Efficient Composite Data Flow Analysis Applied To Concurrent Programs

http://cis.poly.edu/gnaumovi/home/papers/tuple.pdf

Applying Static Analysis To Software Architectures

http://cis.poly.edu/gnaumovi/home/papers/applying-arch.pdf

A Framework For Event-Based Software Integration

http://portal.acm.org/citation.cfm?id=235324&coll=portal&dl=ACM&CFID=5916947&CFTOKEN=4802420

Cooperative Concurrency Control for Software Engineering

http://www.cs.williams.edu/~lerner/papers/cooperation.html

Integrated Concurrency Analysis In A Software Development Environment

http://portal.acm.org/citation.cfm?doid=75308.75331

Gaining Confidence In Distributed Systems

http://www.soft.com/QualWeek/QW97/qw97.abs.html#clarke

Data Flow Analysis Of Concurrent Systems That Use The Rendezvous Model Of Synchronization

http://portal.acm.org/citation.cfm?id=120810&coll=portal&dl=ACM&CFID=5932064&CFTOKEN=17163138

An Information Flow Model Of Fault Detection

http://portal.acm.org/citation.cfm?id=154270&coll=portal&dl=ACM&CFID=5932094&CFTOKEN=37024977

Improving The Accuracy Of Petri Net-Based Analysis Of Concurrent Programs

http://portal.acm.org/citation.cfm?id=226299&coll=portal&dl=ACM&CFID=5932114&CFTOKEN=54233680

Search Result For Lori A. Clarke

http://hpsearch.uni-trier.de/hp/a-tree/c/Clarke:Lori_A=.html

Process Guidance And Validation For Dependable On-The-Fly System Adaptation

http://schafercorp-ballston.com/dasada/dasada_kickoff_briefs/DASADAkickoff900.ppt

The Laboratory For Advanced Software Engineering Research (LASER)

http://laser.cs.umass.edu/

Software Architecture/Distributed Object Technology

http://laser.cs.umass.edu/architecture.html

Workflow And Process Programming

http://laser.cs.umass.edu/process.html

Little JIL

http://laser.cs.umass.edu/tools/littlejil.html

FLAVERS: Flow Analysis for VERification Of Systems

http://laser.cs.umass.edu/tools/flavers.html

Inequality Necessary Conditions Analysis (INCA)

http://laser.cs.umass.edu/inca.html

SCARP - Static Concurrency Analysis Research Project

http://laser.cs.umass.edu/scarp.html

Perpetual Testing

		http://laser.cs.umass.edu/perpetualtesting.html
		http://www.sei.cmu.edu/community/edcs/CLUSTERS/SUMMARIES/Perpetual_Test.html

Empirical Evaluation Of Analysis Methods And Tools

http://laser.cs.umass.edu/analysis-eval.html

Links: ACM \|\| CiteSeer \|\| CMU SEI \|\| Construx \|\| Cutter \|\| IEEE-CS \|\| itmWEB
Shanghai IT \|\| Shanghai Economic Commission \|\| SSIA \|\| Shanghai Component Repository
LJYW \|\| SPRT \|\| PKSPIN \|\| CCW Shanghai \|\| China IT Outsourcing Summit	more

contribution guide | FAQ | about | copyright | contact

last update on 2005-04-08

better use IE 5.0 or above (800*600 or above)