Conference
Προβολή σε EDS

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
Συγγραφείς: Raven Rothkopf, Angel Leyi Cui, Hannah Tongxin Zeng, Arya Sinha, Mark Santolucito
Έτος έκδοσης: 2023
Συλλογή: KiltHub Research from Carnegie Mellon University
Θεματικοί όροι: Human-computer interaction, Programming languages, Program Synthesis, Reactive Synthesis, Temporal Stream Logic, Google Blockly, structure editors, visual programming, Computer-Human Interaction
Περιγραφή: Temporal logic specifications can be used to synthesize reactive systems by writing high-level descriptions of desired behavior, without the need to manually program a complete system. While synthesis from temporal logics has long been focused on hardware systems, recent work has expanded applications of synthesis to include areas of broader interest, such as mobile apps, visualization, and self-driving cars. These new application areas have the potential to bring new types of users into the synthesis community, but significant usability hurdles remain. In this work, we investigate how Temporal Stream Logic (TSL), a temporal logic specification language, can be made more usable and approachable to programmers of all skill levels. We propose a study design to evaluate the usefulness of an alternative interface for writing TSL to address the syntactic hurdle of temporal logic. We then outline areas for improvement and exploration in TSL and reactive synthesis as a whole.
Τύπος εγγράφου: conference object
Γλώσσα: unknown
Relation: https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356
DOI: 10.1184/R1/22277356.v1
Διαθεσιμότητα: https://doi.org/10.1184/R1/22277356.v1
https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356
Rights: CC BY 4.0
Αριθμός Καταχώρησης: edsbas.DD1D5B19
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://doi.org/10.1184/R1/22277356.v1#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.DD1D5B19
RelevancyScore: 941
AccessLevel: 3
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 941.330688476563
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Raven+Rothkopf%22">Raven Rothkopf</searchLink><br /><searchLink fieldCode="AR" term="%22Angel+Leyi+Cui%22">Angel Leyi Cui</searchLink><br /><searchLink fieldCode="AR" term="%22Hannah+Tongxin+Zeng%22">Hannah Tongxin Zeng</searchLink><br /><searchLink fieldCode="AR" term="%22Arya+Sinha%22">Arya Sinha</searchLink><br /><searchLink fieldCode="AR" term="%22Mark+Santolucito%22">Mark Santolucito</searchLink>
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2023
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: KiltHub Research from Carnegie Mellon University
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Human-computer+interaction%22">Human-computer interaction</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Program+Synthesis%22">Program Synthesis</searchLink><br /><searchLink fieldCode="DE" term="%22Reactive+Synthesis%22">Reactive Synthesis</searchLink><br /><searchLink fieldCode="DE" term="%22Temporal+Stream+Logic%22">Temporal Stream Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Google+Blockly%22">Google Blockly</searchLink><br /><searchLink fieldCode="DE" term="%22structure+editors%22">structure editors</searchLink><br /><searchLink fieldCode="DE" term="%22visual+programming%22">visual programming</searchLink><br /><searchLink fieldCode="DE" term="%22Computer-Human+Interaction%22">Computer-Human Interaction</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Temporal logic specifications can be used to synthesize reactive systems by writing high-level descriptions of desired behavior, without the need to manually program a complete system. While synthesis from temporal logics has long been focused on hardware systems, recent work has expanded applications of synthesis to include areas of broader interest, such as mobile apps, visualization, and self-driving cars. These new application areas have the potential to bring new types of users into the synthesis community, but significant usability hurdles remain. In this work, we investigate how Temporal Stream Logic (TSL), a temporal logic specification language, can be made more usable and approachable to programmers of all skill levels. We propose a study design to evaluate the usefulness of an alternative interface for writing TSL to address the syntactic hurdle of temporal logic. We then outline areas for improvement and exploration in TSL and reactive synthesis as a whole.
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: conference object
– Name: Language
  Label: Language
  Group: Lang
  Data: unknown
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1184/R1/22277356.v1
– Name: URL
  Label: Availability
  Group: URL
  Data: https://doi.org/10.1184/R1/22277356.v1<br />https://figshare.com/articles/conference_contribution/Towards_the_Usability_of_Reactive_Synthesis_Building_Blocks_of_Temporal_Logic/22277356
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: CC BY 4.0
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.DD1D5B19
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.DD1D5B19
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1184/R1/22277356.v1
    Languages:
      – Text: unknown
    Subjects:
      – SubjectFull: Human-computer interaction
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Program Synthesis
        Type: general
      – SubjectFull: Reactive Synthesis
        Type: general
      – SubjectFull: Temporal Stream Logic
        Type: general
      – SubjectFull: Google Blockly
        Type: general
      – SubjectFull: structure editors
        Type: general
      – SubjectFull: visual programming
        Type: general
      – SubjectFull: Computer-Human Interaction
        Type: general
    Titles:
      – TitleFull: Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Raven Rothkopf
      – PersonEntity:
          Name:
            NameFull: Angel Leyi Cui
      – PersonEntity:
          Name:
            NameFull: Hannah Tongxin Zeng
      – PersonEntity:
          Name:
            NameFull: Arya Sinha
      – PersonEntity:
          Name:
            NameFull: Mark Santolucito
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2023
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1