David Lazar
David Lazar
University of Illinois at Urbana-Champaign- Website: http://cs.uiuc.edu/~lazar6/
- Favorites: View David's favorites
Biography
I am a student at the University of Illinois at Urbana-Champaign studying computer science. My primary affiliation at UIUC is with the Formal Systems Laboratory, a group of researchers and developers working to make software safer and more meaningful. I’ve worked on a variety of open source software, including the Checker Framework, the K Semantic Framework, and xmonad.
My favorite programming language is Haskell.
Open Source Bridge 2011 Birds of a Feather
Sessions for this user
* Functional Languages BoF [pdxfunc]
Hang out and talk about functional languages.
|
BOF |
| Igal Koshevoy, Dan Colish, David Lazar | |
Open Source Bridge 2011
Sessions for this user
* Preventing Runtime Errors at Compile Time
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? A compile-time tool named the Checker Framework has found hundreds of such errors. Oracle plans to include it in the Java 8 javac, but you can use it today to improve your code and avoid errors.
|
Cooking |
| David Lazar, Michael Ernst, Werner Dietl | |
Proposals for this user
* Doing More with @Annotations in Java
Java annotations can be used for more than deprecating code and suppressing compiler warnings. Learn how annotations can be the basis for friendly APIs and how annotations reduce boilerplate in Java code. We'll look at how annotations in Plume-lib form an API for command-line option processing that it is easier to use and just as powerful as more popular libraries. Finally, we will discuss how annotations can be similarly applied to other libraries and problems.
|
Cooking | 03/15/2011 08:46PM |
| David Lazar | ||