Domagoj Babic [pronunciation: MP3] 2119 University Avenue, #405 Berkeley, CA 94704, USA Tel: +1 (510) 331 8993 E-mail (pers): lastname.firstname@gmail.com E-mail (corp): lastname@synopsys.com Public PGP key for my gmail address [TXT] Skype ID: domagoj_babic My CV in [PDF]

---

Welcome to my personal page!

I am currently holding a senior R&D position at Synopsys.

My research interests include: Extended static checking Software analysis, verification, and testing Design and verification of concurrent programs Automated theorem proving (decision procedures) SAT solving and constraint satisfaction in general

---

News:

Jul 9, 2009

• I've more-less settled at Synopsys in Mountain View. My daily commute is 94 miles (~151 km). I'm going to move closer to Mountain View around Aug 10 to avoid this exhausting daily drive.

Jul 5, 2009

• After a long time, I finally found time to update my web page. I apologize to numerous visitors that have been frequently checking my page for updates, just to find the same old stuff. Since February, I've been consulting, interviewing, traveling, searching for a new apartment, buying a car, working on my (complicated) immigration paperwork,... More detailed update is below.

Jun 25 — Jul 5, 2009

• I took several days off before starting at a new position. My wife and I visited Yosemite, Death Valley, Las Vegas, Zion, Bryce Canyon, Coral Pink Sand Dunes, Grand Canyon, Hoover Dam, and Mojave Desert. Altogether, I drove 2350 miles (~3780 km), experienced temperatures from 40—117° Fahrenheit (5—47° Celsius), hiked on altitudes from -280 to 9000 ft (-85 to 2740 m), visited some of the most desolate and some of the busiest places in the US, swam in the ice-cold Merced river in Yosemite, and hiked upstream the Virgin River in the Zion park. In Grand Canyon, I saw two California condors, rare critically-endangered birds. In Vegas, I saw two great shows, the fantastically creative Mystere and the superb Phantom of the Opera. Free shows were also great: fledging twisters in the prairies of Arizona, a sunset over Bryce Canyon, and the fountain show in front of Bellagio. It was lots of fun. I might put some photos on the web site soon.

Jun 24, 2009

• Bought a nice used low-mileage Hyundai Sonata 2007.

Jun 19, 2009

• Among several offers, I accepted a senior R&D position at Synopsys. I'm going to be working on an exciting guided random testing project. I'm starting at Synopsys on July 6th. This is a very important high-profile project for the company, and I can't wait to sink my teeth into the numerous challenging problems they are facing.
• This was also my last day consulting for Fujitsu Labs. It has been a great pleasure working with Sree Rajan and Mukul Prasad. The database testing project I've been working on has been very successful, and I managed to speed up the test case generation by 3—4 orders of magnitude and together with Mukul came up with some cool SMT encodings of frequently used database operations and data structures. I also did some interesting work on verification of web applications, JavaScript in particular.
• Sadly, I've heard a confirmation that Fujitsu will be closing the Maryland lab, leaving only the Sunnyvale lab open in the US. Hard times for everyone.

May 8, 2009

• Robert Brummeyer and Jonathan Heusser reported several bugs in Spear. I'll address these as soon as I find some time. My life is incredibly hectic these days, and seems like it's going to be so for the next couple of months.

Mar 13, 2009

• I'll be interviewing in Europe from March 23rd to April 4th.
• Fujitsu Labs extended my consulting contract.

Feb 13, 2009

• For the next month-or-so, I will be consulting for Fujitsu Labs. This is a part-time temporary contract, so it should leave me plenty of time for interviewing. I'll be working on an interesting problem in software analysis.

Jan 19 — 24, 2009

• Attended POPL.

Jan 13, 2009

• SANS published a list of 25 most dangerous programming bugs. Can't really say that any of the listed bugs surprised me.

Jan 7, 2009

• My last day on Cadence's payroll.

Nov 20, 2008

• Moved old news to a new page, Old News, to speed up loading of the main page.
• Evgeny fixed handling of SMT comments in smt2sf, new version is available for download (v1.9).

Nov 19, 2008

• Cadence extended my termination date to Jan 7, 2009. Really nice of them.

Nov 17, 2008

• Evgeny Pavlenko fixed a bug in sf2smt. The new version (v1.3) is now available. Thx Evgeny!

Nov 5, 2008

• Cadence Research Lab killed. A number of researchers (including me) laid off, others assimilated into the product groups. I'm on the job market again.

Oct 28, 2008

• New release (v2.7) of Spear: Fixed a really ugly bug in constant folding, reported by Evgeny Pavlenko. It's quite remarkable the bug remained undiscovered for so long. A big thanks to Evgeny!

Oct 23, 2008

• New version of smt2sf released (v 1.8). Fixed a couple of warnings and a bug reported by Evgeny Pavlenko (thx!).

Oct 10, 2008

• The main page was hacked... PmWiki seems to be less secure than I thought. Anyways, I did all I could to beef up security. Whoever hacked the page (seems like a bot from 89.149.244.45)... Can you please try again?

Oct 6, 2008

• New 1.7 release of smt2sf fixes a minor compilation problem on some platforms, reported by Johannes Waldmann (thx!).

Oct 2, 2008

• A new 2nd edition of the guide for postgraduate studies is now available. Check it out here.

Sep 1, 2008

• Moved to Berkeley, CA.

Aug 25, 2008

• Final version of the thesis is now available on my publications page.

Aug 1, 2008

• Defended my PhD thesis.

June 16, 2008

• My first day of work for Cadence Research Laboratories. I'll be working from home (Vancouver, BC) until Sep 1st, when I'm moving to Berkeley, CA.

June 15, 2008

• New Spear v2.6 is available. Fixed a bug in constant folding of sign extension, reported by Trevor Alexander Hansen (Thx!). Also added Luby restarts and phase saving. Both new features are disabled for the time being (you can enable them with --hidden parameters). Tuning scripts have been updated as well.

May 12 — 18, 2008

• attending ICSE in Leipzig.

Apr 28, 2008

• Due to multiple requests, the BPR paper submission deadline is extended till May 5th. Please submit the abstracts as soon as possible.

Apr 10, 2008

• I’m very happy to announce that I will be joining Cadence Research Lab in June! I’m going to continue working on decision procedures and software analysis. I’m moving to Berkeley in late August / early September.