From: "Janis Voigtländer" <jv@informatik.uni-bonn.de>
To: haskell-cafe@haskell.org, theorem-provers@ai.mit.edu,
lprolog@cs.umn.edu, ecoop-info@ecoop.org, rewriting@ens-lyon.fr,
coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk,
prole@babel.ls.fi.upm.es, easst-members@cs.uni-potsdam.de,
compulognet-parimp@dia.fi.upm.es, caml-list@inria.fr,
dbworld@cs.wisc.edu, pept@kb.ecei.tohoku.ac.jp,
security@fosad.org, epigram@durham.ac.uk, agda@lists.chalmers.se,
mercury-ads@cs.mu.oz.au, prog-lang@diku.dk,
comlab@comlab.ox.ac.uk, clp@comp.nus.edu.sg,
kgs@logic.tuwien.ac.at, theory-logic@cs.cmu.edu,
nwpt-info@lists.ioc.ee, gi-fg214@informatik.uni-kiel.de
Subject: Early registration deadline - PEPM'10
Date: Mon, 21 Dec 2009 07:19:15 +0100 [thread overview]
Message-ID: <4B2F1363.6010008@informatik.uni-bonn.de> (raw)
IMPORTANT DATES:
* Early registration deadline: December 22, 2009
* Hotel registration deadline: December 28, 2009
===============================================================
CALL FOR PARTICIPATION
ACM SIGPLAN 2010 Workshop on
Partial Evaluation and Program Manipulation (PEPM'10)
Madrid, January 18-19, 2010
(Affiliated with POPL'10)
http://www.program-transformation.org/PEPM10
===============================================================
Abstracts of all papers and presentations are available from the
above web site.
INVITED TALKS:
* Lennart Augustsson (Standard Chartered Bank, UK)
Title: O, Partial Evaluator, Where Art Thou?
* Jeremy G. Siek (University of Colorado at Boulder, USA)
Title: General Purpose Languages Should be Metalanguages.
CONTRIBUTED TALKS:
* Nabil el Boustani and Jurriaan Hage.
Corrective Hints for Type Incorrect Generic Java Programs.
* Johannes Rudolph and Peter Thiemann.
Mnemonics: Type-safe Bytecode Generation at Run Time.
* Elvira Albert, Miguel Gomez-Zamalloa and German Puebla.
PET: A Partial Evaluation-based Test Case Generation Tool for Java
Bytecode.
* Martin Hofmann.
Igor II - an Analytical Inductive Functional Programming System.
* José Pedro Magalhães, Stefan Holdermans, Johan Jeuring and Andres Löh.
Optimizing Generics Is Easy!
* Michele Baggi, María Alpuente, Demis Ballis and Moreno Falaschi.
A Fold/Unfold Transformation Framework for Rewrite Theories extended
to CCT.
* Hugh Anderson and Siau-Cheng Khoo.
Regular Approximation and Bounded Domains for Size-Change Termination.
* Évelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich,
Olivier Pons and Xavier Urbain.
A3PAT, an Approach for Certified Automated Termination Proofs.
* Fritz Henglein.
Optimizing Relational Algebra Operations Using Generic Equivalence
Discriminators and Lazy Products.
* Adrian Riesco and Juan Rodriguez-Hortala.
Programming with Singular and Plural Non-deterministic Functions.
* Martin Hofmann and Emanuel Kitzelmann.
I/O Guided Detection of List Catamorphisms.
* Andrew Moss and Dan Page.
Bridging the Gap Between Symbolic and Efficient AES Implementations.
* Christopher Brown and Simon Thompson.
Clone Detection and Elimination for Haskell.
* Stefan Holdermans and Jurriaan Hage.
Making "Stricterness" More Relevant.
* Arun Lakhotia, Davidson Boccardo, Anshuman Singh and Aleardo Manacero
Júnior.
Context-Sensitive Analysis of Obfuscated x86 Executables.
* Xin Li and Mizuhito Ogawa.
Conditional Weighted Pushdown Systems and Applications.
* Ivan Lazar Miljenovic.
The SourceGraph Program.
* Florian Haftmann.
From Higher-Order Logic to Haskell: There and Back Again.
SPECIAL FEATURE:
* Andy Gill, Garrin Kimmell and Kevin Matlage.
Capturing Functions and Catching Satellites.
reply other threads:[~2009-12-21 6:19 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4B2F1363.6010008@informatik.uni-bonn.de \
--to=jv@informatik.uni-bonn.de \
--cc=agda@lists.chalmers.se \
--cc=caml-list@inria.fr \
--cc=clp@comp.nus.edu.sg \
--cc=comlab@comlab.ox.ac.uk \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=coq-club@pauillac.inria.fr \
--cc=dbworld@cs.wisc.edu \
--cc=easst-members@cs.uni-potsdam.de \
--cc=ecoop-info@ecoop.org \
--cc=epigram@durham.ac.uk \
--cc=gi-fg214@informatik.uni-kiel.de \
--cc=haskell-cafe@haskell.org \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=kgs@logic.tuwien.ac.at \
--cc=lprolog@cs.umn.edu \
--cc=mercury-ads@cs.mu.oz.au \
--cc=nwpt-info@lists.ioc.ee \
--cc=pept@kb.ecei.tohoku.ac.jp \
--cc=prog-lang@diku.dk \
--cc=prole@babel.ls.fi.upm.es \
--cc=rewriting@ens-lyon.fr \
--cc=security@fosad.org \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).