Homepage: http://www.iasi.rm.cnr.it/~adp/ MAPTransformationSystem CategoryPeople

Homepage: http://www.andrewcooke.free-online.co.uk/andrew/index.html Author of PancitoLibrary (among other things). CategoryPeople

Homepage: http://www.cl.cam.ac.uk/~amp12/ FreshML CategoryPeople

Homepage: http://www.cs.pdx.edu/~apt/ Stratego.BuildingProgramOptimizersWithRewritingStrategies by the Rules CategoryPeople

I work at CWI, Amsterdam see http://www.cwi.nl/~arie/ Since this ProgramTransformation wiki covers many topics related to reverse and reengineering, and since these ...

Homepage: http://www.students.cs.uu.nl/people/arbruijn/ Arne de Bruijn is a student at Universiteit Utrecht and works on InliningStrategies in general and the interaction ...

Homepage: http://foothill.lcs.mit.edu/~arvind/ Hardware synthesis via term rewriting Transform.CategoryPeople

Homepage: http://www.cwi.nl/~luttik/ Stratego.SpecificationOfRewritingStrategies CategoryPeople

Homepage: http://www.cs.sun.ac.za/~bfischer/ WorkshopOnRuleBasedProgramming CategoryPeople

HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ...

Editors (TWikiUsers) The following is a list of registered users , i.e., the editors that created the content on this site. All it takes to become an editor is to ...

Homepage: http://brahms.fmi.uni-passau.de/cl/staff/lengauer/ CategoryPeople

Homepage: http://research.microsoft.com/~cwfraser/ Christopher Fraser is one of the designers of BURG and many other things. CategoryPeople

Homepage: http://cs.hofstra.edu/~cscccl/ Construction in Higher Order Logic Programming Order Compilation Project CategoryPeople

Homepage: http://www.loria.fr/~ckirchne/ ELAN RewritingCalculus CategoryPeople

Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople

http://www.comlab.ox.ac.uk/oucl/work/david.lacey CategoryPeople

RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...

Homepage: http://www.cs.vu.nl/~dick/ CompilerConstruction http://www.cs.vu.nl/~dick/CS Summaries.html CategoryPeople

Homepage: http://www.cse.ogi.edu/~dick/dick.html CategoryPeople

Homepage: http://www.cs.utexas.edu/users/dsb/ DiSTiL GenVoca CategoryPeople

Homepage: http://www.cs.uu.nl/staff/eelco.html Stratego.RhoStratego CategoryPeople

Elliot Chikofsky http://pathbridge.net/chikofsky/ CategoryPeople

Homepage: http://www.iasi.rm.cnr.it/~fioravan/ MAPTransformationSystem CategoryPeople

The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...

Homepage: http://contraintes.inria.fr/~fages/ WorkshopOnRuleBasedProgramming CategoryPeople

Homepage: http://web.comlab.ox.ac.uk/oucl/work/ganesh.sittampalam/ MAG IntentionalProgramming GaneshSittampalam 21 Aug 2001 CategoryPeople

Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...

Homepage: http://www.cs.umn.edu/~gopalan TeyjusSystem LambdaProlog CategoryPeople

One of the implementors of the Tools.ATermLibrary. CategoryPeople

Homepage: http://www.loria.fr/~hkirchne/ ELAN CategoryPeople

http://www.informatik.uni-ulm.de/pm/ CategoryPeople

Homepage: http://www.cs.uu.nl/people/henkp/ System administrator at Utrecht University CategoryPeople

Homepage: http://danae.uni-muenster.de/lehre/kuchen/ WorkshopOnRuleBasedProgramming CategoryPeople

Home page: http://holgerkienle.wikispaces.com/ Topics: ExtractorBenchmarks DomainSpecificLanguages ExchangeFormatBibliography RigiSystem CategoryPeople

Homepage: http://www.loria.fr/~cirstea/ ELAN RewritingCalculus CategoryPeople

Homepage: http://www.semdesigns.com/Company/People/idbaxter/index.html SemanticDesigns DMSSoftwareReengineeringToolkit Coverage For Arbitrary Languages Made Easy ...

Homepage: http://www.cs.queensu.ca/~cordy/ TXL CategoryPeople

Homepages http://www.research.microsoft.com/~larus/ http://www.cs.wisc.edu/~larus/larus.html CategoryPeople

Homepage: http://www.cwi.nl/~jan/ ASFandSDF Stratego.CodeBoost CategoryPeople

Jens Jahnke, University of Victoria http://www.csr.uvic.ca/~jens/ CategoryPeople

Homepage: http://www.cs.purdue.edu/people/palsberg JavaTreeBuilder CategoryPeople

Designer/implementer of TAMPR. CategoryPeople

James M. Neighbors (Jim) is the designer of the DracoSystem. CategoryPeople

Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople

John Brant homepage: http://st-www.cs.uiuc.edu/users/brant/ SmalltalkRefactory ARefactoringToolForSmalltalk CategoryPeople

Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople

John Gallagher works in program analysis and transformation of logic programs Homepage: http://www.cs.bris.ac.uk/~john/ CategoryPeople

Jorn Bettin joern.bettin@acm.org http://www.softmetaware.com Transform.CategoryPeople

Homepage: http://horru.lsi.uniovi.es/~labra/ LPS CategoryPeople

Homepage: http://www.cs.uu.nl/staff/karina.html Stratego.StrategoLanguage CategoryPeople

Kenny Wong http://www.cs.ualberta.ca/~kenw/ Topics: RigiSystem ProgramUnderstanding tools directory. CategoryPeople

Krzysztof Czarnecki http://www.prakinf.tu-ilmenau.de/~czarn/ GenerativeProgrammingBook His currently a faculty member at Electrical and Computer Engineering, University ...

Homepage: http://www.cs.man.ac.uk/~kung-kiu/ CategoryPeople

Homepage: http://www.kestrel.edu/HTML/people/meertens/index.html BirdMeertensFormalism CategoryPeople

Homepage: http://www.lri.fr/Anglais/Recherche/demons/membres/puel.html ATypedPatternCalculus http://www.lri.fr/Francais/Recherche/demons/membres/Puel-all.html CategoryPeople ...

Homepage: http://www.eng.uerj.br/~ldmm/luiza.html PatternMatching CategoryPeople

Homepage: http://www.ii.uib.no/~magne/ Stratego.CodeBoost SAGA CategoryPeople

Homepage: http://www.iit.demokritos.gr/~manolis CategoryPeople

Homepage: http://www.cs.indiana.edu/~mleone/ CategoryPeople

Homepage: http://www2.informatik.uni-erlangen.de/IMMD-II/Persons/Researchers/minas/ WorkshopOnRuleBasedProgramming CategoryPeople

Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...

Homepage: http://www.cwi.nl/~markvdb/ ASFandSDF CategoryPeople

Homepage: http://www.cs.uu.nl/staff/martijn.html CategoryPeople

See Main.MartinBravenboer CategoryPeople

Homepage: http://www.martinfowler.com/ ProgramRefactoring RefactoringImprovingTheDesignOfExistingPrograms http://www.refactoring.com/ CategoryPeople

Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...

Homepage: http://www.iasi.rm.cnr.it/~proietti/ MAPTransformationSystem CategoryPeople

Contact information Homepage: http://www.cwi.nl/~mdejonge GenericPrettyPrinter XT GrammarTools GrammarBase XTSoftwareDevelopment ContributionToGB CategoryPeople ...

Homepage: http://www.ecs.soton.ac.uk/~mal/ Transformation of Logic Programs LOGEN CategoryPeople

Homepage: http://www.docs.uu.se/~mikpe/ PatternMatching aTermPatternMatchCompilerInspiredByFiniteAutomataTheory CategoryPeople

Homepage: http://web.comlab.ox.ac.uk/oucl/people/oege.demoor.html CEO of Semmle, a company that develops .QL, an optimising implementation of Datalog for code queries ...

Homepage: http://www.brics.dk/~danvy/ PartialEvaluation SimilixSystem CategoryPeople

Homepage: http://www.ii.uib.no/~otto/ Stratego.CodeBoost CategoryPeople

Panos Linos Home page: http://www.butler.edu/~linos/ CategoryPeople

Homepage: http://www.dickinson.edu/~johannp/ Stratego.WarmFusionInStratego Stratego.HSX Stratego.FusingLogicAndControl CategoryPeople

Homepage: http://www.haley.com EclipseLanguage RuleBasedProgramming CategoryPeople

Homepage: http://www.cwi.nl/~paulk/ ASFandSDF SoftwareImprovementGroup CategoryPeople

Homepage: http://www.brics.dk/~pdm/ ActionSemantics CategoryPeople

Homepage: http://cm.bell-labs.com/cm/cs/who/wadler/ DeForestation CategoryPeople

Homepage: http://dbs.cwi.nl:8080/cwwwi/owa/cwwwi.print people?ID 147 Tools.ATermLibrary CategoryPeople

Homepage: http://www.crpc.rice.edu/MSCP/preston.html CategoryPeople

Homepage: http://www.cs.uh.edu/~rmverma/ LRR TermRewriting CategoryPeople

Ralf Laemmel works at CWI and VU: http://www.cwi.nl/~ralf. Transformation topics: SCP Special Issue on Program Transformation http://homepages.cwi.nl/~ralf/pt-scp ...

Homepage: http://web.comlab.ox.ac.uk/oucl/people/richard.bird.html BirdMeertensFormalism CategoryPeople

Email: Rik.van.de.Wiel@philips.com CodeCompaction CategoryPeople

Homepage: http://www.cs.nyu.edu/cs/faculty/paige/ Developer of APTS Journal for Higher-Order and Symbolic Computation Special Issue Dedicated to Bob Paige CategoryPeople ...

Homepage: http://www.cs.wustl.edu/~cytron/ ContinuousCompilers CategoryPeople

Sander Tichelaar Topics: ExchangeFormats ProgramRefactoring SoftwareVisualization Home page: http://www.iam.unibe.ch/~tichel/ CategoryPeople

HomePage: http://www.mcs.drexel.edu/~smancori Research Web Page: http://serg.mcs.drexel.edu Main.TWikiGuest 08 Apr 2001 CategoryPeople

Stephen F. Heffner entered the computer field in 1963 as a Customer Engineer for IBM. He has been involved in systems analysis, design, and programming since 1964 ...

Homepage: http://greta.cs.ioc.ee/~tarmo/ WarmFusion VarmoVene CategoryPeople

Homepage: http://www.pst.informatik.uni-muenchen.de/~fruehwir/ WorkshopOnRuleBasedProgramming CategoryPeople

Homepage: http://www.cse.ogi.edu/~sheard/ MetaML CategoryPeople

Homepage: http://research.microsoft.com/~toddpro/ Designer of BURG and other things CategoryPeople

Homepages http://web.comlab.ox.ac.uk/oucl/people/tony.hoare.html http://research.microsoft.com/~thoare/ PlayingByTheRules CategoryPeople

The following people are somehow related to ProgramTransformation. Note that the list is by no means complete. Please add anyone (including yourself) to the list, ...

Homepage: http://i44s11.info.uni-karlsruhe.de/~assmann/ OPTIMIX CompostFramework Transform.CategoryPeople

Russian philosopher-scientist, developer of REFAL language and SuperCompilation, a ProgramOptimization technique. See http://pespmc1.vub.ac.be/TURCHIN.html Main.MaD ...

Homepage: http://www.cs.ut.ee/people/vene/ WarmFusionTransformation CategoryPeople

Homepage: http://www.cas.mcmaster.ca/~kahl/ HOPS CategoryPeople

Homepage: http://www.cs.utexas.edu/users/smaragd/ DiSTiL CategoryPeople

Homepage: http://www.cse.ogi.edu/~benaissa/ MetaML Stratego.StrategoLanguage CategoryPeople