wklieber

3 ms·

1.
by wklieber 6y ago
When David and I are done revising the proposal, we would like to send you a copy. If you would be interested in reviewing, can you please let us know how to get in touch with you? David and I can be reached at {svoboda,weklieber} @ cert.
2.
by wklieber 6y ago
>the original homogeneous operations (__builtin_smull_overflow, etc) led to very substantial correctness bugs when users had to pick a single common type for the operation and add conversions. Hi Stephen, thank you for bringing this to o
3.
by wklieber 8y ago
We welcome applications for intern positions as well as full-time positions. I think we can do winter internships, but I'm not completely sure -- I'll check with HR to confirm. Thank you for your interest!
4.
by wklieber 8y ago
Software Engineering Institute (SEI) | Compiler Researcher | Pittsburgh, PA, USA | ONSITE Our team is developing techniques for automatically repairing C source code to remove memory-safety vulnerabilities. The ultimate goal is to enable
5.
by wklieber 9y ago
Software Engineering Institute (SEI) | Compiler Researcher | Pittsburgh, PA, USA | ONSITE We are looking for someone familiar with compilers (particularly dataflow analysis or other forms of static analysis) to work on projects developing
6.
by wklieber 9y ago
Software Engineering Institute (SEI) | Compiler Researcher | Pittsburgh, PA, USA | ONSITE We are looking for someone familiar with compilers (particularly dataflow analysis or other forms of static analysis) to work on projects developing
7.
by wklieber 9y ago
Software Engineering Institute (SEI) | Compiler Researcher | Pittsburgh, PA, USA | ONSITE We are looking for someone familiar with compilers (particularly dataflow analysis or other forms of static analysis) to work on projects developing
8.
by wklieber 9y ago
Software Engineering Institute (SEI) | Compiler Researcher | Pittsburgh, PA, USA | ONSITE We are looking for someone familiar with compilers (particularly dataflow analysis or other forms of static analysis) to work on projects developing