Login / Signup
Yiyan Lin
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 5
Top Topics
Maximum Satisfiability
High Scalability
Database Replication
Graceful Degradation
Top Venues
Distributed Comput.
SRDS
ISSTA
SoCC
</>
Publications
</>
Mingyu Zhang
,
Jiaxiang Li
,
Yiyan Lin
,
Qiao Jin
,
Danli Wang
CoAR-Maze: empowering children's collaborative tangible programming in augmented reality.
CCF Trans. Pervasive Comput. Interact.
5 (4) (2023)
Kostis Kaffes
,
Dragos Sbirlea
,
Yiyan Lin
,
David Lo
,
Christos Kozyrakis
Leveraging application classes to save power in highly-utilized data centers.
SoCC
(2020)
Yiyan Lin
,
Sandeep S. Kulkarni
,
Arshad Jhumka
Automation of fault-tolerant graceful degradation.
Distributed Comput.
32 (1) (2019)
Mohammad Roohitavaf
,
Yiyan Lin
,
Sandeep S. Kulkarni
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs.
IPDPS
(2016)
Fuad Abujarad
,
Yiyan Lin
,
Borzoo Bonakdarpour
,
Sandeep S. Kulkarni
The complexity of automated addition of fault-tolerance without explicit legitimate states.
Distributed Comput.
28 (3) (2015)
Yiyan Lin
,
Sandeep S. Kulkarni
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability.
ISSTA
(2014)
Yiyan Lin
,
Sandeep S. Kulkarni
Automated Multi-graceful Degradation: A Case Study.
SRDS
(2013)
Yiyan Lin
,
Borzoo Bonakdarpour
,
Sandeep S. Kulkarni
Automated Addition of Fault-Tolerance under Synchronous Semantics.
SSS
(2013)
Yiyan Lin
,
Sandeep S. Kulkarni
Automatic Generation of Graceful Programs.
SRDS
(2012)
Borzoo Bonakdarpour
,
Yiyan Lin
,
Sandeep S. Kulkarni
Automated addition of fault recovery to cyber-physical component-based models.
EMSOFT
(2011)