473,289 Members | 1,780 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,289 software developers and data experts.

POPL 2007 Call for Participation

************************************************** *******************
* ACM SIGPLAN-SIGACT Symposium *
* on *
* Principles of Programming Languages *
* *
* January 17-19, 2007 *
* Nice, France *
* *
* Call for Participation *
* *
* http://www.cs.ucsd.edu/popl/07 *
************************************************** *******************

Important dates

* Early registration deadline: December 15, 2006
* Conference: January 17-19, 2007

Scope

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of fundamental principles and important innovations
in the design, definition, analysis, transformation, implementation
and verification of programming languages, programming systems, and
programming abstractions. Both experimental and theoretical papers are
welcome.

Student Attendees

Students who have a paper accepted for the conference are offered
SIGPLAN student membership free for one year. As members of SIGPLAN
they may apply for travel fellowships from the PAC fund
(http://www.acm.org/sigs/sigplan/PAC.htm).

Conference Chair

Martin Hoffmann
Ludwig-Maximilians-Universitat
Oettingenstr 67,
80538, Munich, GERMANY

Program Committee Chair

Matthias Felleisen
College of Computer Science
Northeastern University
Boston, MA 02115
USA

Program Committee

Hans Boehm HP Laboratories
Craig Chambers U Washington
Patrick Cousot ENS, Paris
Benjamin Goldberg NYU, New York
Andy Gordon Microsoft Research, Cambridge
Dan Grossman U Washington
John Hatcliff Kansas State U
Tom Henzinger EPFL, Lausanne
Paul Hudak Yale
Mark Jones Portland State University, Portland
Gabriele Keller University of New South Wales
Oege de Moor Oxford
Eliot Moss U Massachusetts, Amherst
Benjamin Pierce U Pennsylvania
Jakob Rehof Universitat Dortmund
Olin Shivers Georgia Tech, Atlanta
Scott Smith Johns Hopkins, Baltimore
Kevin Sullivan U Virginia
Carolyn Talcott SRI International
David Walker Princeton

Affiliated Events

* Declarative Aspects of Multicore Programming (DAMP)
* January 16th, 2007

* Foundations and Developments of Object-Oriented Languages (FOOL/WOOD)
* January 20, 2007

* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
* January 15-16, 2007

* Practical Applications of Declarative Languages (PADL)
* January 14-15, 2007

* Programming Language Technologies for XML (PLAN-X)
* January 20, 2007

* Types in Language Design and Implementation (TLDI)
* January 16, 2007

* Verification, Model Checking and Abstract Interpretation (VMCAI)
* January 14-16, 2007

Preliminary Program

* Wednesday, 17 January 2007

* Invited Keynote: 9:00 - 10:00

Perl 6: Reconciling the Irreconcilable
Audrey Tang

* Session 1: 10:20 - 11:20

Operational Semantics for Multi-Language Programs
Jacob Matthews and Robert Bruce Findler

Semantics of Static Pointcuts in AspectJ
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege
de Moor, Damien Sereni, Julian Tibble, Mathieu
Verbaere

A Typed Intermediate Language for Compiling Multiple
Inheritance
Juan Chen

* Session 2: 11:30 - 12:30

Cork: Dynamic Memory Leak Detection for Garbage-
Collected Languages
Maria Jump and Kathryn S McKinley

Dynamic Heap Type Inference for Program Understanding
and Debugging
Marina Polishchuk, Ben Liblit, and Chloe W. Schulze

Compositional Dynamic Test Generation
Patrice Godefroid

Locality Approximation Using Time
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding

* Session 3: 14:00 - 15:15

Modular Type Classes
Derek Dreyer, Robert Harper, and Manuel M.T.
Chakravarty

First-Class Nonstandard Interpretations by Opening Closures
Jeffrey Mark Siskind and Barak A. Pearlmutter

PADS/ML: A Functional Data Description Language
Yitzhak Mandelbaum, Kathleen Fisher, David Walker,
Mary Fernandez, and Artem Gleyzer

Generative Unbinding of Names
Andrew M Pitts and Mark R Shinwell

* Session 4: 15:45 - 17:15

Types, Bytes, and Separation Logic
Gerwin Klein, Harvey Tuch, Michael Norrish

A Very Modal Model of a Modern, Major, General Type
System
Andrew W. Appel, Paul-Andre Mellies, Christopher D.
Richards, Jerome Vouillon

Context Logic as Modal Logic: Completeness and Parametric
Inexpressivity
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

* Thursday, 18 January 2007

* Invited Keynote: 9:00 - 10:00

From Implementation to Theory in Product Synthesis
Don Batory

* Session 5: 10:20 - 11:30

Scrap your boilerplate with XPath-like combinators
Ralf Lammel

Lightweight Fusion by Fixed Point Promotion
Atsushi Ohori , Isao Sasano

Lazy Multivariate Higher-Order Forward-Mode AD
Barak A. Pearlmutter and Jeffrey Mark Siskind

* Session 6: 11:30 - 12:30

A Complete, Co-Inductive Syntactic Theory of Sequential
Control and State
Kristian Stoevring and Soren B. Lassen

Towards a Mechanized Metatheory of Standard ML
Daniel K. Lee, Karl Crary, Robert Harper

* Session 7: 14:00 - 15:30

Logic-Flow Analysis of Higher-Order Programs
Matthew Might

Extracting Queries by Static Analysis of Transparent
Persistence
Ben Wiedermann and William R. Cook

Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino
Distefano, Peter O'Hearn

* Session 8: 16:00 - 17:30

Assessing security threats of looping constructs
Pasquale Malacaria

JavaScript Instrumentation for Browser Security
Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor
Serikov

Secure Implementations of Typed Channel Abstractions
Michele Bugliesi and Marco Giunti

* Friday, 19 January 2007

* Invited Keynote: 9:00 - 10:00

Advanced Programming Languages in Enterprise Software:
A lambda-calculus theorist wanders into an enterprise
datacenter
Chet Murthy

* Session 9: 10:20 - 11:20

Proving That Programs Eventually Do Something Good
Byron Cook, Alexey Gotsman, Andreas Podelski,
Andrey Rybalchenko, Moshe Vardi

Program Verification as Probabilistic Inference
Sumit Gulwani and Nebojsa Jojic

* Session 10: 11:30 - 12:30

Lock Allocation
Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak
Majumdar

Modular Verification of a Non-Blocking Stack
Matthew Parkinson, Richard Bornat and Peter O'Hearn

On the Analysis of Interacting Pushdown Systems
Vineet Kahlon and Aarti Gupta

* Session 11: 14:00 - 15:30

Specialization of CML message-passing primitives
John Reppy, Yingqi Xiao

Conditional Must Not Aliasing for Static Race Detection
Mayur Naik and Alex Aiken

Interprocedural Analysis of Asynchronous Programs
Ranjit Jhala, Rupak Majumdar

* Session 12: 16:00 - 17:30

Preferential Path Profiling: Compactly Numbering
Interesting Paths
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi

Geometry of Synthesis: A structured approach to VLSI
design
Dan Ghica

A Semantics-Based Approach to Malware Detection
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha,
Saumya Debray
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]

Dec 15 '06 #1
0 1311

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

0
by: Hubert Baumeister | last post by:
Fifth International Conference on eXtreme Programming and Agile Processes in Software Engineering XP2004 June 6-10, 2004, Garmisch-Partenkirchen, Germany http://www.xp2004.org/
0
by: melledge | last post by:
XML 2005 Call for Participation now open - deadline May 13 The XML 2005 Call for Papers is now open. Please visit http://www.xmlconference.org for submission details. XML 2005 takes place at...
0
by: dpw | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: Kevin Altis | last post by:
OSCON 2007 http://conferences.oreillynet.com/os2007/ Save the date for the 9th annual O'Reilly Open Source Convention, happening July 23-27, 2007 at the Oregon Convention Center in beautiful...
0
by: Kevin Altis | last post by:
Be Heard at OSCON 2007 -- Submit Your Proposal to Lead Sessions and Tutorials by February 5! The O'Reilly Open Source Convention July 23-27, 2007 Portland, Oregon...
0
by: Michael Hudson | last post by:
Book Monday 9th July to Wednesday 11th July 2007 in your calendar! EuroPython 2007, the European Python and Zope Conference, will be held in Vilnius, Lithuania. Last year's conference was a great...
0
by: sorin.lerner | last post by:
********************************************************************* * ACM SIGPLAN-SIGACT Symposium * * on ...
0
by: Scott Abel | last post by:
The Fall 2007 CM Pros Summit Team is pleased to announce a Call for Participation. This year's Fall Summit will take place at the Westin Copley Place, Monday, November 26, 2007 in conjunction with...
2
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 7 Feb 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:30 (7.30PM). In this month's session, the creator of the excellent VBE...
0
by: MeoLessi9 | last post by:
I have VirtualBox installed on Windows 11 and now I would like to install Kali on a virtual machine. However, on the official website, I see two options: "Installer images" and "Virtual machines"....
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
0
by: Aftab Ahmad | last post by:
Hello Experts! I have written a code in MS Access for a cmd called "WhatsApp Message" to open WhatsApp using that very code but the problem is that it gives a popup message everytime I clicked on...
0
by: Aftab Ahmad | last post by:
So, I have written a code for a cmd called "Send WhatsApp Message" to open and send WhatsApp messaage. The code is given below. Dim IE As Object Set IE =...
0
by: ryjfgjl | last post by:
ExcelToDatabase: batch import excel into database automatically...
0
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
1
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.