Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Just, Rene"'
Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output. Our work is the first to measure the prevalence of these omis
Externí odkaz:
http://arxiv.org/abs/2407.07804
Autor:
Vijayvergiya, Manushree, Salawa, Małgorzata, Budiselić, Ivan, Zheng, Dan, Lamblin, Pascal, Ivanković, Marko, Carin, Juanjo, Lewko, Mateusz, Andonov, Jovan, Petrović, Goran, Tarlow, Daniel, Maniatis, Petros, Just, René
Modern code review is a process in which an incremental code contribution made by a code author is reviewed by one or more peers before it is committed to the version control system. An important element of modern code review is verifying that code c
Externí odkaz:
http://arxiv.org/abs/2405.13565
Digital technologies have positively transformed society, but they have also led to undesirable consequences not anticipated at the time of design or development. We posit that insights into past undesirable consequences can help researchers and prac
Externí odkaz:
http://arxiv.org/abs/2405.06783
Autor:
Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Lyubomirsky, Steven, Porncharoenwase, Sorawee, Just, René, Bernstein, Gilbert Louis, Tatlock, Zachary
FPGA technology mapping is the process of implementing a hardware design expressed in high-level HDL (hardware design language) code using the low-level, architecture-specific primitives of the target FPGA. As FPGAs become increasingly heterogeneous,
Externí odkaz:
http://arxiv.org/abs/2401.16526
Statistical models should accurately reflect analysts' domain knowledge about variables and their relationships. While recent tools let analysts express these assumptions and use them to produce a resulting statistical model, it remains unclear what
Externí odkaz:
http://arxiv.org/abs/2310.16262
Autor:
Chen, Zimin, Salawa, Malgorzata, Vijayvergiya, Manushree, Petrovic, Goran, Ivankovic, Marko, Just, Rene
Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. Google's mutation testing service integrates diff-based mutation testing into the code review process and continuously gathers
Externí odkaz:
http://arxiv.org/abs/2306.09130
Autor:
Smith, Gus Henry, Kushigian, Ben, Canumalla, Vishal, Cheung, Andrew, Just, René, Tatlock, Zachary
Compiler backends should be automatically generated from hardware design language (HDL) models of the hardware they target. Generating compiler components directly from HDL can provide stronger correctness guarantees, ease development effort, and enc
Externí odkaz:
http://arxiv.org/abs/2305.09580
Block-based programming languages like Scratch are increasingly popular for programming education and end-user programming. Recent program analyses build on the insight that source code can be modelled using techniques from natural language processin
Externí odkaz:
http://arxiv.org/abs/2302.03927
Autor:
Winston, Cailin, Winston, Caleb, Winston, Chloe N, Winston, Claris, Winston, Cleah, Rao, Rajesh PN, Just, René
Brain-computer interfaces (BCIs) decode recorded neural signals from the brain and/or stimulate the brain with encoded neural signals. BCIs span both hardware and software and have a wide range of applications in restorative medicine, from restoring
Externí odkaz:
http://arxiv.org/abs/2203.10677
Proper statistical modeling incorporates domain theory about how concepts relate and details of how data were measured. However, data analysts currently lack tool support for recording and reasoning about domain assumptions, data collection, and mode
Externí odkaz:
http://arxiv.org/abs/2201.02705