archive-edu.com » EDU » U » UPENN.EDU

Total: 21

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • ExCAPE:Expeditions in Computer Augmented Program Engineering
    software synthesis In the proposed paradigm a programmer can express insights through a variety of forms such as incomplete programs example behaviors and high level requirements and the synthesis tool generates the implementation relying on powerful analysis algorithms and programmer collaboration The ExCAPE plan is to produce a range of design tools that let end users program robots by demonstrating example behaviors and that provide smart assistance for expert programmers

    Original URL path: https://excape.cis.upenn.edu/ (2012-12-12)
    Open archived version from archive


  • News and Events | ExCAPE:Expeditions in Computer Augmented Program Engineering
    was elected to membership in the Institute of Medicine IOM of the National Academies 1 Oct 2012 ExCAPE Webinar Series Presents Compositional Temporal Synthesis by Moshe Vardi 24 Sep 2012 Teleconference Robotics Challenge 10 Sep 2012 ExCAPE Webinar Series Presents Sketch Tutorial by Armando Solar Lezama 13 17 Aug 2012 Demo The Route Shepherd at ACM SIGCOMM 2012 4 5 Jun 2012 ExCAPE Kick off meeting University of Pennsylvania 3

    Original URL path: https://excape.cis.upenn.edu/news-events.html (2012-12-12)
    Open archived version from archive

  • About | ExCAPE:Expeditions in Computer Augmented Program Engineering
    insights through a variety of formats leading to a more intuitive and less error prone way of programming The synthesis tool uses a range of computational approaches and developer interaction to compose these different views about the structure and functionality of the system into a unified concrete implementation The computational techniques include decision procedures for constraint satisfaction problems iterative schemes for abstraction and refinement and data driven learning The methodology for programmer interaction moves verification from the back end of the design cycle to the front end with the promise of a more reliable software product To develop the theory and practice of the proposed paradigm the ExCAPE team brings together expertise in theoretical foundations computer aided verification control theory program analysis design methodology human computer interaction model based design programming environments and applications concurrent programming network protocols robotics system architecture Research will focus on developing new computational engines for transformation and integration of synthesis artifacts and effective methods for programmer interaction and feedback While the benefits of the ExCAPE approach will apply broadly to software development the ExCAPE team will focus its efforts by initially targeting four challenge problems developing efficient concurrent data structures developing protocols for on chip interconnection networks developing distributed routing network protocols and end user programming for autonomous robots The ExCAPE approach will be a radical departure from the way these problems are solved today For example for the challenge problem on concurrent programming the planned design tool will provide smart assistance for expert programmers to produce efficient and correct code while the proposed tool for the robotics challenge problem will let end users program robots by demonstrating example behaviors As ExCAPE aims to affect industrial practice design tools for all four challenge problems will be developed and evaluated in close collaboration with industrial partners

    Original URL path: https://excape.cis.upenn.edu/about.html (2012-12-12)
    Open archived version from archive

  • Research Team | ExCAPE:Expeditions in Computer Augmented Program Engineering
    Events About Research Team Research Organization Industrial Advisory Board Challenge Problems Education Outreach Presentations Publications Postdoc Openings ExCAPE PIs Only Principal Investigators Students Postdocs Collaborators Support Staff Penn Penn Engineering University of Pennsylvania School of Engineering Applied Science 111 Towne

    Original URL path: https://excape.cis.upenn.edu/research-team.html (2012-12-12)
    Open archived version from archive

  • Research Organization | ExCAPE:Expeditions in Computer Augmented Program Engineering
    News and Events About Research Team Research Organization Industrial Advisory Board Challenge Problems Education Outreach Presentations Publications Postdoc Openings ExCAPE PIs Only Research Organizational Structure Penn Penn Engineering University of Pennsylvania School of Engineering Applied Science 111 Towne Building 220

    Original URL path: https://excape.cis.upenn.edu/research-organization.html (2012-12-12)
    Open archived version from archive

  • Industrial Advisory Board | ExCAPE:Expeditions in Computer Augmented Program Engineering
    Industrial Advisory Board John Field Google Limor Fix Intel Labs Datta Godbole Honeywell Technology Center Patrice Godefroid Microsoft Research Aarti Gupta NEC Labs America Himanshu Khurana Honeywell Andreas Kuehlmann Coverity Peter Lee Microsoft Research Pieter Mosterman MathWorks Mark Wegman IBM

    Original URL path: https://excape.cis.upenn.edu/industrial-advisory-board.html (2012-12-12)
    Open archived version from archive

  • Challenge Problems | ExCAPE:Expeditions in Computer Augmented Program Engineering
    Publications Postdoc Openings ExCAPE PIs Only While the benefits of the ExCAPE approach will apply broadly to software development to understand the viability and roadblocks for the proposed approach the ExCAPE team will focus its efforts by initially targeting four challenge problems These problems are representative of the complexity of modern cyber physical systems on networked multi core platforms These include Robotic Controllers Networked Systems Concurrent Programming Multi core Protocols

    Original URL path: https://excape.cis.upenn.edu/challenge-problems.html (2012-12-12)
    Open archived version from archive

  • Education/Outreach | ExCAPE:Expeditions in Computer Augmented Program Engineering
    the potential to revolutionize the way computing concepts are taught Building on the core technology used in program synthesis the ExCAPE team plans to develop smart tutoring software that can analyze students answers for conceptual errors and generate additional problems tailored to that student This tutoring software will be developed for representative high school and undergraduate courses and will be made widely available 2 K 12 Education ExCAPE will partner with existing programs for high school students at collaborating institutions for example WICS and SAAST at Penn that are aimed at getting high school students excited about careers in computer science and engineering Our research vision that programming does not mean coding is synergetic to the goals of these programs We will prepare course modules to be used in these programs allowing students to focus on computational thinking more than mundane coding details 3 Summer School Foundations of ExCAPE tools are drawn from a number of disciplines including program analysis model checking controller synthesis constraint solvers computational learning and hybrid systems To provide researchers with cross disciplinary training in all these areas one week summer school is planned The summer school will be organized in 2013 and in 2015 4

    Original URL path: https://excape.cis.upenn.edu/education-outreach.html (2012-12-12)
    Open archived version from archive



  •