intel researcher homepage
intel researcher homepage
limor fix
associate director of intel research pittsburgh
limor dot fix at intel dot com
4720 forbes ave. suite 410pittsburgh,
pa 15213(412) 297-4021(412) 297-4110 (fax)
currently limor is co-managing the intel pittsburgh lab as the associate director of the lab.
limor is also an intel principal engineer and she has a phd in computer science
from the technion, israel,1992. after graduation, limor conducted post-doc research
in cornell university and in 1994 she joined intel in israel. in the past 10 years
limor has lead a major change in intel’s validation technology and methodology.
she developed innovative formal verification tools and methodology that
have been widely adopted by intel’s design teams. limor has published 25 papers,
and she was invited to more than 15 technical program committees
of leading international conferences. in the last three years limor in on the
executive committee of the design automation conference (dac), the leading conference
for design tools with 10,000 participants and 250 companies demo suites.
limor's research interests include formal specification langauges, limor has lead the
development of the forspec formal specification langauge that had been donated by intel to accellera/ieee
and had a major impact in the ieee-1850 standard. in addition, limor's research also
include bdd's, sat solvers, and model checking of both hardware and distributed software.
in particular, limor has lead the research and development of intel's three generations
of advanced formal verification systems, forecast, thunder and foresight.
books
l. fix, i. getreu, l. lavango (eds.): proceedings of the 40th design automation conference,
dac 2003, la, ca, usa, june 2003, acm2003.
s. malik, l. fix, a.b. kahng (eds.): proceedings of the 41th design automation conference,
dac 2004, san diego, ca, usa, june 7-11, 2004, acm2004
eda-handbook. to be published early 2006.
conferences and technical reports:
l. fix, n. francez, o. grumberg: ``semantics-driven decompositions for the verification
of distributed programs'', ifip tc2 working conference on programming concepts and methods,
see galilee, israel, april 1990.
l. fix, n. francez, o. grumberg: ``program composition and modular verification'',
proc. 18th icalp, madrid, july 1991. lncs 510 j. leach albert. b. monien, m. rodriguez artalejo (eds.),
springer-verlag.
l. fix, n. francez, o. grumberg: ``program composition via unification'',
proc. 19h icalp, wien, july 1992. lncs 623 w. kuich (ed.), springer-verlag.
l. fix and o. grumberg: ``verification of temporal properties'', tr 93-1368 aug. 1993, cs cornell univ.
l. fix, f.b. schneider: ``reasoning about programs by exploiting the environment'',
icalp'94. also tr-94-1409 feb 10994, cs cornell univ.
l. fix, t.a. henzinger: ``the most abstract common refinement'', tr 1994, cs cornell univ.
r. alur, l. fix, t.a. henzinger: ``a determinizable class of timed automata'',
6th international conference, cav'94, stanford, california, usa, june 1994,
pp. 1-13, lncs 818. david l. dill (ed.) springer-verlag.
l. fix, f.b. schneider: ``hybrid verification by exploiting the environment'',
3rd. international school and symposium: formal techniques in real time and fault tolerant systems,
sep. 1994, lncs 863, pp. 1-18, springer-verlag, schleswig (kiel), germany. also, tr 94-1436 cornell univ.
g. kamhi, o. weissberg, l. fix, z. binyamini, z. shtadler: "automatic data-path extraction for efficient
usage of hdd", 9th international conference, cav'97, pp. 95-106 lncs 1254, springer.
g. kamhi, l. fix: "adaptive variable reordering for symbolic model checking",
ieee/acm international conference on computer aided design (iccad) 1998.
g. kamhi, l. fix, z. binyamini: "symbolic model checking visualization",
second international conference on formal methods in computer-aided design (fmcad) 1998.
s. mador-haim, l. fix: "inputs elimination and data abstraction in model checking",
second international conference on formal methods in computer-aided design (fmcad) 1998.
ranan fraer, gila kamhi, limor fix, moshe vardi: "evaluating semi-exhaustive verification
techniques for bug hunting" smc, 1999 (cav'99 workshop).
ranan fraer, gila kamhi, barukh ziv, moshe y. vardi, limor fix: "prioritized traversal:
efficient reachability analysis for verification and falsification", cav 2000.
fady copty, limor fix, ranan fraer, enrico giunchilia, gila kamhi, armando tacchella,
moshe vardi: "benefits of bounded model checking at an industrial settings", cav2001, lncs 2102.
scott hazelhurst, osnat wiessberg, gila kamhi, limor fix: "a hybrid verification approach:
getting deep into the design" dac 2002.
r. armoni, l. fix, a. flaisher, r. gerth, b. ginsburg, t. kanza, a. landver, s. mador-haim,
e. singerman, a. tiemeyer, m. vardi, y. zbar: the forspec temporal logic:
a new temporal property specification language". tacas 2002, 296-311.
r. armoni, l. fix, a. flaisher, o. grumberg, n. piterman, a. tiemeyer, m. vardi:
"enhanced vacuity detection in linear temporal logic", cav 2003, 368-380
p. basu, s. das, p. dasgupta, p.p. chakrabarti, c.r. mohan, l. fix, "formal verification coverage:
are the rtl-properties covering the design's architectural intent. date 2004, 668-669.
p. basu, s. das, p. dasgupta, p.p. chakrabarti, c.r. mohan, l. fix: "formal verification coverage:
computing the coverage gap between temporal specifications", iccad'2004
r. armoni, l. fix, r. fraer, s. huddleston, n. piterman, m. vardi:
"sat-based induction for temporal safety properties", bmc workshop at cav'04
p. basu, s. das, p. dasgupta, p.p. chakrabarti, c.r. mohan, l. fix,
"formal methods for analyzing the completeness of assertions suite against
a high level fault model". vlsi design'2005 conference at kokata.
t. arons, e. elster, l. fix, s. mador-haim, m. mishaeli,
j. shalev, e. singerman, a. tiemeyer, m. vardi, l. zuck,
“formal verification of backward compatibility of microcode”,
17th international conference on computer aided verification, july 2005, edinburgh.
l. fix, o. grumberg, t. heyman, a. schuster, “verifying very large
industrial circuits using 100 processes and beyond”, third international
symposium on automated technology for verification and analysis, oct 2005
journal papers and articles
l. fix, n. francez, o. grumberg: ``program composition via unification'',
theoretical computer science 131 (1994) 139-179.
l. fix, n. francez, o. grumberg: ``program composition and modular verification'', distributed computing.
l. fix, o. grumberg: ``verification of temporal properties'',
journal of logic and computation 6(3): 343-361, 1996.
l. fix, f.b. schneider: ``reasoning about programs by exploiting the environment'',
submitted to formal aspects of computing, the international journal of formal methods.
r. alur, l. fix, t. henzinger: "event-clock automata: a determinizable class of timed automata",
theoretical computer science 211(1-2): 253-273, 1999.
r. fraer, g. kamhi, l. fix, m. vardi: "evaluating semi-exhaustive verification
techniques for bug hunting." ele. notes theo. computer science 23(2) 1999.
l. fix, l. lavango: "dac highlights", design &test may/june 2003 (vol. 20, no 3).
l. fix: "formal property verification for all", design & elektronik, electronik i norden, 2004
p. basu, s. das, a. banerjee, p. dasgupta, p.p. chakrabarti, c.r. mohan, l. fix, r. armoni.
“design intent coverage -- a new paradigm for formal property verification”, ieee transaction on cad, 2005.
invited panels and talks
l. fix, "hardware formal verification: achievements and open problem",
workshop on formal design of safety critical embedded systems, munich, germany 1999.
l. fix, "hardware verification", ijcar 2001.
l. fix, "hardware formal verification", shamir seminar, jerusalem, israel, 2002.
d. dill, n. janes, s. rawat, g. berry, l. fix, h. foster, r. ranjan, g. stalmarck, c. widdoes, panel on
"formal verification methods: getting around the brick wall". dac 2002, 576-577.
b. cook, l. fix, y. wolfsthal, panel on “industrial used of formal methods”, isola 2004.
a. piziali, k. normoyle, l. fix, h. foster, g. smith, panel on “designing quality in: the better design paradigm”,
dvcon’2005
international conference program & executive committees
cav97, cav98, fmacd98, cav99, dac00, fmcad00, dac01, dac02, date02, dac03, date03, charme03, dac04, isola04, dac05
some links take you outside the intel research network of laboratories
web site. other names and brands may be claimed as the property of others.
legal information and privacy policy © 2003 intel corporation
Acceuil
suivante
intel researcher homepage IPv6 Fix: Home Fix-A-Flat - Car Care Products- A easy way to fix a flat tire Kitco Inc. - Past Historical London Fix Digg - Don’t Throw Out Your Broken iPod; Fix It via the Web Apple posts fix for freezing iMacs - Engadget Troubleshooting 101 : How to fix the family computer and save your ... PC World - Two Charged with Hacking PeopleSoft to Fix Grades PC World - Apple Posts QuickTime Security Fix DailyTech - Apple Releases Fix for iMac Freeze Issue, Updates MacBooks BBC - Languages French Quick Fix - Basics NASA plans spacewalk to fix ripped solar wing - CNN.com Les plus beaux restaurants du monde : Le Fix Microsoft to Fix Two Windows Holes on Patch Tuesday AppleInsider Apple releases iMac freezing fix, MacBook Pro ... AppleInsider iMac Software 1.2.1; Time Machine fix; MacBook ... Fantasy Fix: Starters - MSN Video Qwik-Fix (de PivX Labs) CSS PNG Image Fix for IE » Blog » Komodo Media What Mozilla users should know about the shell: protocol security ... GUNDAM FIX FIGURATION Outlook Recovery Tool to Fix PST File - PST Repair Software NVidia Refresh Rate Fix Win2K/XP - PC INpact AmyFix.com Fix - Wikipedia Heroes: The Fix - TV.com Conservatives to fix glitch that could block rural voters WMP Scripting Fix Ezee-Fix Don’t Throw Out Your Broken iPod; Fix It via the Web - New York Times Jim Fix Fix the pumps réseau pc fix(usb) portable wifi - je ne trouve pas les config ... Télécharger Works Fix FixMyXP.com - Your One Stop Windows XP Fix It Site ColdFusion 8.0 Cumulative Hot Fix 1 ColdFusion MX 7 Cumulative Hot Fix 3 Definition of fix - Merriam-Webster Online Dictionary 6 Ways to Fix a Confused Information Architecture (Jakob Nielsen's ... Growing a Business Website: Fix the Basics First (Jakob Nielsen's ... BBC NEWS Science/Nature Lovelock urges ocean climate fix BBC SPORT Tennis Llodra reveals match-fix approach Aimfix - Jayloden.com Télécharger Object Fix Zip - Zebulon.fr : téléchargement du ... Definition: fix from Online Medical Dictionary B2BITS — High Performance FIX Solutions Fast Fix Jewelry and Watch Repairs Excel Recovery Tool - Fix & Repair Excel File - Corrupt XLS Repair ... Fix the Fells - Home Functions, events, club, bar, lounge, entertainment, Venues ... Fix-it Index Page Here's hoping fix is in :: CHICAGO SUN-TIMES :: Mike Mulligan Blagojevich floats new temporary fix :: CHICAGO SUN-TIMES ... Housse Sit Fix pour coussin 3 en 1, Housse Sit Fix - Fnac éveil et ... Macworld: Mac 911: Bugs & Fixes: Fix Leopard glitches Macworld: News: Word fix corrects quit on print error Braun 1775 FREE Control /FIX 100 : avis de consommateurs ... Mac OS X and iPod Troubleshooting, Support, and Help - MacFixIt JScreenFix - Fix stuck pixels and screen burn-in Film Fix v1.0 How to Fix No Child Left Behind - TIME