Travelled to:1 × France
4 × USA
Collaborated with:T.Schrijvers C.R.Ramakrishnan D.Campagna D.Zook E.Pasalic R.E.K.Stirewalt L.K.Dillon
Talks about:constraint (2) datalog (2) deadlock (1) attribut (1) approxim (1) approach (1) thread (1) propag (1) effici (1) design (1)
Person: Beata Sarna-Starosta
DBLP: Sarna-Starosta:Beata
Contributed to:
2012
200920092007
2006Wrote 5 papers:
- PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation
- Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.
- ICLP-2009-Sarna-StarostaS
- Attributed Data for CHR Indexing (BSS, TS), pp. 357–371.
- PADL-2009-ZookPS #datalog
- Typed Datalog (DZ, EP, BSS), pp. 168–182.
- PADL-2007-Sarna-StarostaR #compilation #constraints #evaluation #performance
- Compiling Constraint Handling Rules for Efficient Tabled Evaluation (BSS, CRR), pp. 170–184.
- SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread
- A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.