Zobrazeno 1 - 10
of 334
pro vyhledávání: '"Coblenz, A"'
By sampling from the latent space of an autoencoder and decoding the latent space samples to the original data space, any autoencoder can simply be turned into a generative model. For this to work, it is necessary to model the autoencoder's latent sp
Externí odkaz:
http://arxiv.org/abs/2309.09916
Rust is a programming language that uses a concept of ownership to guarantee memory safety without the use of a garbage collector. However, some error messages related to ownership can be difficult to understand and fix, particularly those that depen
Externí odkaz:
http://arxiv.org/abs/2309.06640
Publikováno v:
In International Journal of Multiphase Flow December 2024 181
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to fin
Externí odkaz:
http://arxiv.org/abs/2110.08983
Autor:
Coblenz, Michael
Current approaches to making programming languages and reasoning assistants more effective for people focus on leveraging feedback from users and on evaluating the success of particular techniques. These approaches, although helpful, may not result i
Externí odkaz:
http://arxiv.org/abs/2110.03806
The smooth bootstrap for estimating copula functionals in small samples is investigated. It can be used both to gauge the distribution of the estimator in question and to augment the data. Issues arising from kernel density and distribution estimatio
Externí odkaz:
http://arxiv.org/abs/2110.03397
Rust is a general-purpose programming language that is both type- and memory-safe. Rust does not use a garbage collector, but rather achieves these properties through a sophisticated, but complex, type system. Doing so makes Rust very efficient, but
Externí odkaz:
http://arxiv.org/abs/2110.01098
Autor:
Coblenz, Michael, Davis, Ariel, Hofmann, Megan, Huang, Vivian, Jin, Siyue, Krieger, Max, Liang, Kyle, Wei, Brian, Yong, Mengchen Sam, Aldrich, Jonathan
Recently, user-centered methods have been proposed to improve the design of programming languages. In order to explore what benefits these methods might have for novice programming language designers, we taught a collection of user-centered programmi
Externí odkaz:
http://arxiv.org/abs/2011.07565
Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a new flow abs
Externí odkaz:
http://arxiv.org/abs/2010.04800
Publikováno v:
In Proceedings of PACMPL Issue OOPSLA 2020 (OOPSLA 2020). Article 132, 28 pages
Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was desig
Externí odkaz:
http://arxiv.org/abs/2003.12209