mbravenboer
- is wondering how much time of his life he has wasted dealing with escape sequences.7:39 AM Jul 13th from web
- hurray for Brother: Linux support for MFC-7840w printer and scanner is awesome.3:33 PM Jun 29th from web
- listening to upcoming Moby album at NPR. Wow! Beautiful ... http://bit.ly/QJyKH7:07 PM Jun 21st from web
- is learning how to combine rewriting and analysis in JastAdd10:20 AM Jun 16th from web
- is on the 'road' to Atlanta for the thesis defense of Shan Shan at Georgia Tech4:59 AM Jun 11th from web
- should schedule a monthly appointment with Todd Proebsting's most excellent "Disruptive Programming Language Technologies" talk8:46 AM Jun 2nd from web
- @EelcoVisser To distinguish it from an implementation. Like people refer to their environmentally friendly car as a hybrid, not their car ;)3:06 PM May 28th from web
- travelling back from Oxford, UK, to Amherst, USA, today. Enjoying Wifi on the bus to Heathrow.1:28 AM May 28th from web
- We have an object-sensitive Doop/Semmle points-to analysis running using techniques similar to Doop/LogicBlox. Pretty cool.4:47 PM May 27th from web
- Converted 2000 lines of Doop logic to Semmle .QL the last three days. A rather intense experience, but a lot of fun. Great experiment.3:43 PM May 27th from web
- is scaling the Doop/Semmle points-to specification to big programs and more Java features2:01 AM May 27th from web
- @EelcoVisser The specification is the implementation, so you get to pick!2:00 AM May 27th from web
- is implementing our ISSTA 2009 logic for combining exception analysis and points-to analysis in Semmle's .QL11:03 AM May 26th from web
- is in Oxford working on the specification of points-to analysis in Semmle's .QL dialect of Datalog2:07 AM May 26th from web
- is impressed: Wifi and power on the bus from Oxford to Heathrow. Now if only I could read my laptop screen in the sun.4:58 AM May 24th from web
- is back home in MA, but flying to Oxford, UK tomorrow to visit Semmle.11:48 PM May 22nd from web
- is getting ready for another LogicBlox day. Iteration meetings!5:57 AM May 22nd from web
- visiting LogicBlox today for a day of excitement about the future of software development5:10 AM May 21st from web
- will be flying to Atlanta and Oxford the next week. Sorry earth.4:01 PM May 19th from web
- is impressed by Priceline: it was able to find a better deal and more options than Expedia and Travelocity.3:59 PM May 19th from web
|
- Name Martin Bravenboer
- Location Amherst, MA
- Web http://martin.bra...
- Bio Computer Science Researcher
|
