Panagiotis Manolios

1. The Semantics of Rank Polymorphism
   2019/07/01 by Justin Slepak, Olin Shivers, Slepak, Justin +3 · 4 voices
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. An Efficient Runtime Validation Framework based on the Theory of\n Refinement
   2017/03/15 by Mitesh Jain, Panagiotis Manolios, Jain, Mitesh +1 · 1 voice
   Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #cs.LO #cs.SE
3. Introduction to Rank-polymorphic Programming in Remora (Draft)
   2019/12/31 by Olin Shivers, Justin Slepak, Shivers, Olin +3 · 2 voices
   Computer Science · #Algorithms and Data Compression #D.3 #Distributed #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
4. Skipping Refinement
   2015/02/10 by Mitesh Jain, Panagiotis Manolios, Jain, Mitesh +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing