You are here: Home

This page does not seem to exist…

We apologize for the inconvenience, but the page you were trying to access is not at this address. You can use the links below to help you find what you are looking for.

If you are certain you have the correct web address but are encountering an error, please contact the Site Administration.

Thank you.

You might have been looking for…

Documentation
All PIPS-related documentation is here!
March 02, 2012 - PLAS 2012 (Seventh ACM SIGPLAN Workshop on Programming Languages and Analysis for Security)
Seventh ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2012) ...
January 18, 2013 - CSTVA'13 (5th International workshop on Constraints in Software Testing, Verification and Analysis)
CSTVA'13 - 5th International workshop on Constraints in Software Testing, Verification and Analysis ...
March 12, 2012 - PDPTA'12 (The 2012 International Conference on Parallel and Distributed Processing Techniques and Applications)
PDPTA'12 The 2012 International Conference on Parallel and Distributed Processing Techniques and Applications July ...
Bibliography
PIPS-related bibliography (unfortunately not up to date yet...)
March 12, 2012 - IPCV'12 (The 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition)
IPCV'12 The 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition Date and ...
NewGen: A Language-Independent Program GeneratorReport ENSMP/CRI/A-191
WPips & EPips User Manual
File PDF document PPoPP 2010 PIPS Tutorial (PDF format, no animations)
This PDF file only shows the final stage of in-slide animations. It is better fit for printing.
File PDF document PPoPP 2010 PIPS Tutorial (PDF format, expanded animations)
This PDF file expands in-slide animations into extra individual slides. It is better fit for on-screen viewing.