Travelled to:1 × Cyprus
1 × Italy
1 × USA
Collaborated with:T.A.Henzinger S.Flur K.E.Gray Christopher Pulte S.Sarkar L.Maranget P.Sewell C.M.Kirsch H.Payer A.Sokolova C.C.Guet A.Gupta M.Mateescu T.Elmas S.Qadeer O.Subasi S.Tasiran Will Deacon K.Nienhuis M.Batty
Talks about:concurr (3) architectur (1) regulatori (1) structur (1) simplifi (1) lineariz (1) abstract (1) quantit (1) continu (1) circuit (1)
Person: Ali Sezgin
DBLP: Sezgin:Ali
Contributed to:
2013
2012
201020162017Wrote 5 papers:
- POPL-2013-HenzingerKPSS #concurrent #data type
- Quantitative relaxation of concurrent data structures (TAH, CMK, HP, AS, AS), pp. 317–328.
- CAV-2012-GuetGHMS #markov #search-based
- Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.
- TACAS-2010-ElmasQSST #abstraction #proving #reduction
- Simplifying Linearizability Proofs with Reduction and Abstraction (TE, SQ, AS, OS, ST), pp. 296–311.
- POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
- Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
- POPL-2017-FlurSPNMGSBS #concurrent
- Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.