Eighth Biennial Ptolemy Miniconference Program

Continental Breakfast, Registration and Introductions

Registration and Continental Breakfast

"Ptolemy Project Vision"

Edward A. Lee (University of California, Berkeley)

"Kepler Project Overview, Status, and Future Directions"

Bertram Ludäscher (University of California, Davis)

Featured Presentation

"Model Transformation with the Ptera Controller"

Thomas Huining Feng, (University of California)

Break

Hardware and Distributed Systems

"Parallel Virtual Machines in Kepler"

Daniel Zinn, Xuan Li, Bertram Ludäscher (University of California, Davis)

"The APES-LESS project: Access Point Event Simulation of Legacy Embedded Software Systems"

Stefan Resmerita (University of California, Berkeley) and Patricia Derler (University of Salzburg)

"Precision Timed (PRET) Machines"

Hiren Patel, Ben Lickly, Isaac Liu (University of California, Berkeley)

"PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS"

Slobodan Matic and Jia Zou (University of California, Berkeley)

Posters and Lunch

3 minute Poster Overviews

Below is a partial list of posters, we expect additional posters.

"On-time Network On-Chip: Analysis and Architecture"

Dai Nguyen Bui (UC Berkeley), Alessandro Pinto (United Technologies Research Center)

"Everyone Virtualized Everything But Time"

Silviu S. Craciunas, Christoph M. Kirsch

"Using 3D Graphics in Combination with other Models of Computation"

Yasmin Demir (UC Berkeley)

"Model Transformation with the Ptera Controller"

Thomas Huining Feng (UC Berkeley)

"PtidyOS: An operating system based on the PTIDES programming model"

Shanna-Shaye Forbes, Jia Zou, Slobodan Matic (University of California, Berkeley)

"Modeling Network Lifetime in a WSN using VisualSense"

Ricardo Gonzalez, Maribel Acosta (Universidad Simon Bolívar)

"Retargetable Model-Based Code Generation in Ptolemy II"

Man-Kit Leung, Tony Huang, Bert Rodiers(UC Berkeley)

"Precision Timed Exceptions"

Ben Lickly (UC Berkeley)

"Side channel elimination on a Precision Timed Architecture"

Isaac Liu (UC Berkeley)

"Foundations of Cyber-Physical Systems"

Eleftherious Matsikoudis

"Precision Timed (PRET) Machines"

Hiren Patel, Ben Lickly, Isaac Liu (University of California, Berkeley)

"Optimizing Comad for growing input data sets"

Sean Riddle, Amber Hartman, Timothy M. McPhillips, Shawn Bowers, David Welker, and Bertram Ludäscher (University of California, Davis)

"Channel Widths"

Bert Rodiers (UC Berkeley)

"A generalized framework for modeling and scheduling heterogeneous dataflow applications"

Nimish Sane, Shuvra S. Bhattacharyya, (University of Maryland)

"KAMon: A Kepler Module for Runtime Monitoring of Scientific Workflows"

Faraaz Sareshwala, Bertram Ludäscher (University of California, Davis)

"Simulating the Calculus for Sensor Networks in VisualSense"

Duarte Vieira (University of Lisbon)

Lunch (Provided)

Poster Session

Provenance and Ontologies

"A Provenance Framework to Capture, Store, Query, and Browse Data Lineage in Kepler"

Manish Kumar Anand (University of California, Davis)

"Model Ontologies: Generalizing Type System Ideas to Arbitrary Model"

Thomas Mandl (Bosch), Elizabeth Latronico (Bosch), Jackie Man-Kit Leung (University of California, Berkeley)

"An integrated approach to managing workflow runs and generating reports in Kepler"

Ben Leinfelder(1), Ilkay Altintas(2), Derik Barseghian(1), Daniel Crawl(2), Matthew B. Jones(1), Aaron Schultz(1), Debi Staggs(1)
(1) National Center for Ecological Analysis and Synthesis;
(2) San Diego Supercomputer Center

Break

And Beyond

"Using Actor-based design for IP Sharingh"

Darryl Koivisto (Mirabilis Design)

"Taking LabVIEW further into the System Level Design Domain"

Hugo Andrade, Sadia Malik, Mike Rauser, Kaushik Ravindran, Gerald Wang, and Guang Yang (National Instruments)

"Exploring Modeling Pragmatics with Ptolemy and KIELER"

Hauke Fuhrmann and Reinhard von Hanxleden (Christian-Albrechts-Universität zu Kiel, Germany)

"Closing Remarks"

Edward A. Lee (University of California, Berkeley)

Reception