FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567162294> ?p ?o ?g. }

• W1567162294 abstract "New computing platforms have greatly increased thedemand for programmers, but learning to program remains a bigchallenge. Program synthesis techniques have the potential torevolutionize programming by making it more accessible. In thisdissertation, I present three systems, AutoProf, FlashFill, andStoryboard Programming Tool (SPT), that work towards makingprogramming more accessible to a large class of people, namelystudents and end-users. The AutoProf (Automated Program Feedback)system provides automated feedback to students on introductoryprogramming assignments. It has been successfully piloted onthousands of student submissions from an edX course and iscurrently being integrated on the MITx and edX platforms. TheFlashFill system helps spreadsheet end-users perform semanticstring transformations, number transformations, and table lookuptransformations using few input-output examples. A part of theFlashFill system is shipping in Microsoft Excel 2013 and was quotedas one of the top features in Excel by many press articles.Finally, the Storyboard Programming Tool helps students write datastructure manipulations using visual examples similar to the onesused in textbooks and classrooms. It has been used to synthesizemany textbook manipulations over linked list, binary search trees,and graphs. These systems are enabled by new Program Synthesistechniques. Unlike traditional program synthesis approaches wherethe primary goal was to derive provably correct programs from acomplete specification, these synthesis techniques are designedaround natural specification mechanisms and intuitive interactionmodels. Each system relies on a different synthesis technique, butthe techniques can be structured and understood in terms of fourmajor components:  – Specification Mechanism: The way users specifythe functional behavior of their intended tasks to the system. Oursynthesis techniques support more natural and intuitive forms ofspecification such as input-output examples, referenceimplementation, intermediate states etc.  – Hypothesis Space: Thehypothesis space defines the space of possible programs the systemsearches over to synthesize the desired program. The hypothesisspace can be fixed or parametrized (user-defined) with additionaluser inputs. The fixed hypothesis spaces are defined usingdomain-specific languages (DSL) that exploit the domain knowledgeto efficiently structure the hypothesis space, which enables thesystems to represent a huge set of expressions in these languagessuccinctly. The parametric hypothesis spaces are defined usingintuitive user inputs that allows users to easily define andcontrol the space of possible programs.  – Synthesis Algorithm: Wedevelop new constraint-based and version-space algebra basedsynthesis algorithms to efficiently learn programs from a largehypothesis space that conform to the specification.  – UserInteraction Model: Finally, the user interaction model determineshow users refine their intent and provide additional insights tothe system for…" @default.
• W1567162294 created "2016-06-24" @default.
• W1567162294 creator A5045091456 @default.
• W1567162294 date "2014-01-01" @default.
• W1567162294 modified "2023-09-27" @default.
• W1567162294 title "Accessible programming using program synthesis" @default.
• W1567162294 cites W10496484 @default.
• W1567162294 cites W1483674998 @default.
• W1567162294 cites W1492324553 @default.
• W1567162294 cites W1510293570 @default.
• W1567162294 cites W1522437599 @default.
• W1567162294 cites W1528837436 @default.
• W1567162294 cites W1557466878 @default.
• W1567162294 cites W1557880268 @default.
• W1567162294 cites W1560374668 @default.
• W1567162294 cites W156284338 @default.
• W1567162294 cites W1567479568 @default.
• W1567162294 cites W1581576329 @default.
• W1567162294 cites W1582325564 @default.
• W1567162294 cites W1582587605 @default.
• W1567162294 cites W1596034300 @default.
• W1567162294 cites W1612810659 @default.
• W1567162294 cites W1694295455 @default.
• W1567162294 cites W1737156267 @default.
• W1567162294 cites W1763513967 @default.
• W1567162294 cites W1765180305 @default.
• W1567162294 cites W1792831685 @default.
• W1567162294 cites W1877129949 @default.
• W1567162294 cites W1971973232 @default.
• W1567162294 cites W1973831620 @default.
• W1567162294 cites W1979253984 @default.
• W1567162294 cites W1983496086 @default.
• W1567162294 cites W1988335552 @default.
• W1567162294 cites W1991837261 @default.
• W1567162294 cites W1999298208 @default.
• W1567162294 cites W2004416368 @default.
• W1567162294 cites W2007682403 @default.
• W1567162294 cites W2007798926 @default.
• W1567162294 cites W2011607672 @default.
• W1567162294 cites W2012312630 @default.
• W1567162294 cites W2012436850 @default.
• W1567162294 cites W2013167115 @default.
• W1567162294 cites W2014764321 @default.
• W1567162294 cites W2018365488 @default.
• W1567162294 cites W2021739502 @default.
• W1567162294 cites W2023299380 @default.
• W1567162294 cites W2023878327 @default.
• W1567162294 cites W2037594241 @default.
• W1567162294 cites W2040900440 @default.
• W1567162294 cites W2043100293 @default.
• W1567162294 cites W2049311030 @default.
• W1567162294 cites W2054974985 @default.
• W1567162294 cites W2056458682 @default.
• W1567162294 cites W2065394549 @default.
• W1567162294 cites W2067802667 @default.
• W1567162294 cites W2072173758 @default.
• W1567162294 cites W2078404830 @default.
• W1567162294 cites W2080265580 @default.
• W1567162294 cites W2087698847 @default.
• W1567162294 cites W2091158010 @default.
• W1567162294 cites W2097335450 @default.
• W1567162294 cites W2098022036 @default.
• W1567162294 cites W2098575846 @default.
• W1567162294 cites W2101188827 @default.
• W1567162294 cites W2101432564 @default.
• W1567162294 cites W2105315191 @default.
• W1567162294 cites W2108473060 @default.
• W1567162294 cites W2108862644 @default.
• W1567162294 cites W2108991785 @default.
• W1567162294 cites W2109277099 @default.
• W1567162294 cites W2111326547 @default.
• W1567162294 cites W2115733813 @default.
• W1567162294 cites W2121932026 @default.
• W1567162294 cites W2125303369 @default.
• W1567162294 cites W2126071695 @default.
• W1567162294 cites W2126650630 @default.
• W1567162294 cites W2127008633 @default.
• W1567162294 cites W2130371489 @default.
• W1567162294 cites W2131146089 @default.
• W1567162294 cites W2131257014 @default.
• W1567162294 cites W2131933959 @default.
• W1567162294 cites W2132525863 @default.
• W1567162294 cites W2133068784 @default.
• W1567162294 cites W2134734244 @default.
• W1567162294 cites W2137824953 @default.
• W1567162294 cites W2142126234 @default.
• W1567162294 cites W2143331230 @default.
• W1567162294 cites W2143861926 @default.
• W1567162294 cites W2146105230 @default.
• W1567162294 cites W2148479118 @default.
• W1567162294 cites W2151497118 @default.
• W1567162294 cites W2152570960 @default.
• W1567162294 cites W2153943889 @default.
• W1567162294 cites W2158615804 @default.
• W1567162294 cites W2158870716 @default.
• W1567162294 cites W2160619469 @default.
• W1567162294 cites W2160985005 @default.
• W1567162294 cites W2161159055 @default.
• W1567162294 cites W2162535172 @default.
• W1567162294 cites W2164611950 @default.

• next