BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sezgin:Ali

Contributed to:

POPL 20132013
CAV 20122012
TACAS 20102010
POPL 20162016
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.