I agree that this site is using cookies. You can find further informations here.
X
Chaliasos, Stefanos
42  results:
Search for persons X
?
1

API-Driven Program Synthesis for Testing Static Typing Impl..:

Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Su, Zhendong
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1850-1881 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Smart Contract and DeFi Security Tools: Do They Meet the Ne..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Chaliasos, Stefanos ; Charalambous, Marcos Antonios ; Zhou, Liyi... - p. 716-728 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Smart Contract and DeFi Security Tools: Do They Meet the Ne..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Chaliasos, Stefanos ; Charalambous, Marcos Antonios ; Zhou, Liyi... - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

SoK: Decentralized Finance (DeFi) Attacks:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Zhou, Liyi ; Xiong, Xihan ; Ernstberger, Jens... - p. 2444-2461 , 2023
Link: https://doi.org/10.1109/..
 
?
5

On How Zero-Knowledge Proof Blockchain Mixers Improve, and ..:

, In: Proceedings of the ACM Web Conference 2023,
Wang, Zhipeng ; Chaliasos, Stefanos ; Qin, Kaihua... - p. 2022-2032 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Finding typing compiler bugs:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Chaliasos, Stefanos ; Sotiropoulos, Thodoris ; Spinellis, Diomidis... - p. 183-198 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

A study of inline assembly in solidity smart contracts:

Chaliasos, Stefanos ; Gervais, Arthur ; Livshits, Benjamin
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1123-1149 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Data-Oriented Differential Testing of Object-Relational Map..:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Atlidakis, Vaggelis.. - p. 1535-1547 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Replication package for article : data-oriented differen..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Atlidakis, Vaggelis.. - p. 194-195 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Well-typed programs can go wrong: a study of typing-related..:

Chaliasos, Stefanos ; Sotiropoulos, Thodoris ; Drosos, Georgios-Petros...
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-30 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Well-typed programs can go wrong: a study of typing-related..:

Chaliasos, Stefanos ; Sotiropoulos, Thodoris ; Drosos, Georgios-Petros...
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-30 , 2021
Link: https://doi.org/10.1145/..
 
?
12

A model for detecting faults in build specifications:

Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Mitropoulos, Dimitris.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

A model for detecting faults in build specifications:

Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Mitropoulos, Dimitris.
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-30 , 2020
Link: https://doi.org/10.1145/..
 
?
14

Mime Artist: Bypassing Whitelisting for the Web with JavaSc..:

, In: Lecture Notes in Computer Science; Computer Security – ESORICS 2019,
Chaliasos, Stefanos ; Metaxopoulos, George ; Argyros, George. - p. 565-585 , 2019
Link: https://doi.org/10.1007/..
 
?
15

API-Driven Program Synthesis for Testing Static Typing Impl..:

Sotiropoulos, Thodoris ; Chaliasos, Stefanos ; Su, Zhendong
info:eu-repo/semantics/altIdentifier/doi/10.1145/3632904.  , 2024
Link: https://hdl.handle.net/2..
 
1-15