Jan Vitek
- On the Impact of Programming Languages on Code Quality
2019/01/29 by Emery D. Berger, Celeste Hollenbeck, Petr Maj +2 · 5 voices · 4 citations
Computer Science · #Association (psychology) #Causation #Code (set theory) #Repetition (rhetorical device) #Software #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Software bug #Software quality #Source code #Task (project management)
- On the design, implementation, and use of laziness in R
2019/09/19 by Aviral Goel, Jan Vitek · 2 voices · 1 citation
Decision Sciences · Computer Science · Social Sciences · #Scientific Computing and Data Management #Data Analysis with R #Computational and Text Analysis Methods
- Type stability in Julia: avoiding performance pathologies in JIT compilation
2021/09/04 by Artem Pelenitsyn, Julia Belyakova, Benjamin Chung +3 · 1 voice
Computer Science · Mathematics · #Advanced Data Storage Technologies #Coding (social sciences) #Compiler #Computer science #Function (biology) #Functional programming #Machine learning #Mathematics #Parallel Computing and Optimization Techniques #Programming language #Property (philosophy) #Software Engineering Research #Stability (learning theory) #Theoretical computer science #Type (biology)
- Scala Implicits are Everywhere: A large-scale study of the use of\n Implicits in the wild
2019/08/21 by Filip Křikava, Heather Miller, Křikava, Filip +5 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #cs.PL #cs.SE
- World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
2020/10/15 by Julia Belyakova, Benjamin Chung, Belyakova, Julia +10 · 1 voice
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance
- Feature-Specific Profiling
2018/09/11 by Leif Andersen, Andersen, Leif, Vincent St-Amour +6 · 1 voice
Computer Science · #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Performance (cs.PF) #Programming Languages (cs.PL) #Software Engineering Research #Software System Performance and Reliability #cs.PF #cs.PL
- Sampling optimized code for type feedback
2020/10/05 by Olivier Flückiger, Andreas Wälchli, Sebastián Krynski +1 · 1 voice
Computer Science · #Code (set theory) #Compiler #Dead code #Formal Methods in Verification #Implementation #Key (lock) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Point (geometry) #Program code #Program optimization #Source code #Type (biology) #cs.PL