8 papers:
TACAS-2014-SlabyS #contest #precise #slicing- Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.
- TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
ICSE-2012-AtkinsonGK #domain-specific language- Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
SIGMOD-2010-VaidyaLBDNX #configuration management #data type #logic #named- Symbiote: a reconfigurable logic assisted data streammanagement system (RLADSMS) (PV, JJL, FB, YD, CHN, YX), pp. 1147–1150.
HCI-NIMT-2009-SanchezFFP #development #interface #using- Development of Symbiotic Brain-Machine Interfaces Using a Neurophysiology Cyberworkstation (JCS, RJOF, JABF, JCP), pp. 606–615.
HPDC-2006-WeinbergS #game studies- When Jobs Play Nice: The Case For Symbiotic Space-Sharing (JW, AS), pp. 361–362.
ASPLOS-2000-SnavelyT #multi #thread- Symbiotic Jobscheduling for a Simultaneous Multithreading Processor (AS, DMT), pp. 234–244.
ICML-1995-MoriartyM #evolution #learning #performance- Efficient Learning from Delayed Rewards through Symbiotic Evolution (DEM, RM), pp. 396–404.
