Zobrazeno 1 - 10
of 412
pro vyhledávání: '"KRISHNAMURTHI, SHRIRAM"'
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 12
Context: Roblox Studio lets millions of creators build interactive experiences by programming in a variant of Lua called Luau. The creators form a broad group, ranging from novices writing their first script to professional developers; thus, Luau mus
Externí odkaz:
http://arxiv.org/abs/2403.02409
Autor:
Crichton, Will, Krishnamurthi, Shriram
This paper documents a year-long experiment to "profile" the process of learning a programming language: gathering data to understand what makes a language hard to learn, and using that data to improve the learning process. We added interactive quizz
Externí odkaz:
http://arxiv.org/abs/2401.01257
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 7
Context: Students often misunderstand programming problem descriptions. This can lead them to solve the wrong problem, which creates frustration, obstructs learning, and imperils grades. Researchers have found that students can be made to better unde
Externí odkaz:
http://arxiv.org/abs/2401.00021
Autor:
Crichton, Will, Krishnamurthi, Shriram
Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document notations. However, there are no formal foundations that model these
Externí odkaz:
http://arxiv.org/abs/2310.04368
Programmers learning Rust struggle to understand ownership types, Rust's core mechanism for ensuring memory safety without garbage collection. This paper describes our attempt to systematically design a pedagogy for ownership types. First, we studied
Externí odkaz:
http://arxiv.org/abs/2309.04134
The R programming language is widely used in large-scale data analyses. It contains especially rich built-in support for dealing with vectors, arrays, and matrices. These operations feature prominently in the applications that form R's raison d'\^etr
Externí odkaz:
http://arxiv.org/abs/2304.04265
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 2, Article 7
Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new uses of LTL in robotics and planning activities. All these uses demand
Externí odkaz:
http://arxiv.org/abs/2211.01677
Autor:
Lu, Kuang-Chen, Greenman, Ben, Meyer, Carl, Viehland, Dino, Panse, Aniket, Krishnamurthi, Shriram
Publikováno v:
The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 1, Article 2
Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in others, communication across type boundaries can be extremely expensive; a
Externí odkaz:
http://arxiv.org/abs/2206.13831
Autor:
Nelson, Tim, Rivera, Elijah, Soucie, Sam, Del Vecchio, Thomas, Wrenn, John, Krishnamurthi, Shriram
Publikováno v:
The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 2, Article 10
Context: This work is based on property-based testing (PBT). PBT is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstract area of formal methods. Specifically, we focus on students learning
Externí odkaz:
http://arxiv.org/abs/2111.10414