Zobrazeno 1 - 10
of 116
pro vyhledávání: '"Bodík, Rastislav"'
Analytical SQL is widely used in modern database applications and data analysis. However, its partitioning and grouping operators are challenging for novice users. Unfortunately, programming by example, shown effective on standard SQL, are less attra
Externí odkaz:
http://arxiv.org/abs/2204.07102
Autor:
Cascaval, Dan, Shalah, Mira, Quinn, Phillip, Bodik, Rastislav, Agrawala, Maneesh, Schulz, Adriana
Modern CAD tools represent 3D designs not only as geometry, but also as a program composed of geometric operations, each of which depends on a set of parameters. Program representations enable meaningful and controlled shape variations via parameter
Externí odkaz:
http://arxiv.org/abs/2110.01182
Modern visualization tools aim to allow data analysts to easily create exploratory visualizations. When the input data layout conforms to the visualization design, users can easily specify visualizations by mapping data columns to visual channels of
Externí odkaz:
http://arxiv.org/abs/2102.01024
Autor:
Alur, Rajeev, Baraniuk, Richard, Bodik, Rastislav, Drobnis, Ann, Gulwani, Sumit, Hartmann, Bjoern, Kafai, Yasmin, Karpicke, Jeff, Libeskind-Hadas, Ran, Richardson, Debra, Solar-Lezama, Armando, Thille, Candace, Vardi, Moshe
The shortage of people trained in STEM fields is becoming acute, and universities and colleges are straining to satisfy this demand. In the case of computer science, for instance, the number of US students taking introductory courses has grown three-
Externí odkaz:
http://arxiv.org/abs/2007.03704
Autor:
Hagedorn, Bastian, Elliott, Archibald Samuel, Barthels, Henrik, Bodik, Rastislav, Grover, Vinod
Achieving high-performance GPU kernels requires optimizing algorithm implementations to the targeted GPU architecture. It is of utmost importance to fully use the compute and memory hierarchy, as well as available specialised hardware. Currently, ven
Externí odkaz:
http://arxiv.org/abs/2003.06324
While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the functionality provided by existing visualization libraries, generating
Externí odkaz:
http://arxiv.org/abs/1911.09668
Autor:
Newcomb, Julie L, Bodik, Rastislav
Programs that respond to asynchronous events are challenging to write; they are difficult to reason about and tricky to test and debug. Because these programs can have a huge space of possible input timings and interleaving, the programmer may easily
Externí odkaz:
http://arxiv.org/abs/1909.11206
Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distributed system with no trusted third parties. But these interfaces also prov
Externí odkaz:
http://arxiv.org/abs/1902.06067
Autor:
Chandra, Kartik, Bodik, Rastislav
We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is f
Externí odkaz:
http://arxiv.org/abs/1708.00551
Autor:
Fedyukovich, Grigory, Bodík, Rastislav
Publikováno v:
EPTCS 229, 2016, pp. 55-66
We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data dependencies i
Externí odkaz:
http://arxiv.org/abs/1611.07629