The University of Southampton

Dr Gennaro Parlato 

Publications

Madhusudan, P. and Parlato, Gennaro (2011) The tree width of auxiliary storage. POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, United States. 26 - 28 Jan 2011. pp. 283-294 . (doi:10.1145/1925844.1926419).

Madhusudan, P., Parlato, Gennaro and Qiu, Xiaokang (2011) Decidable logics combining heap structures and data. POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, United States. 26 - 28 Jan 2011. pp. 611-622 . (doi:10.1145/1925844.1926455).

Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2011) Getting rid of store-buffers in TSO analysis. 23rd International Conference on Computer Aided Verification (CAV 2011), Snowbird, United States. 13 - 19 Jul 2011. pp. 99-115 . (doi:10.1007/978-3-642-22110-1_9).

Bouajjani, Ahmed, Emmi, Michael and Parlato, Gennaro (2011) On sequentializing concurrent programs. SAS, Venice, Italy. 13 - 15 Sep 2011. (In Press)

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2012) Sequentializing parameterized programs. 4th International Workshop on Foundations of Interface Technologies. 21 pp .

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV, Edinburgh,, United Kingdom. 14 - 18 Jul 2010. pp. 629-644 .

La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2010) The Language Theory of Bounded Context-Switching. LATIN, Oaxaca, Mexico. 18 - 22 Apr 2010. pp. 96-107 .

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2009) Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV, Grenoble, France. 25 Jun - 01 Jul 2009. pp. 477-492 .

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2009) Analyzing recursive programs using a fixed-point calculus. PLDI '09. Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation, Dublin, Ireland. 14 - 20 Jun 2009. pp. 211-222 . (doi:10.1145/1543135.1542500).

Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco Sorrentino and Ventre, Carmine (2009) Fast payment schemes for truthful mechanisms with verification. Theoretical Computer Science, 410 (8-10), 886-899.

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2008) An Infinite Automaton Characterization of Double Exponential Time. CSL, Bertinoro, Italy. 15 - 18 Sep 2008. pp. 33-48 .

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2011) A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem. Network Optimization: 5th International Conference, (INOC), Hamburg, Germany. 12 - 15 Jun 2001. (In Press)

Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2008) Context-Bounded Analysis of Concurrent Queue Systems. TACAS, Budapest, Hungary. 29 Mar - 05 Apr 2008. pp. 299-314 .

Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2008) Verification of scope-dependent hierarchical state machines. Inf. Comput., 206 (9-10), 1161-1177.

Torre, Salvatore La and Parlato, Gennaro (2007) On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP, Wroclaw, Poland. 08 - 12 Jul 2007. pp. 937-948 .

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2007) A Robust Class of Context-Sensitive Languages. LICS, Wroclaw, Poland. 09 - 11 Jul 2007. pp. 161-170 .

Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco and Ventre, Carmine (2005) Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. WAOA. pp. 147-160 .

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2005) A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Inf. Process. Lett., 94 (1), 29-35.

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds. CTW. pp. 81-85 . (In Press)

Torre, Salvatore La, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP, June 30 - July 4, 2003. 29 Jun - 03 Jul 2003. pp. 776-789 .

La Torre, Salvatore and Gennaro, Parlato (2012) Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. 32nd Foundations of Software Technology and Theoretical Computer Science Conference (FSTTCS), Hyderabad, India. 15 - 17 Dec 2012. pp. 173-184 .

Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa and Madhusudan, Parthasarathy (2012) Analyzing temporal role based access control models. In SACMAT '12 Proceedings of the 17th ACM symposium on Access Control Models and Technologies. ACM Press. 177 -186 . (doi:10.1145/2295136.2295169).

Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2013) Policy analysis for self-administrated role-based access control. TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy. 16 - 24 Mar 2013. 15 pp .

Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2012) Security Analysis of Role-based Access Control through Program Verification. 25th IEEE Computer Security Foundations Symposium (CSF). pp. 113-125 .

Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. pp. 616-618 .

Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. 20th Static Analysis Symposium.

Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro (2014) On the Path-Width of Integer Linear Programming. Peron, Adriano and Piazza, Carla (eds.) In Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification. vol. 161, pp. 74-87 . (doi:10.4204/EPTCS.161.9).

Inverso, Omar, La Torre, Salvatore, Tomasco, Ermenegildo and Parlato, Gennaro (2013) Looking at Computations from a Different Angle University of Southampton (Submitted)

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages. 20 pp .

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution). TACAS (SV-COMP).

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq: a lazy sequentialization tool for c (competition contribution). Tools and Algorithms for the Construction and Analysis of Systems - TACAS (SV-COMP).

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) Scope-bounded pushdown languages. In 18th International Conference on Developments in Language Theory (DLT 2014). vol. 8633, 12 pp . (doi:10.1007/978-3-319-09698-8_11).

Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2014) Context-bounded analysis of tso systems (Lecture Notes in Computer Science, 8415), vol. 8415, Springer

Ferrara, Anna Lisa, Madhusudan, P., Lam Nguyen, Truc and Parlato, Gennaro (2014) VAC - verifier of administrative role-based access control policies. In 26th International Conference on Computer Aided Verification (CAV 2014). vol. 8559, 8 pp . (doi:10.1007/978-3-319-08867-9_12).

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Bounded model checking of multi-threaded c programs via lazy sequentialization. Biere, A. and Bloem, R. (eds.) In Computer Aided Verification. CAV 2014. vol. 8559, Springer. pp. 585-602 . (doi:10.1007/978-3-319-08867-9_39).

Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration). 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2014) A unifying approach for multistack pushdown automata. In 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014). vol. 8634, 18 pp . (doi:10.1007/978-3-662-44522-8_32).

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq: a lazy sequentialization tool for C. 20th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 04 - 12 Apr 2014. pp. 398-401 . (doi:10.1007/978-3-642-54862-8_29).

Uzun, Emre, Atluri, Vijayalakshmi, Vaidya, Jaideep, Sural, Shamik, Ferrara, Anna Lisa, Parlato, Gennaro and Madhusudan, P. (2014) Security analysis for temporal role based access control. Journal of Computer Security. (doi:10.3233/JCS-140510).

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Verifying concurrent programs by memory unwinding. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 15 pp .

Tomasco, Ermenegildo, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) MU-CSeq 0.3: Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 3 pp .

Lam Nguyen, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Unbounded Lazy-CSeq: a lazy sequentialization tool for C programs with unbounded context switches (competition contribution). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), London, United Kingdom. 10 - 14 Apr 2015. 3 pp .

Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution) Southampton, GB. University of Southampton 3pp.

La Torre, Salvatore, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2007) Verification of Succinct Hierarchical State Machines. Conference on Language and Automata Theory and Applications (LATA).

Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2004) Minimum Weighted Feedback Vertex Set on Diamonds. Electronic Notes in Discrete Mathematics, 17, 87-91. (doi:10.1016/j.endm.2004.09.001).

Inverso, Omar, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs. 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015).

Parlato, Gennaro (2015) On sequentializing concurrent programs. UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden.

Parlato, Gennaro (2015) On Sequentializing Concurrent Programs -- Bounded Model Checking. UPMARC Summer School on Multicore Computing 2015, Uppsala, Sweden.

Tomasco, Ermenegildo, Nguyen, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) MU-CSeq 0.4: individual memory location unwindings: (competition contribution). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro (2017) On the path-width of integer linear programming. Information and Computation, 257-271. (doi:10.1016/j.ic.2016.07.010).

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2016) Scope-Bounded Pushdown Languages. International Journal of Foundations of Computer Science, 27 (2), 215-233. (doi:10.1142/S0129054116400074).

Inverso, Omar, Nguyen, Truc, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2015) Lazy-CSeq 1.0: (Competition Contribution) Southampton. University of Southampton

Nguyen, Truc, Inverso, Omar, Tomasco, Ermenegildo, La Torre, Salvatore, Fischer, Bernd and Parlato, Gennaro (2015) Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C with unboundedly many Context Switches: (Competition Contribution) University of Southampton

Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Lazy sequentialization for the safety verification of unbounded concurrent programs. 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Chiba, Japan. 16 - 18 Oct 2016. 16 pp . (doi:10.1007/978-3-319-46520-3_12).

Tomasco, Ermenegildo, Nguyen Lam, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions. Piskac, Ruzica and Talupur, Muralidhar (eds.) In FMCAD '16 Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design. FMCAD Inc. pp. 193-200 .

Tomasco, Ermenegildo, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Separating computation from communication: a design approach for concurrent program verification Southampton, GB. University of Southampton 31pp.

Tomasco, Ermenegildo, Nguyen Lam, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) Embedding weak memory models within eager sequentialization Southampton, GB. University of Southampton 29pp.

NGUYEN, TRUC L, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation: (Competition contribution). Legay, Axel and Margaria, Tiziana (eds.) In Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. vol. 10206, Springer. 4 pp . (doi:10.1007/978-3-662-54580-5_26).

Nguyen, Truc L., Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Concurrent program verification with Lazy sequentialization and interval analysis. In The 5th Edition of The International Conference on Networked sYStems. Springer. pp. 255-271 . (doi:10.1007/978-3-319-59647-1_20).

Tomasco, Ermenegildo, Nguyen, Truc, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Using shared memory abstractions to design eager sequentializations for weak memory models. In SEFM 2017: Software Engineering and Formal Methods. vol. 10469, Springer. pp. 185-202 . (doi:10.1007/978-3-319-66197-1_12).

Uzun, Emre, Parlato, Gennaro, Atluri, Vijayalakshmi, Ferrara, Anna Lisa, Vaidya, Jaideep, Sural, Shamik and Lorenzi, David (2017) Preventing unauthorized data flows. Livraga, G. and Zhu, S. (eds.) In Data and Applications Security and Privacy XXXI. DBSec 2017. vol. 10359, Springer. pp. 41-62 . (doi:10.1007/978-3-319-61176-1_3).

Nguyen Lam, Truc, Schrammel, Peter, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2017) Parallel bug-finding in concurrent programs via reduced interleaving instances. Rosu, Grigore, Di Penta, Massimiliano and Nguyen, Tien N. (eds.) In ASE '17: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE. pp. 753-764 .

Parlato, Gennaro (2018) Finding rare concurrent programming bugs:: An automatic, symbolic, randomized, and parallelizable approach. Fischer, Bernd and Uustalu, Tarmo (eds.) In Theoretical Aspects of Computing – ICTAC 2018: 5th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings. Springer..

Share this profile FacebookTwitterWeibo